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:
- Predicting Stack Overflow's question tags with deep neural networks based on TensorFlow.☆13Mar 27, 2018Updated 8 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆11Feb 20, 2025Updated last year
- This repo explores how AMR to address tasks difficult for LLMs☆13Jan 15, 2024Updated 2 years ago
- multi-logic proof generator☆11Apr 13, 2026Updated 2 months ago
- ☆11Jun 26, 2023Updated 3 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.
- 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
- A zipper library for Clojure that navigates graph structures☆19Sep 16, 2012Updated 13 years ago
- Dialog system based on IMDB☆16Sep 30, 2020Updated 5 years 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.☆12Mar 15, 2021Updated 5 years ago
- rustupolis - Tuple Space for Rust.☆11Jun 23, 2026Updated last week
- Supplemental code and data for the paper: Turning the spotlight on California’s (dirty) nighttime emissions☆10May 3, 2019Updated 7 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Example on how to integrate Haskell and C++ library.☆13Apr 18, 2015Updated 11 years ago
- Code for the paper on 247-CFE procurement☆11Dec 13, 2024Updated last year
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated last year
- A symbolic model checker for Dynamic Epistemic Logic.☆54Jun 21, 2026Updated last week
- Context-Driven Development plugin for Claude Code, Cursor, GitHub Copilot, Gemini☆40Jun 26, 2026Updated last week
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- ☆12May 5, 2021Updated 5 years ago
- XReason - formal reasoning about explanations for ML models☆17May 16, 2025Updated last year
- Code for doing Argument Structure Prediction using Residual Networks and (almost) without symbolic features☆11May 24, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- This is a simple, open source uninterruptible power supply (UPS), based around an STM32F405 and written in Rust.☆26Apr 29, 2026Updated 2 months ago
- Spring Microservices: Secure Service-to-Service Communication☆11Apr 21, 2021Updated 5 years ago
- An open-source platform to demonstrate the capabilities of a Granular Certificate registry that conforms to the EnergyTag Standards and A…☆13Mar 18, 2026Updated 3 months ago
- Julia interface to CVXOPT☆12Jul 5, 2020Updated 5 years ago
- Location-based techno with Sonic Pi and gpsd☆14Jun 12, 2024Updated 2 years ago
- Code for the paper "Spatio-temporal load shifting for truly clean computing"☆16Feb 4, 2025Updated last year
- ☆10Feb 27, 2024Updated 2 years ago
- A simple APL neural network.☆11May 11, 2016Updated 10 years ago
- Maildir synchronization tool☆20Jun 30, 2021Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Filter, sanitize, cleanse, and even diff your HTML.☆19Feb 6, 2022Updated 4 years ago
- MIRROR of https://codeberg.org/catseye/Samovar : Model worlds using propositions and run simulations in them☆18Dec 8, 2023Updated 2 years ago
- HomeLabInfo is a modern, self-hosted network discovery and visualization suite designed for homelab enthusiasts.☆98Jun 26, 2026Updated last week
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- RDA Metadata Standards Catalog, version 2☆17May 15, 2026Updated last month
- Web chat room☆17Aug 12, 2017Updated 8 years ago
- My exposition of the formalization of Hegel's theory in modal homotopy type theory☆14Aug 18, 2023Updated 2 years ago