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.☆32Feb 20, 2026Updated 2 weeks ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆27Jul 13, 2023Updated 2 years ago
- Programming in Tabled Prolog by David S Warren☆22Mar 11, 2020Updated 5 years ago
- Web-based IDE for Logic Programming☆25Feb 17, 2026Updated 2 weeks ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- 🤖 ASPRILO, an intra-logistics benchmark suite for answer set programming☆68Feb 3, 2022Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆70Jul 1, 2024Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆40Apr 11, 2023Updated 2 years ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆38Jan 21, 2026Updated last month
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Top-down interpreter for ASP programs with Constraints☆34Jun 30, 2025Updated 8 months ago
- Clingo on the web☆44Mar 1, 2026Updated last week
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆42Apr 14, 2021Updated 4 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- ☆12Feb 27, 2026Updated last week
- Linguistic Reconstruction with LingPy☆15Aug 5, 2024Updated last year
- OntoSeer is a tool to help users build better quality ontologies☆13Sep 8, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- Efficient Message Digest for MXF Files☆10Jul 6, 2020Updated 5 years ago
- ☆13Oct 16, 2023Updated 2 years ago
- Static analyzer for dynamics of Automata Networks☆12Feb 3, 2021Updated 5 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- Get Telemetry Data from YAMCS in OpenMCT☆10Sep 15, 2017Updated 8 years ago