erohkohl / mlsolverLinks
Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
☆64Updated 7 years ago
Alternatives and similar repositories for mlsolver
Users that are interested in mlsolver are comparing it to the libraries listed below
Sorting:
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆363Updated this week
- Python interface for SWI-Prolog☆49Updated 3 weeks ago
- An inductive logic programming system☆236Updated 2 weeks ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- Metagol - an inductive logic programming system☆204Updated 3 years ago
- An automated theorem prover for first-order logic.☆240Updated 3 years ago
- Differentiable probabilistic answer set programming☆26Updated 2 months ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆521Updated 2 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- ☆37Updated 9 months ago
- Parser for Attempto Controlled English (ACE)☆203Updated last year
- Modal Logic Playground☆372Updated last year
- modal logic library for LEAN theorem prover☆12Updated 8 years ago
- Grammatical Framework core: compiler, shell & runtimes☆141Updated last week
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 2 years ago
- Pedagogical first-order prover in Python☆76Updated 2 months ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 6 months ago
- 🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner☆58Updated 3 weeks ago
- ☆151Updated 2 weeks ago
- 🍀 A system for probabilistic reasoning in clingo☆18Updated last year
- The Heterogeneous Tool Set☆59Updated 7 months ago
- Tree Proof Generator☆169Updated 6 months ago
- ☆165Updated 5 years ago
- 🕰️ A solver for temporal programs.☆22Updated last year
- Constraint Logic Programming over Finite Domains☆183Updated 5 years ago
- 🦉 A grounder and solver for logic programs.☆691Updated this week
- Learn Prolog Now LaTeX sources☆87Updated 2 years ago
- General Inductive Logic Programming System☆18Updated 2 years ago
- A lazy-grounding Answer-Set Programming system☆62Updated 6 months ago