bramucas / xclingo2Links
A tool for explainability and debugging in Answer Set Programming.
โ15Updated 5 months ago
Alternatives and similar repositories for xclingo2
Users that are interested in xclingo2 are comparing it to the libraries listed below
Sorting:
- Python interface for SWI-Prologโ49Updated 3 weeks ago
- ๐ง Clingo Interactive UIโ26Updated this week
- ๐ธ๏ธ A visualizer for graphs defined as logic programsโ30Updated 10 months ago
- An inductive logic programming systemโ236Updated 2 weeks ago
- โ37Updated 9 months ago
- โ16Updated 4 years ago
- ๐ฆฎ An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.โ83Updated 2 years ago
- โ47Updated last year
- ๐๏ธ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasonerโ58Updated 3 weeks ago
- ๐ Qualitative and quantitative optimization in answer set programmingโ20Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiabilityโ67Updated last year
- Experimentation framework for Popperโ23Updated last month
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural prediโฆโ254Updated last year
- Python library that enables using prolog syntax and logic programming in pythonโ126Updated 2 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.โ19Updated 2 years ago
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.โ363Updated this week
- 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
- โ35Updated last year
- Pedagogical first-order prover in Pythonโ76Updated 2 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)โ84Updated 5 months ago
- Python package for Sentential Decision Diagrams (SDD)โ64Updated 6 months ago
- General Inductive Logic Programming Systemโ18Updated 2 years ago
- โ43Updated last month
- Top-down interpreter for ASP programs with Constraintsโ33Updated last month
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semanticsโ49Updated 2 months ago
- Differentiable probabilistic answer set programmingโ26Updated 2 months ago
- Python library for program synthesis and symbolic execution combining constraint solving and LLMsโ25Updated 2 weeks ago
- Probabilistic programming system for fast and exact symbolic inferenceโ82Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.โ12Updated 2 years ago