ilaspltd / ILASP-releasesView external linksLinks
☆39Nov 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:
- ☆22Jan 27, 2026Updated 2 weeks ago
- Experimentation framework for Popper☆25Jul 24, 2025Updated 6 months ago
- An inductive logic programming system☆264Feb 2, 2026Updated last week
- Neuro-Symbolic Hierarchical Rule Induction☆14Dec 31, 2022Updated 3 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Feb 10, 2023Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Mar 19, 2021Updated 4 years ago
- ☆10Nov 27, 2019Updated 6 years ago
- Port of Aleph to SWI-Prolog☆52Feb 7, 2024Updated 2 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
- CME: Concept-based Model Extraction☆12Nov 24, 2020Updated 5 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- ☆19May 14, 2024Updated last year
- 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
- From LTLf/LDLf To Automata☆22Aug 17, 2020Updated 5 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- Rust library for program synthesis of string transformations from input-output examples 🔮☆28Feb 1, 2025Updated last year
- Call Julia code from Prolog☆27Nov 11, 2022Updated 3 years ago
- Tarski - An AI Planning Modeling Framework☆72Dec 23, 2025Updated last month
- ☆31Nov 8, 2023Updated 2 years ago
- This repo contains all the code related to the interactive online Bloch sphere simulator☆18Jan 19, 2026Updated 3 weeks ago
- ☆82May 7, 2021Updated 4 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- Meta-Reinforcement Learning with Policy Residual Representation☆11Aug 15, 2019Updated 6 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months 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
- ☆10Oct 26, 2022Updated 3 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
- Stochastic Markov Games☆12Oct 5, 2017Updated 8 years ago
- New, much faster implementation of a FIT parser in C#.☆11Dec 8, 2015Updated 10 years ago
- ☆12Jun 18, 2024Updated last year
- Edutainment game teaching players concepts around machine learning☆15Feb 18, 2020Updated 5 years ago
- Declarative unit testing for Answer Set Programming projects☆12Mar 4, 2018Updated 7 years ago