erohkohl / mlsolver

Related projects ⓘ

Alternatives and complementary repositories for mlsolver

• friguzzi / aleph
  Port of Aleph to SWI-Prolog
  ☆44Updated 9 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆205Updated 3 months ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆18Updated 2 years ago
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆315Updated this week
• potassco / telingo
  🕰️ A solver for temporal programs.
  ☆22Updated 4 months ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆23Updated this week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆41Updated last week
• ilaspltd / ILASP-releases
  ☆35Updated last year
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆73Updated this week
• friguzzi / cplint
  cplint is a suite of programs for reasoning with probabilistic logic programs
  ☆69Updated 9 months ago
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆29Updated 3 weeks ago
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆17Updated 2 years ago
• evhub / pyprover
  Resolution theorem proving for predicate logic in pure Python.
  ☆91Updated 11 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• potassco-asp-course / course
  The main repository integrating the LaTeX beamer-based slides
  ☆22Updated last month
• 921kiyo / symbolic-rl
  Symbolic Reinforcement Learning using Inductive Logic Programming
  ☆61Updated last year
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆63Updated last year
• idaks / PW-explorer
  ☆16Updated 3 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆58Updated last week
• GrammaticalFramework / gf-core
  Grammatical Framework core: compiler, shell & runtimes
  ☆131Updated last week
• nadia-polikarpova / synquid
  ☆119Updated 2 years ago
• LS-Lab / KeYmaeraX-release
  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)
  ☆76Updated last month
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• ML-KULeuven / deepstochlog
  ☆26Updated 9 months ago
• jfeser / L2
  λ² is a tool for synthesizing functional programs from input-output examples.
  ☆67Updated last year
• CyberCat-Institute / open-game-engine
  Haskell implementation of open games
  ☆147Updated 10 months ago
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆115Updated 4 months ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆17Updated 2 months ago
• stassa / louise
  Polynomial-time Meta-Interpretive Learning
  ☆102Updated 3 months ago