jMotif / GILinks
Sequitur and RePair grammar induction algorithms implementation
☆26Updated last year
Alternatives and similar repositories for GI
Users that are interested in GI are comparing it to the libraries listed below
Sorting:
- cplint is a suite of programs for reasoning with probabilistic logic programs☆77Updated 2 months ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 years ago
- Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin☆57Updated 16 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…☆37Updated 10 years ago
- A low-level probabilistic programming framework embedded in Terra.☆29Updated 8 years ago
- Random ideas about libraries for Prolog☆12Updated 8 years ago
- Java-based lightweight Prolog virtual machine☆34Updated last year
- CHR: Leuven Constraint Handling Rules☆26Updated 3 weeks ago
- Dr. Bayes☆84Updated 9 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- GrammarViz 2.0 public release:☆124Updated 3 years ago
- Dyna2 compiler and REPL☆146Updated 5 years ago
- Optional types for Prolog☆11Updated 6 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆11Updated 9 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last month
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- Python term rewriting☆30Updated 12 years ago
- Kodkod solver for relational logic☆77Updated 2 years ago
- A Church to Javascript compiler (DEPRECATED)☆140Updated 7 years ago
- ☆34Updated 4 years ago
- Explainable machine learning☆17Updated 6 years ago
- VATA Tree Automata Library☆32Updated 11 months ago
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago