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:
- RockIt: A query engine for Markov logic☆11Updated 9 years ago
- Factor Graph Grammars in Python☆13Updated 7 months ago
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- AST factorization: transformation AST of Kotlin source code to a vector☆11Updated 5 years ago
- Constructing automata with SAT solvers☆8Updated 6 years ago
- Credici: Credal Inference for Causal Inference☆16Updated 2 months ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 10 months ago
- A Benchmark for Machine Learning from Structured Data☆21Updated 3 years ago
- ☕ A Python library for gradient-boosted statistical relational models / learning probabilistic relational programs.☆31Updated 2 years ago
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆17Updated last month
- FlexGP: Flexible ML with Genetic Programming☆19Updated 10 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 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
- BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.☆32Updated last year
- ☆15Updated 6 years ago
- A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis☆23Updated 4 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆15Updated 2 years ago
- ☆9Updated 9 years ago
- Domain independent implementation of Monte Carlo Tree Search methods.☆17Updated 6 years ago
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- reinforcement learning algorithms from the book by Sutton and Barto☆16Updated 4 years ago
- Save, track and query 3D+time locations of objects in the AtomSpace☆13Updated 3 months ago
- Incremental Learning Event Definitions☆14Updated 9 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿☆17Updated 8 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Information geometry and its extension information topology☆10Updated 7 years ago
- The Earleyx parser was originated from Roger Levy's prefix parser, but has evolved significantly. Earleyx can generate Viterbi parses and…☆14Updated 11 years ago
- The ParSeMiS project (Parallel and Sequential Graph Mining Suite) searches for frequent, interesting substructures in graph databases. ht…☆44Updated 5 years ago
- Sequitur and RePair grammar induction algorithms implementation☆26Updated last year