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 provide PDDL parser in Prolog. In addition we present few easy planners based on it.
☆18Updated 3 years ago
Alternatives and similar repositories for Prolog-Planning-Library:
Users that are interested in Prolog-Planning-Library are comparing it to the libraries listed below
- Explanations in Multi-Model Planning☆11Updated 5 years ago
- Qualitative Numeric Planning☆10Updated 4 years ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- STRIPS benchmarks for classical planning☆13Updated 2 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- PDDL+ planning through compilation to SMT☆45Updated 2 years ago
- Lab is a framework for evaluating planners and other solvers.☆33Updated this week
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated 3 months ago
- Tarski - An AI Planning Modeling Framework☆64Updated last year
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆17Updated 6 months ago
- K* search based implementation of top-k and top-quality planners☆15Updated 5 months ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- LAPKT public repository☆40Updated 7 months ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆17Updated 6 months ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Updated last year
- FOND solver based on SAT☆14Updated 2 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆14Updated 2 years ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆15Updated 8 months ago
- LTL2PDDL tool☆9Updated 7 years ago
- Call Julia code from Prolog☆27Updated 2 years ago
- Automated Programming Framework☆14Updated 4 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- The INVAL plan validator, and other PDDL tools.☆17Updated last year
- Translating HTN planning problems to PDDL☆19Updated 3 years ago
- ☆37Updated 4 months ago
- ☆30Updated last year
- A python framework for Optimal Planning Modulo Theories☆11Updated last year
- ☆17Updated 10 months ago
- Automatically exported from code.google.com/p/rddlsim☆52Updated last year