jnoessner / rockItLinks
RockIt: A query engine for Markov logic
☆11Updated 9 years ago
Alternatives and similar repositories for rockIt
Users that are interested in rockIt are comparing it to the libraries listed below
Sorting:
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- Metagol - an inductive logic programming system☆204Updated 3 years ago
- Adaptive Neuro-Symbolic Network Agent☆39Updated 3 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 2 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
- Port of Aleph to SWI-Prolog☆49Updated last year
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Updated last month
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Sequitur and RePair grammar induction algorithms implementation☆27Updated last year
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated last month
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- ☆18Updated 3 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- Experimentation framework for Popper☆23Updated last month
- ☆109Updated 6 years ago
- Non-Axiomatic Causal Explorer☆19Updated 3 months ago
- Deep relational learning through differentiable logic programming.☆108Updated 3 weeks ago
- The source code repository for the FactorBase system☆10Updated last year
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- ☆80Updated 4 years ago
- ☆37Updated 9 months ago
- Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.☆86Updated 3 years ago
- A framework for PSL inference.☆21Updated 9 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Updated last year
- ☆13Updated 2 years ago
- Top-down induction of first-order logical decision trees: master AI thesis implementation☆26Updated 4 years ago
- Call Julia code from Prolog☆27Updated 2 years ago