trueagi-io / MORK
MeTTa Optimal Reduction Kernel
☆11Updated this week
Related projects ⓘ
Alternatives and complementary repositories for MORK
- Base Forward Chaining Knowledge Base Maintenance System☆18Updated 3 years ago
- A rule engine based on Attempto Controlled English☆18Updated last week
- Discussion of MeTTa programming with examples☆20Updated 2 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 11 months ago
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆16Updated last year
- MOSES Machine Learning: Meta-Optimizing Semantic Evolutionary Search for the AtomSpace (https://github.com/opencog/atomspace)☆39Updated last year
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆33Updated 11 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 10 months ago
- Fuzzy Aggregators and Similarity Into a Logic Language☆21Updated 2 months ago
- Explainable machine learning☆18Updated 5 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆12Updated 7 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆29Updated last year
- GOPHI: an AMR-to-English Verbalizer☆11Updated 4 years ago
- A WordNet in GF☆24Updated this week
- The Trill probabilistic ontology reasoner on SWISH☆12Updated 2 months ago
- Prolog Pengines + vue.js☆17Updated 5 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Probabilistic Logic Network (PLN) implemented on top of the Unified Rule Engine (URE). https://wiki.opencog.org/w/Probabilistic_logic_net…☆15Updated 7 months ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆12Updated last month
- A SWI-Prolog Pack that lets Prolog code seamlessly switch between planners☆16Updated 2 years ago
- A Prolog grammar written in Prolog, for parsing and serialising Prolog code.☆14Updated 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
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Attempto Controlled English (http://attempto.ifi.uzh.ch/) in Grammatical Framework (https://www.grammaticalframework.org/)☆54Updated 3 years ago
- Dyna built on R-exprs (First Prototype)☆12Updated 2 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 3 years ago
- debugging biological networks to reach coherence, completeness and consistency☆43Updated 8 months ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆17Updated 10 months ago
- Community contributions to the Grammatical Framework☆60Updated 3 months ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 5 months ago