TimKam / JS-son
Light-weight reasoning-loop agent library for JavaScript
☆40Updated last month
Alternatives and similar repositories for JS-son:
Users that are interested in JS-son are comparing it to the libraries listed below
- A Python-based interpreter for the agent-oriented programming language JASON☆49Updated last year
- Euler Yet another proof Engine☆137Updated this week
- A general framework for embedding Logic Programming in complex systems☆29Updated last year
- Soar Agent (and SML code) that learns through situated interactive instruction in a robotic environment☆32Updated last year
- This ontology is a Linked Data Hub for mathematics☆57Updated last year
- LAPKT public repository☆40Updated this week
- RTEC is an Event Calculus implementation optimised for stream reasoning☆87Updated 3 months ago
- Adaptive Neuro-Symbolic Network Agent☆36Updated 2 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆19Updated 7 months ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- Metagol - an inductive logic programming system☆200Updated 3 years ago
- The Java API suite for interacting with the Cyc inference engine and knowledge base.☆35Updated 6 years ago
- Port of Aleph to SWI-Prolog☆45Updated last year
- ☆15Updated 3 years ago
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 2 weeks ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 13 years ago
- Simulation platform for the Multi-Agent Programming Contest 2020/21☆20Updated last year
- A simple tool for generating XES files for Process Mining☆19Updated 3 years ago
- The world's only naturally intelligent knowledge technology • Automated reasoning in Controlled Natural Language • Multilingual • Open so…☆25Updated 4 months ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆17Updated 6 months ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated 2 months ago
- A distribution of EYE reasoner in the JavaScript ecosystem using Webassembly.☆47Updated this week
- HyLAR reasoner☆62Updated 2 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆56Updated 3 years ago
- ☆31Updated 2 weeks ago
- Parser for Attempto Controlled English (ACE)☆196Updated 11 months ago
- Logic Production System (LPS) programming language interpreter implemented in JavaScript for Node.js and browsers.☆51Updated 5 years ago
- Tool for building graph-based hierarchical knowledge representation systems☆77Updated last year
- Ontology development environment for Common Logic (CL)☆23Updated 2 years ago