TimKam / JS-son

Related projects: ⓘ

• jacamo-lang / jacamo
  This project aims to promote the MultiAgent Oriented Programming (MAOP) approach by providing a suitable integration of tools and languag…
  ☆76Updated last week
• DeMaCS-UNICAL / EmbASP
  A general framework for embedding Logic Programming in complex systems
  ☆27Updated 5 months ago
• niklasf / python-agentspeak
  A Python-based interpreter for the agent-oriented programming language JASON
  ☆48Updated 5 months ago
• JeanChristopheRohner / theory-toolbox-2
  ☆13Updated this week
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆35Updated 2 years ago
• eyereasoner / eye
  Euler Yet another proof Engine
  ☆125Updated this week
• SWI-Prolog / npm-swipl-wasm
  SWI-Prolog WebAssembly build as a NPM package
  ☆33Updated this week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆36Updated last week
• erohkohl / mlsolver
  Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.
  ☆58Updated 6 years ago
• agentcontest / massim_2020
  Simulation platform for the Multi-Agent Programming Contest 2020/21
  ☆20Updated last year
• ilaspltd / ILASP-releases
  ☆35Updated last year
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆16Updated 7 years ago
• eyereasoner / eye-js
  A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.
  ☆38Updated this week
• LAPKT-dev / LAPKT-public
  LAPKT public repository
  ☆39Updated last month
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆43Updated 7 months ago
• galvusdamor / panda3core
  ☆15Updated 3 years ago
• backspaces / agentscript
  An Agent Based Modeling system (ABM)
  ☆106Updated this week
• w3c / cogai
  for work by the Cognitive AI community group
  ☆53Updated this week
• Pold87 / myPDDL
  PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text
  ☆35Updated 6 years ago
• konclude / Konclude
  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
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆61Updated last year
• cmekik / pyClarion
  Experimental Python implementation of the Clarion cognitive architecture
  ☆47Updated this week
• SoarGroup / rosie
  Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment
  ☆31Updated last year
• Anniepoo / JavaPengine
  Former home Java language client (master) for SWI-Prolog pengines - see simularity/JavaPengine
  ☆10Updated 8 years ago
• logicmoo / logicmoo_ec
  A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners
  ☆15Updated 2 years ago
• DeMaCS-UNICAL / I-DLV
  The new intelligent grounder of the logic-based Artificial Intelligence system DLV
  ☆22Updated 9 months ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆114Updated last year
• nergmada / planning-wiki
  By the community, for everyone. Planning.wiki is the online guide to AI Planning
  ☆70Updated last year
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆195Updated last month
• Kappa-Dev / ReGraph
  Tool for building graph-based hierarchical knowledge representation systems
  ☆73Updated last year