stefano-bragaglia / XHAILLinks
System for eXtended Hybrid Abductive Inductive Learning
☆26Updated 4 years ago
Alternatives and similar repositories for XHAIL
Users that are interested in XHAIL are comparing it to the libraries listed below
Sorting:
- Incremental Learning Event Definitions☆15Updated 10 years ago
- A framework for PSL inference.☆21Updated 10 years ago
- Relational data mining in python☆32Updated 3 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- Differentiable Forth Interpreter☆74Updated 7 years ago
- TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.☆27Updated 9 years ago
- Sequitur and RePair grammar induction algorithms implementation☆28Updated 2 years ago
- Port of Aleph to SWI-Prolog☆52Updated last year
- A toolbox for statistical relational learning and reasoning.☆102Updated 3 years ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆52Updated 11 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Probabilistic Logic Semantics☆17Updated 8 years ago
- Montague is a little CCG semantic parsing library for Scala.☆59Updated 3 years ago
- Infinite relational model (IRM) for datamicroscopes☆14Updated 10 years ago
- Modeling agents with probabilistic programs☆67Updated 6 years ago
- Markov Logic Networks in Python☆139Updated 4 years ago
- ☆42Updated 8 years ago
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Updated 10 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆31Updated 2 years ago
- NLP functionality on top of the Sigma system☆18Updated last month
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Probabilistic Neural Programming☆75Updated 7 years ago
- Small examples showing how to use Odin for various IE tasks☆16Updated 8 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- Semantic Parser with Execution☆12Updated 8 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- ☆13Updated 10 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- ☆15Updated 7 years ago
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago