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
- First-order knowledge compilation for lifted probabilistic inference☆11Updated 7 years ago
- ☆15Updated 6 years ago
- Adaptive Neuro-Symbolic Network Agent☆37Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 10 months ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 3 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- ☆17Updated 2 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- ☆43Updated 7 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 3 months ago
- Differentiable Forth Interpreter☆71Updated 7 years ago
- Evolutionary feature synthesis☆17Updated 9 years ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Updated 9 years ago
- Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.☆25Updated 2 years ago
- Bayesian Ontology Reasoner☆13Updated last week
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 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…☆12Updated 6 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 7 years ago
- ProBO: Versatile Bayesian Optimization Using Any Probabilistic Programming Language☆16Updated 5 years ago
- NLP functionality on top of the Sigma system☆17Updated 2 weeks ago
- TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.☆27Updated 8 years ago
- Implementation of the conceptual spaces framework.☆31Updated last year
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 9 months ago
- A framework for PSL inference.☆21Updated 9 years ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- deep learning for math☆29Updated 6 years ago
- Structure learning for sparse graphs with latent variables☆45Updated 8 years ago