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:
- Metagol - an inductive logic programming system☆205Updated 4 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- Sequitur and RePair grammar induction algorithms implementation☆27Updated last year
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆86Updated last year
- Adaptive Neuro-Symbolic Network Agent☆39Updated 3 years ago
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Updated 2 months ago
- Port of Aleph to SWI-Prolog☆50Updated last year
- A framework for PSL inference.☆21Updated 9 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 5 months ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆78Updated last week
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- Source code for Neural Datalog Through Time: Informed Temporal Modeling via Logical Specification (ICML 2020).☆36Updated last year
- Differentiable Forth Interpreter☆72Updated 7 years ago
- ☆10Updated 9 years ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Markov Logic Networks in Python☆138Updated 4 years ago
- Non-Axiomatic Causal Explorer☆19Updated 4 months ago
- ☆110Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- The source code repository for the FactorBase system☆10Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 7 months ago
- ☆80Updated 4 years ago
- Python and TensorFlow implementation of the paper "Learning Explanatory Rules from Noisy Data." Evans Richard and Edward Grefenstette. Jo…☆52Updated 4 years ago
- ☆37Updated 10 months ago
- A Sparse Distributed Memory Framework.☆45Updated 6 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆22Updated last week
- Deep relational learning through differentiable logic programming.☆108Updated last month
- ☆42Updated 8 years ago