jMotif / GI
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:
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- CHR: Leuven Constraint Handling Rules☆26Updated 2 weeks ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆74Updated this week
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆16Updated 5 months ago
- GrammarViz 2.0 public release:☆122Updated 3 years ago
- Lollimon, a monadic concurrent linear logic programming language☆28Updated 13 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- CoMingle: Distributed Logic Programming for Decentralized Mobile Ensembles☆33Updated 8 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆46Updated last week
- Primary implementation of the Venture probabilistic programming system☆27Updated 5 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
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- ☆34Updated 4 years ago
- Library classes for the Twelf Proof System☆21Updated 4 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 4 months ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆34Updated 12 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 10 months ago
- Collapsing Towers of Interpreters☆91Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆68Updated 2 years ago
- CLP(SMT) on top of miniKanren☆36Updated 3 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated 11 months ago
- Offline partial evaluation system for Prolog written using the cogen approach☆19Updated 8 years ago
- Relational version of parsing with derivatives code☆43Updated 12 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- A rule engine based on Attempto Controlled English☆18Updated 6 months ago
- Programming in Tabled Prolog by David S Warren☆22Updated 5 years ago
- ☆19Updated 8 years ago
- A simple Prolog API for the Z3 constraint solver☆15Updated 7 years ago