golems / motion-grammar-kit
Formal Language Tools for Robots
☆13Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for motion-grammar-kit
- Automated Programming Framework☆14Updated 4 years ago
- LTL2PDDL tool☆10Updated 7 years ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆16Updated 2 months ago
- SNARK - SRI's New Automated Reasoning Kit☆19Updated 8 years ago
- Synthesizer of LTLf formula☆9Updated last year
- 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 7 years ago
- Common lisp library for manipulating PDDL expressions.☆13Updated 4 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 4 months ago
- Archive of old version, visit gendl.org for current version --- #gendl on libera.chat☆57Updated last year
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆32Updated 5 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated 10 months ago
- LAPKT public repository☆40Updated 2 months ago
- STRIPS benchmarks for classical planning☆13Updated 2 years ago
- Specify and synthesize systems using symbolic algorithms☆46Updated last week
- The ZOT Bounded Model/Satisfiability Checker (previously hosted as zot.googlecode.com)☆10Updated 3 years ago
- Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with modal extensions☆19Updated last week
- ☆34Updated 4 years ago
- Chatbot impls in Prolog☆15Updated 2 years ago
- cplint is a suite of programs for reasoning with probabilistic logic programs☆69Updated 9 months ago
- Reason about Term Rewriting Systems☆15Updated 2 years ago
- FOND4LTLf translates an LTLf/PLTLf-FOND to standard FOND planning problems☆15Updated this week
- The SWI-Prolog HTTP server and client libraries☆23Updated last week
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- The INVAL plan validator, and other PDDL tools.☆17Updated 11 months ago
- OPS5 Production System☆54Updated 11 years ago
- SAT solver for education☆25Updated 2 years ago
- Your AI-Powered Personal Finance Assistant☆10Updated 6 months ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Updated 4 years ago
- Operations with matrices, SWI pack☆12Updated 10 months ago