Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
☆68Oct 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 5 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
- The best calendar table you'll ever find! Generate a calendar table with many columns of date dimensions and metadata. Output to datafra…☆12Mar 27, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Formal Verification of Telegram's MTProto 2.0☆15Jan 19, 2023Updated 3 years ago
- Modal Logic Playground☆380Feb 1, 2024Updated 2 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 8 years ago
- ☆11Apr 14, 2023Updated 3 years ago
- ☆54Jul 31, 2026Updated last week
- multi-logic proof generator☆12Apr 13, 2026Updated 4 months ago
- PyTorch implementation of the paper-"Human Mobility Prediction with Causal and Spatial-constrained Multi-task Network"☆12Mar 19, 2024Updated 2 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
- 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.
- 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
- ☆20Jan 20, 2026Updated 6 months ago
- ☆10Feb 3, 2023Updated 3 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Oct 3, 2017Updated 8 years ago
- Generates random text based on context-free grammars defined in BNF☆40May 27, 2025Updated last year
- modal logic library for LEAN theorem prover☆13Aug 20, 2017Updated 8 years ago
- A capacity expansion model of the electricity system for arbitrary world regions, written in Julia 1.x.☆12Jun 30, 2026Updated last month
- 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.
- Lollimon, a monadic concurrent linear logic programming language☆28Oct 14, 2011Updated 14 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- INSECA is a set of tools to build and manage very secure live Linux based endpoint systems.☆23Nov 8, 2024Updated last year
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆17Oct 28, 2025Updated 9 months ago
- Universal token bonding for Cosmos networks☆14Mar 3, 2022Updated 4 years ago
- ☆11Feb 25, 2020Updated 6 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Sep 17, 2025Updated 10 months ago
- The resources for the paper "User Modeling with Click Preference and Reading Satisfaction for News Recommendation"☆11Jan 17, 2021Updated 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.
- A monolithic index that supports worst-case optimal joins (WCOJ) by providing all collation orders in a single redundancy eliminating dat…☆18Updated this week
- A simple APL neural network.☆11May 11, 2016Updated 10 years ago
- Location-based techno with Sonic Pi and gpsd☆14Jun 12, 2024Updated 2 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- Code for doing Argument Structure Prediction using Residual Networks and (almost) without symbolic features☆11May 24, 2023Updated 3 years ago
- ☆12Apr 1, 2021Updated 5 years ago
- gui for board game hex (and Y) by broderick arneson☆15Dec 13, 2023Updated 2 years ago