sfu-cl-lab / FactorBaseLinks
The source code repository for the FactorBase system
☆10Updated last year
Alternatives and similar repositories for FactorBase
Users that are interested in FactorBase are comparing it to the libraries listed below
Sorting:
- 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
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆17Updated 4 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 years ago
- A simple Binary Decision Diagram library in Java☆15Updated 7 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- Factor Graph Grammars in Python☆13Updated 3 weeks ago
- A Java Stochastic Dynamic Programming Library☆13Updated 3 weeks ago
- ☆14Updated 8 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Incremental Learning Event Definitions☆15Updated 10 years ago
- 🎲 A Kotlin DSL for probabilistic programming.☆12Updated 3 years ago
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Updated last year
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 6 years ago
- Dimple: Java and Matlab libraries for probabilistic inference☆84Updated 8 years ago
- Deep relational learning through differentiable logic programming.☆113Updated 6 months ago
- A framework for PSL inference.☆21Updated 10 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 8 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Differentiable Forth Interpreter☆74Updated 8 years ago
- ☆15Updated 7 years ago
- RockIt: A query engine for Markov logic☆11Updated 9 years ago
- ☆10Updated 9 years ago
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Updated 8 years ago
- FlexGP: Flexible ML with Genetic Programming☆19Updated 10 years ago
- ☆20Updated 3 weeks 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 11 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 4 years ago
- 🔍 Code Search Tools & Experiments☆12Updated last month