Experimentation framework for Popper
☆25Jul 24, 2025Updated 7 months ago
Alternatives and similar repositories for ilp-experiments
Users that are interested in ilp-experiments are comparing it to the libraries listed below
Sorting:
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantee…☆54Oct 24, 2019Updated 6 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- An inductive logic programming system☆270Updated this week
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆17Feb 22, 2023Updated 3 years ago
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- Metagol - an inductive logic programming system☆207Sep 13, 2021Updated 4 years ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 4 years ago
- Python implementation of the main algorithms of the Learning From Interpretation Transitions (LFIT) framework☆17Jun 13, 2025Updated 8 months ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- An htmx extension to update plotly.js charts☆14Feb 5, 2024Updated 2 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 3 years ago
- ☆17Feb 22, 2023Updated 3 years ago
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Feb 19, 2023Updated 3 years ago
- A Scalable Approximate Method for Probabilistic Neurosymbolic Inference☆23Jan 27, 2025Updated last year
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Code and Data for DeepLog system☆19Feb 16, 2023Updated 3 years ago
- A Benchmark for Machine Learning from Structured Data☆22Nov 2, 2021Updated 4 years ago
- Embeddable Common-Lisp C-Interop Demo☆15Nov 2, 2022Updated 3 years ago
- A Coq library for abstract syntactical reasoning☆24Apr 29, 2025Updated 10 months ago
- Proof-of-concept formal verification using Hoare logic☆21Feb 29, 2020Updated 6 years ago
- A curated collection of papers on probabilistic circuits, computational graphs encoding tractable probability distributions.☆51Feb 6, 2024Updated 2 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- Common types and interfaces for probabilistic programming☆28Feb 23, 2026Updated last week
- ☆23Apr 4, 2024Updated last year
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆53May 16, 2021Updated 4 years ago
- ☆23Jan 27, 2026Updated last month
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Sep 21, 2020Updated 5 years ago
- DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…☆301Aug 9, 2024Updated last year
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated 2 weeks ago
- PDDL planner interface for PDDLGym.☆35Jul 22, 2025Updated 7 months ago
- Implementation of Sum-Product Attend-Infer-Repeat☆31May 21, 2020Updated 5 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆63Feb 10, 2023Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆86Jul 10, 2024Updated last year
- ☆37Jan 26, 2024Updated 2 years ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆543Feb 15, 2026Updated 2 weeks ago
- Implementation for the Neural Logic Machines (NLM).☆294May 13, 2019Updated 6 years ago