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:
- System for eXtended Hybrid Abductive Inductive Learning☆26Updated 4 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 simple Binary Decision Diagram library in Java☆15Updated 7 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 6 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆86Updated last year
- Factor Graph Grammars in Python☆13Updated last year
- A framework for PSL inference.☆21Updated 10 years ago
- Deep relational learning through differentiable logic programming.☆113Updated 4 months ago
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Updated 8 years ago
- A Java Stochastic Dynamic Programming Library☆13Updated last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- ☆20Updated 3 years ago
- RockIt: A query engine for Markov logic☆11Updated 9 years ago
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Updated 6 months ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 4 years ago
- ☆10Updated 5 years ago
- Dimple: Java and Matlab libraries for probabilistic inference☆83Updated 8 years ago
- Incremental Learning Event Definitions☆15Updated 10 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- RelNN is a novel first-order deep neural model for relational learning.☆28Updated 8 years ago
- FlexGP: Flexible ML with Genetic Programming☆19Updated 10 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 3 weeks ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Updated 3 years ago
- Reasoning over weighted algebraic and logical constraints☆26Updated last month
- ☆10Updated 9 years ago
- Adaptive Neuro-Symbolic Network Agent☆41Updated 3 years ago