Alternatives and similar repositories for XHAIL

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

• nkatzz / ILED
  Incremental Learning Event Definitions
  ☆15Updated 10 years ago
• anskarl / LoMRF
  LoMRF is an open-source implementation of Markov Logic Networks
  ☆86Updated last year
• ibeltagy / pl-semantics
  Probabilistic Logic Semantics
  ☆16Updated 8 years ago
• uzh / fox
  A framework for PSL inference.
  ☆21Updated 10 years ago
• allenai / tuffylite
  TuffyLite is an open-source MLN inference engine that modifies the original Tuffy solver.
  ☆27Updated 9 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• johntrimble / foil-python
  First Order Inductive Learner (FOIL) algorithm implemented in Python
  ☆51Updated 11 years ago
• starling-lab / BoostSRL
  BoostSRL: "Boosting for Statistical Relational Learning." A gradient-boosting based approach for learning different types of SRL models.
  ☆31Updated 2 years ago
• xflows / rdm
  Relational data mining in python
  ☆32Updated 3 years ago
• opcode81 / ProbCog
  A toolbox for statistical relational learning and reasoning.
  ☆102Updated 3 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆74Updated 7 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated last month
• 51alg / TerpreT
  ☆42Updated 8 years ago
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆51Updated last year
• mast-group / sequence-mining
  Probabilistic Sequence Mining
  ☆46Updated 7 years ago
• sidaw / sempre-interactive
  Semantic Parser with Execution
  ☆12Updated 8 years ago
• ontologyportal / sigmanlp
  NLP functionality on top of the Sigma system
  ☆18Updated 2 weeks ago
• allenai / pnp
  Probabilistic Neural Programming
  ☆75Updated 6 years ago
• asaparov / parser
  Semantic parser induction using a generative model of grammar.
  ☆31Updated 3 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆90Updated 7 years ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• TeamCohen / secondstring
  A bunch of fancy soft string matching routines, with some accompanying datasets
  ☆56Updated 8 years ago
• danielnyga / pracmln
  Markov Logic Networks in Python
  ☆139Updated 4 years ago
• ermongroup / cs323-notes
  Course notes for CS323: Automated Reasoning
  ☆42Updated 8 years ago
• TeamCohen / TensorLog
  ☆111Updated 7 years ago
• jMotif / GI
  Sequitur and RePair grammar induction algorithms implementation
  ☆27Updated 2 years ago
• sebdumancic / pylo2
  Python wrapper around several Prolog engines. Hoping to make symbolic AI a part of standard AI toolkit.
  ☆86Updated 4 years ago
• jnoessner / rockIt
  RockIt: A query engine for Markov logic
  ☆11Updated 9 years ago
• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 3 years ago
• asoroa / ukb
  Ukb: graph-based WSD and similarity
  ☆107Updated last year