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
- RockIt: A query engine for Markov logic☆11May 24, 2016Updated 9 years ago
- ☆12May 12, 2026Updated last week
- A Python implementation of a belief revision engine that uses entrenchment-based ranking.☆12May 27, 2022Updated 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.
- Abductive discourse pipeline for multilingual metaphor interpretation☆10Mar 11, 2020Updated 6 years ago
- Logical inference system based on event semantics and degree semantics in formal semantics☆10Jan 22, 2023Updated 3 years ago
- ☆16Jun 24, 2024Updated last year
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆18Jun 13, 2025Updated 11 months ago
- Repository containing the developing of the RAMI Ontology☆16May 7, 2020Updated 6 years ago
- ☆10Jun 11, 2019Updated 6 years ago
- Alchemy 2 - Inference and Learning in Markov Logic☆26Sep 1, 2020Updated 5 years ago
- Source files for all my youtube tutorials☆11Aug 28, 2018Updated 7 years ago
- incremental symbol learning for natural language understanding☆10Jun 12, 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.
- 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
- Distributional Formal Semantics (DFS) tools☆19Oct 17, 2022Updated 3 years ago
- a C++ geoJSON parser☆17May 26, 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
- 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
- Resources accompanying the "Zero-Shot Recommendation as Language Modeling" paper (ECIR2022)☆14May 25, 2023Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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 2 years ago
- Maximum clique computation over large sparse graphs☆23Mar 19, 2022Updated 4 years ago
- Comprehensive LLM evaluation framework: GPQA Diamond to Chatbot Arena. Tests all major models equally, easily extensible.☆17Aug 22, 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
- UniGen approximately uniform sampler☆38Jul 24, 2025Updated 9 months ago
- Scraping Germany's local districts websites for newer corona-case-numbers!☆16Jan 15, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Data and related code for ACL2019 paper "Implicit Discourse Relation Identification for Open-domain Dialogues"☆12Jul 29, 2019Updated 6 years ago
- Port of Scintilla to FLTK☆11Jun 24, 2018Updated 7 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
- ☆16Dec 21, 2020Updated 5 years ago
- Automated Semantic Analysis of Discourse Markers☆11May 30, 2022Updated 3 years ago
- generate arbitrary sequence diffs☆15Jun 11, 2018Updated 7 years ago