Alternatives and similar repositories for pylfit

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

• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆19Updated 3 years ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆23Updated 2 months ago
• joschout / tilde
  Top-down induction of first-order logical decision trees: master AI thesis implementation
  ☆26Updated 5 years ago
• ilaspltd / ILASP-releases
  ☆37Updated 11 months ago
• abcorrea / powerlifted
  Powerlifted Planner
  ☆32Updated 2 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆236Updated last week
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆205Updated 4 years ago
• davidenitti / DC
  Probabilistic logic language for inference, planning and learning in static and dynamic domains
  ☆15Updated 8 years ago
• Kurorororo / numeric-fast-downward
  ☆16Updated last year
• StephenMuggleton / DeepLog
  Code and Data for DeepLog system
  ☆19Updated 2 years ago
• IBM / kstar
  K* search based implementation of top-k and top-quality planners
  ☆17Updated this week
• Maumagnaguagno / Planning_LaTeX
  Latex listing for planning formalisms
  ☆14Updated 3 years ago
• fawcettc / planning-features
  Scalar feature extractor for AI planning problems and domains in PDDL format
  ☆16Updated 4 years ago
• aig-upf / tarski
  Tarski - An AI Planning Modeling Framework
  ☆71Updated last year
• potassco / clingraph
  🕸️ A visualizer for graphs defined as logic programs
  ☆30Updated last year
• RobertSasak / Prolog-Planning-Library
  Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…
  ☆19Updated 4 years ago
• unitn-sml / wmpy
  Reasoning over weighted algebraic and logical constraints
  ☆25Updated 2 weeks ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆25Updated 3 years ago
• tomasgeffner / FOND-SAT
  FOND solver based on SAT
  ☆14Updated 2 years ago
• bonetblai / qnp2fond
  Qualitative Numeric Planning
  ☆10Updated 4 years ago
• ML-KULeuven / deepstochlog
  ☆36Updated last year
• CPMpy / PyConA
  A cpmpy-based library for constraint acquisition.
  ☆20Updated 2 weeks ago
• hexhex / hexlite
  Python-based HEX implementation for a fragment of the HEX language and a subset of features.
  ☆14Updated 3 years ago
• celinehocquette / numsynth-aaai23
  C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.
  ☆17Updated 2 years ago
• QuMuLab / planner-for-relevant-policies
  ☆32Updated last year
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆49Updated 3 weeks ago
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆18Updated 3 years ago
• andrewcropper / iggp
  A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.
  ☆12Updated 2 years ago
• SmartDataAnalytics / SML-Bench
  A Benchmark for Machine Learning from Structured Data
  ☆22Updated 3 years ago