kovvalsky / LangPro
Tableau-based Theorem Prover for Natural Logic and Language
☆116Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for LangPro
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- Dyna2 compiler and REPL☆146Updated 4 years ago
- Metagol - an inductive logic programming system☆201Updated 3 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated 9 months ago
- Parser for Attempto Controlled English (ACE)☆187Updated 6 months ago
- Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic☆116Updated 6 years ago
- My MSc thesis: a grammar induction system