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++☆22Dec 17, 2018Updated 7 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Feb 5, 2020Updated 6 years ago
- ☆10Jun 11, 2019Updated 6 years ago
- incremental symbol learning for natural language understanding☆10Jun 12, 2023Updated 2 years ago
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- A rule engine based on Attempto Controlled English☆18Nov 1, 2024Updated last year
- PANiC - PAraphrasing Noun-Compounds☆15Apr 6, 2018Updated 8 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
- Data and all☆14Sep 30, 2019Updated 6 years ago
- Unsupervised feature learning for audio classification using convolutional deep belief networks☆12Jul 25, 2015Updated 10 years ago
- ☆14Apr 30, 2024Updated last year
- This repository contains source code to binarize any real-value word embeddings into binary vectors.☆49Jan 7, 2021Updated 5 years ago
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆13Oct 17, 2018Updated 7 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- UniGen approximately uniform sampler☆37Jul 24, 2025Updated 8 months ago
- Data and related code for ACL2019 paper "Implicit Discourse Relation Identification for Open-domain Dialogues"☆12Jul 29, 2019Updated 6 years ago
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 3 years ago
- An open-source NLP library: fast text cleaning and preprocessing☆23Nov 9, 2021Updated 4 years ago
- An implementation of Defeasible Logic in Python☆15Sep 2, 2018Updated 7 years ago
- ☆10Oct 1, 2020Updated 5 years ago
- Visual and Embodied Concepts evaluation benchmark☆21Oct 10, 2023Updated 2 years ago
- Fork of Joe's Own Editor with complete history☆17Jul 27, 2013Updated 12 years ago
- Code for Evaluating Explanations for Reading Comprehension with Realistic Counterfactuals.☆17Apr 25, 2021Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Code and datasets of "Multilingual Extractive Reading Comprehension by Runtime Machine Translation"☆40Jan 2, 2019Updated 7 years ago
- Semantic parser induction using a generative model of grammar.☆30Apr 5, 2022Updated 4 years ago
- A TensorFlow implement for "A Stack-Propagation Framework with Token-Level Intent Detection for Spoken Language Understanding".☆10Jan 22, 2021Updated 5 years ago
- This repository contains the code for the EMNLP'23 paper "AdaSent: Efficient Domain-Adapted Sentence Embeddings for Few-Shot Classificati…☆16Jun 3, 2024Updated last year
- ☆75Apr 4, 2024Updated 2 years ago
- ☆13Oct 28, 2018Updated 7 years ago
- FaiRR: Faithful and Robust Deductive Reasoning over Natural Language (ACL 2022)☆13May 19, 2022Updated 3 years ago
- Build a simple CMD chat interface with llama.cpp and C++☆14Sep 19, 2025Updated 6 months ago
- Generative Autoregressive, Normalized Flows, VAEs, Score-based models (GANVAS)☆10Jan 25, 2022Updated 4 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An experimental GUI client for MacPorts☆27Jun 20, 2024Updated last year
- Collects a multimodal dataset of Wikipedia articles and their images☆16Mar 25, 2023Updated 3 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Oct 1, 2023Updated 2 years ago
- An agent-based model for scientific inquiry based on abstract argumentation☆13Jan 17, 2022Updated 4 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 7 months ago
- [Work in progress] A reading list for machine commonsense reasoning☆34Apr 14, 2020Updated 5 years ago
- (ARCHIVED) Two-stage form compiler☆16Mar 31, 2025Updated last year