moise-lang / moiseLinks
Moise is an organisational platform for Multi-Agent Systems
☆16Updated 3 months ago
Alternatives and similar repositories for moise
Users that are interested in moise are comparing it to the libraries listed below
Sorting:
- The main repository integrating the LaTeX beamer-based slides☆30Updated 10 months ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Updated 2 months ago
- A Java-based Framework for Programming Environments in Agent-oriented Applications☆19Updated last year
- 🗺️ ASP planning tools for PDDL☆32Updated 4 years ago
- A lazy-grounding Answer-Set Programming system☆62Updated 2 months ago
- ☆10Updated 9 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆60Updated 4 years ago
- Adaptive Neuro-Symbolic Network Agent☆41Updated 3 years ago
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆34Updated 2 years ago
- PDDL+ planning through compilation to SMT☆52Updated 2 years ago
- Port of Aleph to SWI-Prolog☆52Updated 2 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆22Updated 2 months ago
- Aquaplanning QUick Automated Planning.☆13Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 4 years ago
- A Java library for bigraphical reactive systems.☆11Updated 3 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 11 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆45Updated 2 months ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆100Updated 2 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 3 months ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆43Updated 10 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated 2 years ago
- Java library based on the VLog rule engine☆34Updated 7 months ago
- Differentiable probabilistic answer set programming☆29Updated 7 months ago
- MeTTa Optimal Reduction Kernel☆42Updated last week
- Java <-> XSB Prolog bridge library☆12Updated 5 years ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated last year
- A large collection of example and demo Soar agents for a variety of domains and problems.☆28Updated 8 years ago
- Euler Yet another proof Engine☆160Updated 2 weeks ago