sebdumancic / loreleaiLinks
A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
☆23Updated 4 years ago
Alternatives and similar repositories for loreleai
Users that are interested in loreleai are comparing it to the libraries listed below
Sorting:
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- Port of Aleph to SWI-Prolog☆50Updated last year
- Experimentation framework for Popper☆23Updated 2 months ago
- Logic Programming in Python☆31Updated 4 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- ☆37Updated 10 months ago
- Python library that enables using prolog syntax and logic programming in python☆127Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- Python interface for SWI-Prolog☆49Updated 2 weeks ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated 2 years ago
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- General Inductive Logic Programming System☆18Updated 3 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- Specify and synthesize systems using symbolic algorithms☆50Updated 11 months ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- ☆16Updated 4 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Updated 5 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- An inductive logic programming system☆236Updated last week
- Deep relational learning through differentiable logic programming.☆112Updated 2 months ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆128Updated 2 weeks ago
- Incremental Learning Event Definitions☆14Updated 10 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago