Alternatives and similar repositories for rockIt

Users that are interested in rockIt are comparing it to the libraries listed below

• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆25Updated 4 years ago
• zsoltzombori / plcop
  Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover
  ☆12Updated 4 years ago
• sfu-cl-lab / FactorBase
  The source code repository for the FactorBase system
  ☆10Updated last year
• ontologyportal / sigmanlp
  NLP functionality on top of the Sigma system
  ☆17Updated last week
• julianmendez / born
  Bayesian Ontology Reasoner
  ☆13Updated last month
• uzh / fox
  A framework for PSL inference.
  ☆21Updated 9 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆26Updated last year
• QuMuLab / dsharp
  ☆18Updated 3 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• jordn / ProbLog
  ProbLog 2 is now at https://github.com/ML-KULeuven/problog
  ☆10Updated 6 years ago
• patham9 / ANSNA
  Adaptive Neuro-Symbolic Network Agent
  ☆38Updated 3 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆18Updated 3 years ago
• sidaw / sempre-interactive
  Semantic Parser with Execution
  ☆12Updated 7 years ago
• flexgp / flexgp
  FlexGP: Flexible ML with Genetic Programming
  ☆19Updated 10 years ago
• starling-lab / BoostSRL
  BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.
  ☆32Updated last year
• opencog / generate
  Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)
  ☆31Updated 5 months ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆64Updated last year
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• HazyResearch / sampler
  DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿
  ☆17Updated 8 years ago
• inejc / mcts
  Domain independent implementation of Monte Carlo Tree Search methods.
  ☆17Updated 6 years ago
• machine-reasoning-ufrgs / typed-graph-network
  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
• jjoller / aixi
  Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.
  ☆12Updated 8 years ago
• anskarl / LoMRF
  LoMRF is an open-source implementation of Markov Logic Networks
  ☆85Updated 10 months ago
• IDSIA / credici
  Credici: Credal Inference for Causal Inference
  ☆16Updated last month
• unisb-bioinf / causaltrail
  CausalTrail - a tool for performing causal reasoning using the do-calculus
  ☆12Updated 4 years ago
• allenai / tuffylite
  TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.
  ☆27Updated 8 years ago
• flexgp / efs
  Evolutionary feature synthesis
  ☆17Updated 9 years ago
• timvieira / rl
  Reference implementation of algorithms for reinforcement learning and Markov decision processes.
  ☆12Updated 4 years ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆105Updated 11 months ago
• lmthang / earleyx
  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