bramucas / xclingoLinks
Explains the conclusions of a logic program.
☆10Updated 2 years ago
Alternatives and similar repositories for xclingo
Users that are interested in xclingo are comparing it to the libraries listed below
Sorting:
- A tool for explainability and debugging in Answer Set Programming.☆15Updated 8 months ago
- A service that parses a sentence using AMR and returns a set of Verbnet logic predicates grounded with the roles of the input sentence.☆13Updated 3 years ago
- ☆10Updated 4 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- This repository includes the code for neural DRS parsing☆27Updated 2 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 5 years ago
- Implementation of generative semantic grammar.☆17Updated 3 years ago
- ☆23Updated last year
- A first cut into exploring the use of dependency links for building Text Graphs, that, among other things, with help of a centrality algo…☆31Updated 2 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Updated 3 years ago
- Semantic parser induction using a generative model of grammar.☆31Updated 3 years ago
- Neural Unification for Logic Reasoning over Language☆22Updated 4 years ago
- Port of Aleph to SWI-Prolog☆51Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- Python interface for SWI-Prolog☆49Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 3 years ago
- Scripts to evaluate scoped meaning representations☆20Updated 3 years ago
- Python package for Sentential Decision Diagrams (SDD)☆69Updated 2 weeks ago
- ☆15Updated 6 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Natural language understanding by probabilistic abduction of a symbolic theory from sentences and logical forms.☆18Updated 6 months ago
- ☆49Updated 2 years ago
- Python library that enables using prolog syntax and logic programming in python☆129Updated 2 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- ☆44Updated 2 years ago
- ☆16Updated 4 years ago
- Explanation Ontology Resource website☆11Updated last year