Alternatives and similar repositories for jason

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

• niklasf / python-agentspeak
  A Python-based interpreter for the agent-oriented programming language JASON
  ☆53Updated last year
• sarl / sarl
  SARL Agent-Oriented Programming Language http://www.sarl.io
  ☆148Updated this week
• LightJason / Java-AgentSpeak
  LightJason - AgentSpeak(L++) for Java
  ☆24Updated 4 years ago
• CArtAgO-lang / cartago
  A Java-based Framework for Programming Environments in Agent-oriented Applications
  ☆19Updated last year
• yuce / pyswip
  PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.
  ☆521Updated 2 months ago
• SoarGroup / Soar
  Soar, a general cognitive architecture for systems that exhibit intelligent behavior.
  ☆353Updated last week
• potassco / pddl-instances
  🌍 PDDL instances covering the International Planning Competitions
  ☆134Updated 4 years ago
• TimKam / JS-son
  Light-weight reasoning-loop agent library for JavaScript
  ☆43Updated 6 months ago
• gerryai / pddl-parser
  Java parser for the Planning Domain Definition Language (PDDL)
  ☆11Updated 9 years ago
• moise-lang / moise
  Moise is an organisational platform for Multi-Agent Systems
  ☆16Updated last month
• fmichel / MaDKit
  Multi-agent systems Development Kit - version 6
  ☆45Updated 4 months ago
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆64Updated 7 years ago
• SoarGroup / rosie
  Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment
  ☆34Updated last year
• DeMaCS-UNICAL / EmbASP
  A general framework for embedding Logic Programming in complex systems
  ☆30Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆363Updated this week
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆203Updated last year
• aartikis / RTEC
  RTEC is an Event Calculus implementation optimised for stream reasoning
  ☆98Updated 2 months ago
• hakank / hakank
  My public programs and models - mostly combinatorial problems and puzzles
  ☆383Updated this week
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆236Updated 2 weeks ago
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆174Updated 2 weeks ago
• SWI-Prolog / swish
  SWI-Prolog for SHaring: a SWI-Prolog web IDE
  ☆536Updated this week
• LogtalkDotOrg / logtalk3
  Logtalk - declarative object-oriented logic programming language
  ☆460Updated last week
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆49Updated last year
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆126Updated 2 years ago
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• LogicalContracts / LogicalEnglish
  ☆35Updated last week
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆68Updated last year
• agentcontest / massim_2020
  Simulation platform for the Multi-Agent Programming Contest 2020/21
  ☆20Updated 2 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆204Updated 3 years ago
• ModelDriven / Alf-Reference-Implementation
  Open-source implementation of the Action Language for fUML (Alf) specification.
  ☆30Updated 2 years ago