stefano-bragaglia / XHAIL
System for eXtended Hybrid Abductive Inductive Learning
☆24Updated 3 years ago
Related projects: ⓘ
- Incremental Learning Event Definitions☆13Updated 9 years ago
- A framework for PSL inference.☆21Updated 8 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- Relational data mining in python☆31Updated last year
- Probabilistic Logic Semantics☆16Updated 7 years ago
- RockIt: A query engine for Markov logic☆11Updated 8 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 2 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 5 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 4 years ago
- Port of Aleph to SWI-Prolog☆43Updated 7 months ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆51Updated 10 years ago
- Sequitur and RePair grammar induction algorithms implementation☆23Updated 9 months ago
- LoMRF is an open-source implementation of Markov Logic Networks☆81Updated last week
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆16Updated 7 years ago
- Entailment rules extracted from RTE datasets using a modified Robinson Resolution algorithm☆12Updated 9 years ago
- ☆42Updated 7 years ago
- Saul : Declarative Learning-Based Programming☆64Updated 4 years ago
- Natural Language Q/A app using DRT.☆34Updated 13 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 6 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆68Updated 7 months ago
- TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.☆27Updated 8 years ago
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Updated 6 years ago
- Probabilistic Itemset Mining☆19Updated 8 years ago
- A toolbox for statistical relational learning and reasoning.☆101Updated 2 years ago
- Probabilistic Sequence Mining☆44Updated 6 years ago
- Knowledge Acquisition Logic Machine☆16Updated 5 years ago
- Montague is a little CCG semantic parsing library for Scala.☆59Updated 2 years ago
- End-to-End Differentiable Proving☆88Updated 5 years ago
- Differentiable Forth Interpreter☆66Updated 6 years ago