bramucas / xclingoLinks
Explains the conclusions of a logic program.
β9Updated 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.β14Updated 3 months ago
- π Qualitative and quantitative optimization in answer set programmingβ20Updated last year
- 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
- Extracting action sequences and generating domain models.β14Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityβ64Updated 11 months ago
- General Inductive Logic Programming Systemβ17Updated 2 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DLβ37Updated 3 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.β12Updated 2 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLVβ23Updated last year
- Python interface for SWI-Prologβ49Updated 2 months ago
- β22Updated 7 months ago
- Manipulate NNF (Negation Normal Form) logical sentencesβ17Updated 2 years ago
- β45Updated last year
- β15Updated 6 years ago
- Experimentation framework for Popperβ23Updated last year
- Implementation of the first neural natural logic paper on natural language inferenceβ11Updated 2 years ago
- β56Updated last year
- AutoMATES: Automated Model Assembly from Text, Equations, and Softwareβ25Updated last year
- Python package for Sentential Decision Diagrams (SDD)β62Updated 4 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.β18Updated 2 years ago
- πΈοΈ A visualizer for graphs defined as logic programsβ30Updated 8 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semanticsβ47Updated last week
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) frameworkβ13Updated 2 weeks ago
- The Heterogeneous Tool Setβ58Updated 4 months ago
- β10Updated 4 years ago
- Qualitative Reasoning: Spatio-Temporal Reasoning using Relation Algebras and Constraint Networks. Documentation is under construction aβ¦β36Updated last year
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graphβ13Updated 3 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domainsβ15Updated 8 years ago
- β37Updated 7 months ago
- Port of Aleph to SWI-Prologβ48Updated last year