☆38Nov 11, 2024Updated last year
Alternatives and similar repositories for ILASP-releases
Users that are interested in ILASP-releases are comparing it to the libraries listed below
Sorting:
- ☆23Jan 27, 2026Updated last month
- An inductive logic programming system☆273Updated this week
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Sep 21, 2020Updated 5 years ago
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆63Feb 10, 2023Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 4 years ago
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Jun 8, 2021Updated 4 years ago
- 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
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Dec 14, 2020Updated 5 years ago
- A ppx rewriter that generates hash functions from type expressions and definitions☆17Jan 15, 2026Updated last month
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Jul 9, 2020Updated 5 years ago
- Source code of Neural Logic Reinforcement Learning (https://arxiv.org/abs/1904.10729)☆77Jan 6, 2020Updated 6 years ago
- Code for 'Emergent Symbols through Binding in External Memory'.☆21May 4, 2023Updated 2 years ago
- Llama2 inference in one file of pure OCaml.☆27Sep 16, 2023Updated 2 years ago
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆27Mar 25, 2023Updated 2 years ago
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- ☆31Nov 8, 2023Updated 2 years ago
- 🦉 A grounder and solver for logic programs.☆754Feb 26, 2026Updated last week
- ☆82May 7, 2021Updated 4 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆87Jul 13, 2023Updated 2 years ago
- ☆12Dec 8, 2022Updated 3 years ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Jul 25, 2024Updated last year
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- SvgBlazor is a simple library that allows you to write C# code that is transformed directly into svg elements. Thanks to its simple, yet …☆12May 18, 2023Updated 2 years ago
- A data processing module implemented with numpy☆10Aug 16, 2022Updated 3 years ago
- ☆12Jun 18, 2024Updated last year
- ☆14Jan 11, 2021Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- A PyTorch implementation of WRN☆11Jun 2, 2018Updated 7 years ago
- A Type System Attempt for Wolfram Language☆13Feb 28, 2021Updated 5 years ago
- Additional features supporting paclets in Mathematica☆15Oct 3, 2017Updated 8 years ago
- Platform for making incremental changes to code in VCSes☆13Jan 10, 2026Updated last month
- This repo contains all the code related to the interactive online Bloch sphere simulator☆18Updated this week
- Julia package for scenario generation for stochastic programs with tail risk measure☆11Nov 16, 2022Updated 3 years ago
- Moana implementation in OCaml☆16Jul 15, 2015Updated 10 years ago