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
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 4 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
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated 2 years ago
- Factor Graph Grammars in Python☆13Updated 10 months ago
- A framework for PSL inference.☆21Updated 9 years ago
- ☆15Updated 6 years ago
- RockIt: A query engine for Markov logic☆11Updated 9 years ago
- Deep relational learning through differentiable logic programming.☆112Updated 2 months ago
- SNAP repository for Ringo☆14Updated 8 years ago
- A simple Binary Decision Diagram library in Java☆15Updated 7 years ago
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Updated 7 years ago
- FlexGP: Flexible ML with Genetic Programming☆19Updated 10 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
- ☆18Updated 3 years ago
- NLP functionality on top of the Sigma system☆17Updated last month
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…☆45Updated 5 years ago
- LoMRF is an open-source implementation of Markov Logic Networks☆86Updated last year
- Port of Aleph to SWI-Prolog☆50Updated last year
- ☆36Updated last year
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆15Updated 3 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Dimple: Java and Matlab libraries for probabilistic inference☆82Updated 8 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 3 years ago
- Incremental Learning Event Definitions☆14Updated 10 years ago
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 8 years ago
- An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs☆19Updated 4 years ago