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
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- ❇️ The best modules for Markov Logic Networks condensed in one framework.☆13Updated 8 years ago
- ☆15Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Updated 6 years ago
- RockIt: A query engine for Markov logic☆11Updated 9 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
- ☆20Updated last week
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Updated 3 years ago
- reinforcement learning algorithms from the book by Sutton and Barto☆17Updated 4 years ago
- A framework for PSL inference.☆21Updated 10 years ago
- FlexGP: Flexible ML with Genetic Programming☆19Updated 10 years ago
- Incremental Learning Event Definitions☆15Updated 10 years ago
- Swift implementation of Pei Wang's Non-Axiomatic Logic☆13Updated 6 months ago
- SNAP repository for Ringo☆14Updated 8 years ago
- Reasoning over weighted algebraic and logical constraints☆26Updated last week
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Dimple: Java and Matlab libraries for probabilistic inference☆83Updated 8 years ago
- Port of Aleph to SWI-Prolog☆52Updated last year
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated last year
- My MSc thesis: a grammar induction system☆16Updated 9 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- A Java Stochastic Dynamic Programming Library☆13Updated 2 weeks ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 6 years ago
- Factor Graph Grammars in Python☆13Updated 2 weeks ago
- A Benchmark for Machine Learning from Structured Data☆22Updated 4 years ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated 2 years ago
- Theory propagator for linear programming using clingo theory language and interface.☆11Updated 4 years ago
- A simple Binary Decision Diagram library in Java☆15Updated 7 years ago