bramucas / xclingo2Links
A tool for explainability and debugging in Answer Set Programming.
โ15Updated 4 months ago
Alternatives and similar repositories for xclingo2
Users that are interested in xclingo2 are comparing it to the libraries listed below
Sorting:
- ๐ง Clingo Interactive UIโ26Updated 2 weeks ago
- Python interface for SWI-Prologโ49Updated this week
- ๐ธ๏ธ A visualizer for graphs defined as logic programsโ30Updated 9 months ago
- โ37Updated 8 months ago
- Experimentation framework for Popperโ23Updated 2 weeks ago
- ๐ฆฎ An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.โ81Updated 2 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.โ18Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.โ360Updated 3 weeks ago
- Explains the conclusions of a logic program.โ9Updated 2 years ago
- โ46Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)โ84Updated 4 months ago
- An inductive logic programming systemโ234Updated last month
- Manipulate NNF (Negation Normal Form) logical sentencesโ18Updated 2 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLVโ23Updated last year
- โ16Updated 4 years ago
- Probabilistic programming system for fast and exact symbolic inferenceโ81Updated last year
- ๐ Qualitative and quantitative optimization in answer set programmingโ20Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityโ66Updated last year
- ๐๏ธ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerโ57Updated last week
- General Inductive Logic Programming Systemโ18Updated 2 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural prediโฆโ254Updated 11 months ago
- Tarski - An AI Planning Modeling Frameworkโ67Updated last year
- โ34Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.โ12Updated 2 years ago
- โ18Updated 3 years ago
- Port of Aleph to SWI-Prologโ49Updated last year
- Python library that enables using prolog syntax and logic programming in pythonโ126Updated 2 years ago
- ๐ฐ๏ธ A solver for temporal programs.โ22Updated last year
- Differentiable probabilistic answer set programmingโ26Updated last month
- Pedagogical first-order prover in Pythonโ76Updated last month