jMotif / GILinks
Sequitur and RePair grammar induction algorithms implementation
☆27Updated last year
Alternatives and similar repositories for GI
Users that are interested in GI are comparing it to the libraries listed below
Sorting:
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Metagol - an inductive logic programming system☆204Updated 3 years ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- cplint is a suite of programs for reasoning with probabilistic logic programs☆77Updated last month
- A Church to Javascript compiler (DEPRECATED)☆140Updated 7 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- RockIt: A query engine for Markov logic☆11Updated 9 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆58Updated 16 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- 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…☆38Updated 10 years ago
- Incremental Learning Event Definitions☆14Updated 10 years ago
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated last month
- A Sparse Distributed Memory Framework.☆45Updated 5 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 6 months ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- CHR: Leuven Constraint Handling Rules☆26Updated 3 weeks ago
- Dyna2 compiler and REPL☆147Updated 5 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 5 months ago
- A framework for PSL inference.☆21Updated 9 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.☆20Updated 5 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 10 years ago
- Explainable machine learning☆17Updated 6 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago