opencog / generate
Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
☆30Updated last month
Alternatives and similar repositories for generate:
Users that are interested in generate are comparing it to the libraries listed below
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated 2 months ago
- AtomSpace Graph Database RocksDB backend☆16Updated last month
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated last week
- Distributed AtomSpace Network Server☆19Updated last month
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/hyperon-pln]. Probabilistic Logic Network (PLN) implemented on top of…☆16Updated last week
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆17Updated this week
- I moved this folder. Keeping this repo up for archival purposes only.☆17Updated 9 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- OpenCog Attention Allocation Subsystem☆13Updated last month
- A rule engine based on Attempto Controlled English☆18Updated 4 months 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
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- debugging biological networks to reach coherence, completeness and consistency☆46Updated last year
- MeTTa Optimal Reduction Kernel☆17Updated this week
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Leibniz - a Digital Scientific Notation☆33Updated 2 months ago
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 6 months ago
- Semantic language-agnostic source code schema☆16Updated last year
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- experimental computational medium and supporting tools☆22Updated this week
- A CLOS implementation of an in memory hypergraph database and semantic networks.☆10Updated 4 years ago
- A General-Purpose Tool for Formal Concept Analysis☆57Updated 3 weeks ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆34Updated 12 years ago
- constructivist AI language and runtime☆35Updated 3 years ago
- Lojban ologs (categorical databases) using jq☆23Updated 6 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆34Updated 2 weeks ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 2 months ago