Alternatives and similar repositories for ILED

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

• stefano-bragaglia / XHAIL
  System for eXtended Hybrid Abductive Inductive Learning
  ☆26Updated 4 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆69Updated last year
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆120Updated last month
• 51alg / TerpreT
  ☆42Updated 8 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
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆52Updated last year
• m-westphal / gqr
  GQR, a Fast Reasoner for Binary Qualitative Constraint Calculi
  ☆18Updated 8 years ago
• anskarl / LoMRF
  LoMRF is an open-source implementation of Markov Logic Networks
  ☆86Updated last year
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆74Updated 7 years ago
• johntrimble / foil-python
  First Order Inductive Learner (FOIL) algorithm implemented in Python
  ☆51Updated 11 years ago
• sebdumancic / loreleai
  A toolbox for logical and probabilistic reasoning, StarAI, ILP and Program synthesis
  ☆23Updated 4 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 6 years ago
• netom / satispy
  An interface to SAT solver tools (like minisat)
  ☆62Updated 3 weeks ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• uclnlp / ntp
  End-to-End Differentiable Proving
  ☆90Updated 7 years ago
• agentmodels / agentmodels.org
  Modeling agents with probabilistic programs
  ☆67Updated 6 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
• petablox / difflog
  Difflog: Synthesizing Datalog Programs using Numerical Relaxation
  ☆12Updated 6 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆206Updated 4 years ago
• analog-garage / dimple
  Dimple: Java and Matlab libraries for probabilistic inference
  ☆83Updated 8 years ago
• xflows / rdm
  Relational data mining in python
  ☆32Updated 3 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 6 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆29Updated 8 months ago
• petukhovv / tree2vec
  AST factorization: transformation AST of Kotlin source code to a vector
  ☆11Updated 6 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆135Updated 9 months ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆49Updated 9 months ago
• Mehran-k / RelNN
  RelNN is a novel first-order deep neural model for relational learning.
  ☆28Updated 8 years ago
• HazyResearch / sampler
  DimmWitted Gibbs Sampler in C++ — ⚠️🚧🛑 REPO MOVED TO DEEPDIVE 👉🏿
  ☆17Updated 8 years ago