javipalanca / spade_bdiLinks
Plugin for SPADE 3 MAS platform to implement BDI Agents.
☆12Updated 5 months ago
Alternatives and similar repositories for spade_bdi
Users that are interested in spade_bdi are comparing it to the libraries listed below
Sorting:
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆21Updated this week
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆20Updated 9 years ago
- Pixy is a declarative vendor-independent graph query language built on the Tinkerpop software stack☆36Updated this week
- Adaptive Logic and Neural Network (ALANN) version of NARS style General Machine Intelligence (GMI)☆27Updated 2 years ago
- ITA Controlled English (CE)☆23Updated 3 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆36Updated 10 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 2 months ago
- A NARS implemented as a GPT model prompted to invoke reasoning steps, with NARS-based memory and control machinery implemented in Python.☆43Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 4 months ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆11Updated 4 years ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆42Updated last week
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated 2 years ago
- ThoughtTreasure commonsense knowledge base and architecture for natural language processing☆79Updated 9 years ago
- A Clojure implementation of the Non-Axiomatic Reasoning System proposed by Pei Wang.☆43Updated 8 years ago
- MeTTa Optimal Reduction Kernel☆21Updated this week
- Causal programming in Clojure☆26Updated 4 years ago
- Full Automation of Goal-driven LLM Dialog Threads with And-Or Recursors and Refiner Oracles☆43Updated last week
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆25Updated 2 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 3 years ago
- An RDF TripleStore in Java☆47Updated 3 years ago
- Discussion of MeTTa programming with examples☆26Updated last month
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- At Sema4.ai, we help customers build, run, and manage intelligent AI Agents that combine actions, intelligence, and enterprise context to…☆14Updated 4 months ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Adaptive Neuro-Symbolic Network Agent☆38Updated 2 years ago
- RockIt: A query engine for Markov logic☆11Updated 9 years ago
- A large collection of example and demo Soar agents for a variety of domains and problems.☆24Updated 7 years ago
- AllegroGraph Python client☆43Updated 3 months ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago