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
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆18Jun 13, 2025Updated 11 months ago
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 3 years ago
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆13Oct 17, 2018Updated 7 years ago
- Data and related code for ACL2019 paper "Implicit Discourse Relation Identification for Open-domain Dialogues"☆12Jul 29, 2019Updated 6 years ago
- common utility methods in objective c☆17Feb 18, 2012Updated 14 years ago
- Code repository for the WWW 2019 paper "Predicting ConceptNet Path Quality Using Crowdsourced Assessments of Naturalness"☆12Feb 1, 2019Updated 7 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.
- View RTSP stream on your iOS device☆15Feb 5, 2020Updated 6 years ago
- ☆15Apr 19, 2021Updated 5 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 5 years ago
- 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
- Fast access to the Wordnet lexical database.☆18Jul 31, 2018Updated 7 years ago
- pytorch implementation of "pix2face" network for 3D face estimation from 2D images☆12Jan 14, 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 2 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.
- Home_Automation☆10Mar 11, 2022Updated 4 years ago
- ☆13Oct 28, 2018Updated 7 years ago
- league/glide wrapper for Laravel☆10Apr 3, 2026Updated 2 months ago
- FaiRR: Faithful and Robust Deductive Reasoning over Natural Language (ACL 2022)☆13May 19, 2022Updated 4 years ago
- ☆12Nov 30, 2023Updated 2 years ago
- Build a simple CMD chat interface with llama.cpp and C++☆14Sep 19, 2025Updated 8 months ago
- Generative Autoregressive, Normalized Flows, VAEs, Score-based models (GANVAS)☆10Jan 25, 2022Updated 4 years ago
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆38Mar 10, 2016Updated 10 years ago
- A comfortable way to describe parameter interface and generate its underlying data structure☆14Oct 8, 2023Updated 2 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆20Aug 22, 2025Updated 9 months ago
- Anti-Shipping Activity Messages (ASAM) App for iOS displays location and descriptive information about hostile acts against ships and mar…☆17Oct 5, 2019Updated 6 years ago
- [Work in progress] A reading list for machine commonsense reasoning☆34Apr 14, 2020Updated 6 years ago
- (ARCHIVED) Two-stage form compiler☆16Mar 31, 2025Updated last year
- Auto-KWS 2021 Challenge 1st place solution.☆11Jul 20, 2021Updated 4 years ago