nkatzz / ILEDLinks
Incremental Learning Event Definitions
☆14Updated 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☆25Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- Dimple: Java and Matlab libraries for probabilistic inference☆81Updated 8 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated 2 weeks ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 8 years ago
- ☆43Updated 7 years ago
- Relational data mining in python☆31Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago
- The BLOG programming language☆98Updated 2 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 3 years ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆85Updated 3 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- probabilistic programming for PL folks☆157Updated 4 years ago
- The online textbook Probabilistic Models of Cognition☆167Updated 7 years ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- Adaptive Neuro-Symbolic Network Agent☆39Updated 3 years ago
- First Order Inductive Learner (FOIL) algorithm implemented in Python☆51Updated 11 years ago
- A Church to Javascript compiler (DEPRECATED)☆140Updated 7 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Updated 10 years ago
- A system for computational category theory and applications☆39Updated 9 years ago
- Numenta's experimental C++ research code. Please see htmresearch for more details.☆25Updated 6 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- Final Year Masters Project: modal logic solver tableaux☆23Updated 3 years ago
- ☆10Updated 9 years ago
- Python term rewriting☆30Updated 12 years ago
- NLP functionality on top of the Sigma system☆17Updated this week