bramucas / xclingo
Explains the conclusions of a logic program.
☆9Updated last year
Related projects ⓘ
Alternatives and complementary repositories for xclingo
- A tool for explainability and debugging in Answer Set Programming.☆13Updated last month
- 💊 Qualitative and quantitative optimization in answer set programming☆19Updated 6 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 2 years ago
- Python interface for SWI-Prolog☆42Updated last week
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- Extracting action sequences and generating domain models.☆15Updated last year
- Implementation of generative semantic grammar.☆17Updated 2 years ago
- ☆20Updated 3 weeks ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Experimentation framework for Popper☆20Updated 6 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆16Updated 7 years ago
- Declarative unit testing for Answer Set Programming projects☆11Updated 6 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…☆32Updated last year
- A library for constructing and evaluating state features made up of description logics for planning.☆11Updated last month
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- The main repository integrating the LaTeX beamer-based slides☆23Updated last month
- ☆40Updated last year
- Handy python wrapper around Potassco's Clingo ASP solver.☆34Updated last year
- STRIPS benchmarks for classical planning☆13Updated 2 years ago
- ☆15Updated 5 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆24Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13Updated 2 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆75Updated last year
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆22Updated 11 months ago
- Classical CHAT80 NLP system for Prolog☆21Updated last year
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆41Updated 9 months ago
- deep learning for math☆29Updated 5 years ago
- Your AI-Powered Personal Finance Assistant☆10Updated 6 months ago