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.β13Updated 2 months ago
- π Qualitative and quantitative optimization in answer set programmingβ20Updated last year
- β21Updated 7 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.β12Updated 3 years ago
- Manipulate NNF (Negation Normal Form) logical sentencesβ17Updated 2 years ago
- Handy python wrapper around Potassco's Clingo ASP solver.β34Updated 2 years ago
- Python interface for SWI-Prologβ49Updated last month
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesisβ23Updated 4 years ago
- Declarative unit testing for Answer Set Programming projectsβ12Updated 7 years ago
- Extracting action sequences and generating domain models.β14Updated 2 years ago
- General Inductive Logic Programming Systemβ17Updated 2 years ago
- β10Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityβ64Updated 11 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domainsβ15Updated 8 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigmβ11Updated 2 years ago
- β56Updated last year
- The new intelligent grounder of the logic-based Artificial Intelligence system DLVβ23Updated last year
- Python package for Sentential Decision Diagrams (SDD)β62Updated 3 months ago
- β33Updated last year
- β37Updated 6 months ago
- β15Updated 6 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.β12Updated 2 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we proviβ¦β19Updated 3 years ago
- 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 last year
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.β14Updated 3 years ago
- β45Updated last year
- 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
- Ontolex modulesβ33Updated 3 months ago
- A Benchmark for Machine Learning from Structured Dataβ21Updated 3 years ago
- STRIPS benchmarks for classical planningβ13Updated 3 years ago