Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
☆67Oct 14, 2017Updated 8 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:
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 6 years ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆11Feb 20, 2025Updated last year
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 4 years ago
- CaDiCaL + neural glue variable predictions☆10Oct 21, 2020Updated 5 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.
- ☆11Apr 14, 2023Updated 3 years ago
- Computational storyteller based on an extended Jason Multi Agent Simulation Architecture.☆16Jun 7, 2021Updated 5 years ago
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- A simple, ASP-like embedded logic programming language for games☆47Jun 8, 2024Updated 2 years ago
- An implementation of substructural intuitionistic logic focused on forward chaining☆15Oct 16, 2013Updated 12 years ago
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated last year
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 4 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- This repo contains code that generates minsat input to detect if the board game Quarto can end in a tie☆14Nov 22, 2015Updated 10 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.
- MiniCard: An efficient cardinality solver based on MiniSAT☆21Updated this week
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- ☆10Feb 3, 2023Updated 3 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Oct 3, 2017Updated 8 years ago
- Three round m-of-m key aggregation for ed25519 using the MuSig signature scheme☆10Aug 19, 2019Updated 7 years ago
- SmartTokens are small-sized tangible tokens that can sense multiple types of motion, multiple types of touch/grip, and send input events …☆12Dec 11, 2015Updated 10 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- A symbolic model checker for Dynamic Epistemic Logic.☆55Jun 21, 2026Updated 3 months 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.
- ☆12May 5, 2021Updated 5 years ago
- XReason - formal reasoning about explanations for ML models☆18Sep 8, 2026Updated 2 weeks ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated last year
- The resources for the paper "User Modeling with Click Preference and Reading Satisfaction for News Recommendation"☆11Jan 17, 2021Updated 5 years ago
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Sep 2, 2026Updated 3 weeks ago
- Location-based techno with Sonic Pi and gpsd☆14Jun 12, 2024Updated 2 years ago
- jsActor AMS☆14Mar 17, 2021Updated 5 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 12 years ago
- Code for doing Argument Structure Prediction using Residual Networks and (almost) without symbolic features☆11May 24, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14Jun 11, 2025Updated last year
- Logics is a Python framework for mathematical logic☆28May 8, 2025Updated last year
- Filter, sanitize, cleanse, and even diff your HTML.☆19Feb 6, 2022Updated 4 years ago
- plagiarism detector☆25Apr 12, 2021Updated 5 years ago
- Repository containing materials for Esther Seyffarth's presentation at code.talks 2019: "20 Terrible Ways to Reverse a String"☆14Oct 25, 2019Updated 6 years ago
- Common Lisp implementation of various AI/statistics related things.☆20Jun 27, 2026Updated 2 months ago
- F L i P : Logical Framework in Python☆37Oct 17, 2022Updated 3 years ago