jnoessner / rockIt
RockIt: A query engine for Markov logic
☆11Updated 8 years ago
Alternatives and similar repositories for rockIt:
Users that are interested in rockIt are comparing it to the libraries listed below
- A framework for PSL inference.☆21Updated 9 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- ☆15Updated 6 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated 7 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆16Updated 8 years ago
- Adaptive Neuro-Symbolic Network Agent☆36Updated 2 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 3 years ago
- Implementation of generative semantic grammar.☆18Updated 2 years ago
- The source code repository for the FactorBase system☆10Updated 11 months ago
- First-order knowledge compilation for lifted probabilistic inference☆11Updated 7 years ago
- ☆9Updated 8 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Sequitur and RePair grammar induction algorithms implementation☆25Updated last year
- Call Julia code from Prolog☆27Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 8 months ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆30Updated last month
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆23Updated last year
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆73Updated this week
- Port of Aleph to SWI-Prolog☆44Updated last year
- Differentiable Forth Interpreter☆68Updated 7 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…☆36Updated 10 years ago
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆11Updated 5 years ago
- ☆17Updated 2 years ago
- Non-Axiomatic Causal Explorer☆19Updated last week