The new intelligent grounder of the logic-based Artificial Intelligence system DLV
☆23Dec 7, 2023Updated 2 years ago
Alternatives and similar repositories for I-DLV
Users that are interested in I-DLV are comparing it to the libraries listed below
Sorting:
- ☆24Feb 17, 2026Updated 2 weeks ago
- DLVHEX solver: core system and plugin API☆25Jun 13, 2019Updated 6 years ago
- A general framework for embedding Logic Programming in complex systems☆30Mar 30, 2024Updated last year
- An artificial player for the popular video game Angry Birds☆19Aug 6, 2019Updated 6 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- 🐧 Clingo Interactive UI☆29Jan 22, 2026Updated last month
- Incremental RTEC is the incremental extension of RTEC (https://github.com/aartikis/RTEC) for handling more efficiently out-of-order strea…☆13Nov 26, 2021Updated 4 years ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆37Jan 12, 2024Updated 2 years ago
- Crate for reading TPTP files.☆15May 11, 2022Updated 3 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- The Flix Programming Book☆22Mar 2, 2026Updated last week
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Oct 17, 2020Updated 5 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Nov 18, 2021Updated 4 years ago
- A Python-like programming language for testing and experimenting with concurrent programs.