Alternatives and similar repositories for motion-grammar-kit

Users that are interested in motion-grammar-kit are comparing it to the libraries listed below

• aig-upf / automated-programming-framework
  Automated Programming Framework
  ☆15Updated 5 years ago
• nirlipo / ltl2pddl
  LTL2PDDL tool
  ☆9Updated 7 years ago
• hlsyounes / mdpsim
  PPDDL plan evalutation simulator
  ☆15Updated 5 years ago
• euslisp / EusLisp
  EusLisp is an integrated programming system for the research on intelligent robots based on Common Lisp and Object-Oriented programming. …
  ☆63Updated last month
• LAPKT-dev / LAPKT-public
  LAPKT public repository
  ☆40Updated 2 months ago
• nilqed / SNARK
  SNARK - SRI's New Automated Reasoning Kit
  ☆19Updated 4 months ago
• cl-model-languages / cl-sat
  Common Interface to Boolean Satisfiability Solvers from Common Lisp
  ☆14Updated 3 years ago
• QuMuLab / python-nnf
  Manipulate NNF (Negation Normal Form) logical sentences
  ☆17Updated 2 years ago
• aibasel / lab
  Lab is a framework for evaluating planners and other solvers.
  ☆34Updated last month
• ronwalf / HTN-Translation
  Translating HTN planning problems to PDDL
  ☆21Updated 3 years ago
• patrikhaslum / INVAL
  The INVAL plan validator, and other PDDL tools.
  ☆18Updated last year
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 3 years ago
• AI-Planning / lifted-pddl
  A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.
  ☆16Updated 11 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• potassco / plasp
  🗺️ ASP planning tools for PDDL
  ☆29Updated 3 years ago
• 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 3 years ago
• aig-upf / universal-pddl-parser
  An algorithm for parsing any planning problem in PDDL format
  ☆21Updated 2 years ago
• guicho271828 / latplan
  LatPlan : A domain-independent, image-based classical planner
  ☆85Updated 2 years ago
• KCL-Planning / SMTPlan
  PDDL+ planning through compilation to SMT
  ☆46Updated 2 years ago
• whitemech / Plan4Past
  Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals
  ☆19Updated 9 months ago
• IBM / pddlrl
  Reinforcement Learning for Classical Planning
  ☆11Updated 3 years ago
• tkuhn / AceRules
  A rule engine based on Attempto Controlled English
  ☆18Updated 7 months ago
• guillaume-chevalier / AI-Planning-Solver-Shakeys-World-PDDL
  Solving a planning problem (Shakey's World) with the FF and IPP planners, the PDDL language and some Python meta-programming to glue thin…
  ☆16Updated 8 years ago
• rpgoldman / pddl-tools
  Common lisp library for manipulating PDDL expressions.
  ☆14Updated 2 weeks ago
• SWI-Prolog / packages-pengines
  Pengines: Prolog engines
  ☆12Updated this week
• cl-axon / shop2
  Simple Hierarchical Ordered Planner - A mirror of
  ☆35Updated 8 years ago
• TathagataChakraborti / mmp
  Explanations in Multi-Model Planning
  ☆11Updated 5 years ago
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆19Updated last year
• FedericoPecora / meta-csp-framework
  The Meta-CSP Framework: a Java API for meta-constraint reasoning
  ☆13Updated 4 years ago
• prost-planner / prost
  probabilistic planning system for tasks encoded in RDDL
  ☆45Updated 3 weeks ago