moise-lang / moise
Moise is an organisational platform for Multi-Agent Systems
☆14Updated last week
Related projects: ⓘ
- A Java-based Framework for Programming Environments in Agent-oriented Applications☆15Updated 2 months ago
- This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…☆76Updated last week
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆28Updated this week
- A Python-based interpreter for the agent-oriented programming language JASON☆48Updated 5 months ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- A rule-based stream reasoning engine utilizing sliding windows☆10Updated 2 years ago
- LightJason - AgentSpeak(L++) for Java☆23Updated 3 years ago
- Reasoner for the description logic EL+.☆14Updated 3 months ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 9 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆35Updated 2 years ago
- Java library based on the VLog rule engine☆32Updated 3 months ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 3 years ago
- ROS service implementation of aMOR framework to work with multiple ontologies.☆8Updated last year
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆143Updated 2 months ago
- Ontological Modeling Language (OML)☆24Updated last month
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- RTEC is an Event Calculus implementation optimised for stream reasoning☆85Updated last month
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆22Updated 9 months ago
- ONT-API (OWL-API over Apache Jena)☆44Updated 2 weeks ago
- Simulation platform for the Multi-Agent Programming Contest 2020/21☆20Updated last year
- Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.☆215Updated this week
- ☆51Updated 3 years ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆70Updated last year
- The main repository integrating the LaTeX beamer-based slides☆22Updated 7 months ago
- oPIEC: Online Event Recognition over Noisy Data Streams using the Event Calculus☆19Updated 10 months ago
- A Java library for bigraphical reactive systems.☆11Updated last year
- 🗺️ ASP planning tools for PDDL☆27Updated 3 years ago
- A Java-based OWL 2 EL reasoner☆94Updated 2 months ago
- A Knowledge Base System for Cognition-enabled Robots☆130Updated this week
- SCOTT – Secure Connected Trustable Things☆20Updated 3 years ago