Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
☆66Oct 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:
- Predicting Stack Overflow's question tags with deep neural networks based on TensorFlow.☆13Mar 27, 2018Updated 7 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☆10Feb 20, 2025Updated last year
- A Tool for Intersecting Context-Free Grammars☆10Dec 19, 2017Updated 8 years ago
- Final Year Masters Project: modal logic solver tableaux☆25May 26, 2022Updated 3 years ago
- A model checker and assume/guarantee contract generator for Lustre programs.☆15Jun 5, 2018Updated 7 years ago
- Computational storyteller based on an extended Jason Multi Agent Simulation Architecture.☆17Jun 7, 2021Updated 4 years ago
- ☆50Nov 11, 2023Updated 2 years ago
- A simple, ASP-like embedded logic programming language for games☆47Jun 8, 2024Updated last year
- mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity☆11May 14, 2025Updated 10 months ago
- The Graphical Knowledge Representation (GKR) parser: it transforms a given sentence into a layered semantic graph☆13May 16, 2022Updated 3 years ago
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- Performant static file HTTP server using Nim for speed.☆12Feb 10, 2020Updated 6 years ago
- A series of neural network implementations in Clojure, building up from a version with no external dependencies to a version using neande…☆12Jun 2, 2023Updated 2 years ago
- Symbolic logic expressions☆16Jul 1, 2020Updated 5 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆20Dec 13, 2022Updated 3 years ago
- A simple term-rewriting interpreter that displays intermediate expressions.☆14Jun 2, 2025Updated 9 months ago
- MiniCard: An efficient cardinality solver based on MiniSAT☆20Jun 22, 2025Updated 9 months ago
- Simple visualization for the RigidBodyDynamics.jl library☆13Feb 8, 2020Updated 6 years ago
- A capacity expansion model of the electricity system for arbitrary world regions, written in Julia 1.x.☆11Mar 15, 2021Updated 5 years ago
- client/library/framework for the Scuttlebut.nz (SSB) network☆13Oct 3, 2017Updated 8 years ago
- rustupolis - Tuple Space for Rust.☆11Feb 28, 2026Updated 3 weeks ago
- ☆28Mar 14, 2026Updated last week
- EWoK dataset generation framework☆10May 14, 2024Updated last year
- Supplemental code and data for the paper: Turning the spotlight on California’s (dirty) nighttime emissions☆10May 3, 2019Updated 6 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- grammar-evolving algorithm designer☆12Jul 20, 2023Updated 2 years ago
- A PyTorch Implementation of Neural Turing Machine☆14Jul 24, 2020Updated 5 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆23Jan 1, 2026Updated 2 months ago
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 10 years ago
- The notebooks in this repository are recipes for energy and climate modelers. They require open source software and they can run locally …☆19Mar 10, 2026Updated 2 weeks ago
- hackertyper clone written in choo☆11Jun 26, 2016Updated 9 years ago
- A symbolic model checker for Dynamic Epistemic Logic.☆49Mar 1, 2026Updated 3 weeks ago
- Verified decision procedures for modal logics in Lean☆12Jun 13, 2020Updated 5 years ago
- ☆10Feb 25, 2020Updated 6 years ago
- ☆13Jun 11, 2025Updated 9 months ago
- Code for doing Argument Structure Prediction using Residual Networks and (almost) without symbolic features☆11May 24, 2023Updated 2 years ago
- XReason - formal reasoning about explanations for ML models☆17May 16, 2025Updated 10 months ago
- Libhydrogen bindings for Rust.☆18Dec 9, 2024Updated last year