Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
☆66Oct 14, 2017Updated 9 years ago
Alternatives and similar repositories for mlsolver
Users that are interested in mlsolver are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆13Oct 26, 2025Updated last year
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆11Feb 20, 2025Updated last year
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 31, 2026Updated 2 months ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 4 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A symbolic model checker for Dynamic Epistemic Logic.☆56Oct 7, 2026Updated last month
- MiniCard: An efficient cardinality solver based on MiniSAT☆22Sep 21, 2026Updated last month
- ☆14Jul 24, 2021Updated 5 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- The Art of Propagator Magic in Typescript☆17Sep 22, 2026Updated last month
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- demonstrating shunting yard algorithm and evaluation of arithmetic expressions☆15Jan 11, 2025Updated last year
- I.I-XI of Spinoza's Ethics, formalized in Coq☆19Jan 1, 2016Updated 10 years ago
- pure Haskell implementation of reduced ordered binary decision diagrams☆11Mar 15, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 6 years ago
- ☆58Oct 12, 2026Updated 3 weeks ago
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- F L i P : Logical Framework in Python☆37Oct 17, 2022Updated 4 years ago
- TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.☆18Jun 22, 2015Updated 11 years ago
- XReason - formal reasoning about explanations for ML models☆18Sep 8, 2026Updated last month
- ☆18Jan 4, 2021Updated 5 years ago
- Connection provers in Rust☆14Mar 13, 2024Updated 2 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆24Jun 17, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Code for ICLR 2019 paper 'CBOW Is Not All You Need: Combining CBOW with the Compositional Matrix Space Model'☆21May 21, 2019Updated 7 years ago
- Lean 4 interface to Eigen☆12Dec 13, 2024Updated last year
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆19Oct 2, 2026Updated last month
- materials for ESSLLI 2015 course: Monads and Natural Language☆26Aug 12, 2015Updated 11 years ago
- ☆22Dec 28, 2025Updated 10 months ago
- classical sequent calculus, embedded in Haskell☆22Aug 24, 2025Updated last year
- Composable probability monads in Haskell.☆22Jul 17, 2015Updated 11 years ago
- Code for the paper LeanReasoner: Boosting Complex Logical Reasoning with Lean: https://arxiv.org/pdf/2403.13312.pdf☆28May 25, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A simple, ASP-like embedded logic programming language for games☆47Jun 8, 2024Updated 2 years ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 4 years ago
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆27Sep 15, 2022Updated 4 years ago
- from ftp://ftp.informatik.uni-kiel.de/pub/kiel/apply/☆20Jul 7, 2016Updated 10 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆42Nov 20, 2023Updated 2 years ago
- Setup for autograding of Lean homework using GitHub Classroom☆11Feb 11, 2022Updated 4 years ago
- Lunar Phase Calculation Based on Time☆16Apr 22, 2019Updated 7 years ago