nkatzz / ILEDLinks
Incremental Learning Event Definitions
☆15Updated 10 years ago
Alternatives and similar repositories for ILED
Users that are interested in ILED are comparing it to the libraries listed below
Sorting:
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆52Updated 11 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated 2 months ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆31Updated 2 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 4 years ago
- ☆42Updated 8 years ago
- Relational data mining in python☆32Updated 3 years ago
- A framework for PSL inference.☆21Updated 10 years ago
- Port of Aleph to SWI-Prolog☆52Updated last year
- Dimple: Java and Matlab libraries for probabilistic inference☆83Updated 8 years ago
- GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi☆18Updated 8 years ago
- Code to reproduce experiments appearing in the academic paper Lost Relatives of the Gumbel Trick☆17Updated 8 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 6 years ago
- Modeling agents with probabilistic programs☆68Updated 6 years ago
- A Church to Javascript compiler (DEPRECATED)☆141Updated 7 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 8 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 9 years ago
- End-to-End Differentiable Proving☆90Updated 7 years ago
- Final Year Masters Project: modal logic solver tableaux☆24Updated 3 years ago
- Metagol - an inductive logic programming system☆207Updated 4 years ago
- The online textbook Probabilistic Models of Cognition☆169Updated 8 years ago
- ☆15Updated 7 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 9 years ago
- ☆10Updated 9 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 9 years ago