opencog / generate
Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
☆29Updated last year
Related projects: ⓘ
- AtomSpace Graph Database RocksDB backend☆13Updated 4 months ago
- Adaptive Neuro-Symbolic Network Agent☆35Updated 2 years ago
- OpenCog Attention Allocation Subsystem☆12Updated 11 months ago
- Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_net…☆15Updated 5 months ago
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆38Updated 11 months ago
- A rule engine based on Attempto Controlled English☆18Updated 11 months ago
- Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.☆55Updated 5 months ago
- Distributed AtomSpace Network Server☆16Updated 4 months ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- Base Forward Chaining Knowledge Base Maintenance System☆17Updated 2 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 8 months ago
- ☆9Updated 8 years ago
- Discussion of MeTTa programming with examples☆17Updated 3 weeks ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 9 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 4 years ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Updated 4 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆128Updated 10 years ago
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- Data Science Ontology☆36Updated this week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- RockIt: A query engine for Markov logic☆11Updated 8 years ago
- Python interface to XSB Prolog, SWI Prolog, ECLiPSe Prolog, Datalog Educational System and Flora-2/Ergo Lite☆10Updated 3 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆8Updated 5 years ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 2 weeks ago
- A JavaScript-based interface for graph traversal☆18Updated last year
- a Haskell library that implements (Projective) Discourse Representation Theory (DRT)☆25Updated 2 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- Dyna built on R-exprs (First Prototype)☆12Updated 2 years ago