bramucas / xclingoLinks
Explains the conclusions of a logic program.
☆10Updated 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.☆15Updated 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.☆13Updated 3 years ago
- 💊 Qualitative and quantitative optimization in answer set programming☆20Updated last year
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Updated 3 years ago
- ☆15Updated 6 years ago
- Implementation of the first neural natural logic paper on natural language inference☆11Updated 3 years ago
- ☆10Updated 4 years ago
- ☆48Updated 2 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Updated 5 years ago
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 7 months ago
- ☆22Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- ☆38Updated last year
- Reference implementations of basic and advanced hypergraph algorithms.☆49Updated last year
- deep learning for math☆28Updated 6 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Updated 3 years ago
- Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)☆31Updated 3 years ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 7 years ago
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Updated 5 years ago
- Experimentation framework for Popper☆23Updated 3 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Python package for Sentential Decision Diagrams (SDD)☆67Updated last week
- The Python PSDD Package☆19Updated 4 months ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Updated last year
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Conditional Theorem Proving☆53Updated 4 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated 2 years ago