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
- ☆15Updated 6 years ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- A framework for PSL inference.☆21Updated 9 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆25Updated 2 years ago
- First-order knowledge compilation for lifted probabilistic inference☆11Updated 8 years ago
- deep learning for math☆30Updated 6 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- ☆18Updated 3 years ago
- Adaptive Neuro-Symbolic Network Agent☆38Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 2 months ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 5 months ago
- Sequitur and RePair grammar induction algorithms implementation☆26Updated last year
- ☆43Updated 7 years ago
- FlexGP: Flexible ML with Genetic Programming☆19Updated 10 years ago
- A copy of Alchemy 2, a set of tools to handle Markov Logic Networks.☆28Updated 8 years ago
- Knowledge Acquisition Logic Machine☆18Updated 5 years ago
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated 11 months ago
- Experimentation framework for Popper☆23Updated last year
- Differentiable Forth Interpreter☆72Updated 7 years ago
- Structure learning for sparse graphs with latent variables☆45Updated 8 years ago
- The source code repository for the FactorBase system☆10Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 3 months ago