Alternatives and similar repositories for cartago

Users that are interested in cartago are comparing it to the libraries listed below

• moise-lang / moise
  Moise is an organisational platform for Multi-Agent Systems
  ☆16Updated 2 months ago
• jason-lang / jason
  Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language.
  ☆238Updated 3 weeks ago
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆25Updated 4 years ago
• niklasf / python-agentspeak
  A Python-based interpreter for the agent-oriented programming language JASON
  ☆54Updated last year
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆22Updated 2 years ago
• ingridnunes / bdi4jade
  BDI4JADE is a platform to develop and execute BDI (belief-desire-intention) agents built on top of JADE.
  ☆13Updated 4 years ago
• EricssonResearch / scott-eu
  SCOTT – Secure Connected Trustable Things
  ☆20Updated 4 years ago
• TweetyProjectTeam / TweetyProject
  TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
  ☆38Updated 3 weeks ago
• shop-planner / shop3
  SHOP3 Git repository
  ☆161Updated this week
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆149Updated 2 months ago
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆18Updated 3 years ago
• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆38Updated 9 years ago
• gerryai / pddl-parser
  Java parser for the Planning Domain Definition Language (PDDL)
  ☆11Updated 10 years ago
• knowsys / rulewerk
  Java library based on the VLog rule engine
  ☆34Updated 5 months ago
• SNePS / SNePS2
  The SNePS 2 Knowledge Representation and Reasoning System
  ☆12Updated 7 years ago
• sisinflab-swot / cowl
  🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies
  ☆40Updated 3 weeks ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 3 years ago
• raytheonbbn / parliament
  Standards-compliant triple store for RDF, OWL, and SPARQL
  ☆63Updated 2 months ago
• trueagi-io / metta-wam
  A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine
  ☆22Updated last month
• srfiorini / IEEE1872-owl
  OWL specification of the Core Ontology for Robotics and Automation (CORA) and other IEEE 1872-2015 ontologies
  ☆32Updated 5 years ago
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆385Updated last week
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆100Updated last month
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆156Updated this week
• opencaesar / oml
  Ontological Modeling Language (OML)
  ☆32Updated 6 months ago
• bigraphs / jlibbig
  A Java library for bigraphical reactive systems.
  ☆11Updated 2 years ago
• julianmendez / jcel
  Reasoner for the description logic EL+.
  ☆15Updated last month
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 11 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• ha-mo-we / Racer
  Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).
  ☆114Updated 7 years ago
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆184Updated 3 weeks ago