stefano-bragaglia / XHAILLinks
System for eXtended Hybrid Abductive Inductive Learning
☆25Updated 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☆14Updated 10 years ago
- A framework for PSL inference.☆21Updated 9 years ago
- TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.☆27Updated 9 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- LoMRF is an open-source implementation of Markov Logic Networks☆85Updated 11 months ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆51Updated 11 years ago
- Sequitur and RePair grammar induction algorithms implementation☆27Updated last year
- Probabilistic Logic Semantics☆16Updated 8 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated last month
- Differentiable Forth Interpreter☆72Updated 7 years ago
- A toolbox for statistical relational learning and reasoning.☆102Updated 3 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- Markov Logic Networks in Python☆138Updated 4 years ago
- End-to-End Differentiable Proving☆90Updated 6 years ago
- NLP functionality on top of the Sigma system☆17Updated 3 weeks ago
- Montague is a little CCG semantic parsing library for Scala.☆59Updated 3 years ago
- Relational data mining in python☆31Updated 2 years ago
- brat rapid annotation tool (brat) - for all your textual annotation needs☆10Updated 7 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- SNAP repository for Ringo☆14Updated 8 years ago
- ☆109Updated 6 years ago
- The source code repository for the FactorBase system☆10Updated last year
- Reference implementation of algorithms for reinforcement learning and Markov decision processes.☆12Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- ☆15Updated 6 years ago
- Probabilistic Neural Programming☆75Updated 6 years ago
- RockIt: A query engine for Markov logic☆11Updated 9 years ago