Alternatives and similar repositories for JS-son:

Users that are interested in JS-son are comparing it to the libraries listed below

• niklasf / python-agentspeak
  A Python-based interpreter for the agent-oriented programming language JASON
  ☆48Updated 9 months ago
• DeMaCS-UNICAL / EmbASP
  A general framework for embedding Logic Programming in complex systems
  ☆28Updated 9 months ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆36Updated 2 years ago
• patham9 / NACE
  Non-Axiomatic Causal Explorer
  ☆18Updated this week
• jacamo-lang / jacamo
  This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…
  ☆79Updated 2 weeks ago
• opencog / learn
  Neuro-symbolic interpretation learning (mostly just language-learning, for now)
  ☆145Updated this week
• LAPKT-dev / LAPKT-public
  LAPKT public repository
  ☆40Updated 5 months ago
• Anniepoo / JavaPengine
  Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine
  ☆10Updated 8 years ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• CognitiveComputingResearchGroup / lida-framework
  ☆9Updated 8 years ago
• RobertSasak / Prolog-Planning-Library
  Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…
  ☆17Updated 3 years ago
• SoarGroup / rosie
  Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment
  ☆32Updated last year
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆45Updated 11 months ago
• Attempto / APE
  Parser for Attempto Controlled English (ACE)
  ☆192Updated 8 months ago
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆61Updated last year
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆16Updated 2 years ago
• celinehocquette / numsynth-aaai23
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆14Updated last year
• sysulic / MEPK
  A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
  ☆11Updated 3 years ago
• potassco / guide
  🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.
  ☆77Updated last year
• JanWielemaker / sCASP
  top-down interpreter for ASP programs with constraints
  ☆15Updated 2 years ago
• opennars / ALANN2018
  Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)
  ☆26Updated 2 years ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆130Updated this week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆44Updated last week
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆16Updated 7 years ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆25Updated 2 months ago
• cmekik / pyClarion
  Experimental Python implementation of the Clarion cognitive architecture
  ☆49Updated 2 months ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆22Updated last year
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆59Updated 7 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆85Updated 3 years ago