An abductive reasoning engine written in C++.
☆13Dec 28, 2018Updated 7 years ago
Alternatives and similar repositories for open-david
Users that are interested in open-david are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Abductive reasoner for NLP in C++☆23Dec 17, 2018Updated 7 years ago
- GOPHI: an AMR-to-English Verbalizer☆12Feb 5, 2020Updated 6 years ago
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 10 years ago
- ☆10Feb 23, 2024Updated 2 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆43Oct 1, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆17Jun 13, 2025Updated last year
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 3 years ago
- ☆10Jun 11, 2019Updated 7 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- This is the backend layer of SearchX. SearchX is a scalable collaborative search system being developed by Lambda Lab of TU Delft.☆11Jan 5, 2023Updated 3 years ago
- a C++ geoJSON parser☆17May 26, 2019Updated 7 years ago
- Code Roberta version of RetroMAE: Pre-Training Retrieval-oriented Language Models Via Masked Auto-Encoder☆10Mar 16, 2023Updated 3 years ago
- PANiC - PAraphrasing Noun-Compounds☆15Apr 6, 2018Updated 8 years ago
- TPTP python library and benchmarking service☆13Jul 20, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Demo app of digits classification by scikit-learn and Core ML in Swift☆12Sep 12, 2018Updated 8 years ago
- ☆10Oct 1, 2020Updated 6 years ago
- ☆14Apr 30, 2024Updated 2 years ago
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 4 years ago
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago
- fbv (FrameBuffer Viewer) is a simple program to view pictures on a Linux framebuffer device☆14Apr 7, 2018Updated 8 years ago
- Code and datasets of "Multilingual Extractive Reading Comprehension by Runtime Machine Translation"☆40Jan 2, 2019Updated 7 years ago
- Implements a proof-of-concept of a multi-level clustering algorithm designed to enable extremely fast approximate match search in a large…☆12Feb 24, 2013Updated 13 years ago
- View RTSP stream on your iOS device☆15Feb 5, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [Pattern Recognition] The implementation of MoCA☆12Apr 1, 2023Updated 3 years ago
- Natural Language intent parsing and dialog generation engine built using deep neural networks and Keras with Tensorflow backend☆11Dec 15, 2017Updated 8 years ago
- An open source 3d slide presentation for the Godot Engine☆11Aug 3, 2017Updated 9 years ago
- Semantic parser induction using a generative model of grammar.☆30Apr 5, 2022Updated 4 years ago
- Home_Automation☆10Mar 11, 2022Updated 4 years ago
- {tlhIngan Hol boQwI'} ({boQwI'} for short) is a lexicon dictionary for the Klingon language ({tlhIngan Hol}) and a tool for analysing the…☆10Jan 6, 2026Updated 9 months ago
- A rule engine based on Attempto Controlled English☆21Nov 1, 2024Updated last year
- Python API for lightweight communication with the Rocq proof assistant☆21Apr 18, 2026Updated 6 months ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆21Nov 11, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Parser for KAF NAF files written in Python☆16Jul 1, 2021Updated 5 years ago
- a piecemeal natural language processing library☆13Updated this week
- ☆38Mar 10, 2016Updated 10 years ago
- Neural Unification for Logic Reasoning over Language☆22Nov 15, 2021Updated 4 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Jul 5, 2026Updated 3 months ago
- [EMNLP 2020] PyTorch code of PRover: Proof Generation for Interpretable Reasoning over Rules☆20Jul 6, 2023Updated 3 years ago
- Repository for DISRPT2023 shared task☆17Jul 26, 2024Updated 2 years ago