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.
☆17Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for Prolog-Planning-Library
- Tarski - An AI Planning Modeling Framework☆63Updated 8 months ago
- Lab is a framework for evaluating planners and other solvers.☆30Updated this week
- LAPKT public repository☆40Updated 3 months ago
- STRIPS benchmarks for classical planning☆13Updated 2 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆14Updated 3 years ago
- ☆32Updated this week
- Qualitative Numeric Planning☆9Updated 3 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆16Updated 7 years ago
- 🗺️ ASP planning tools for PDDL☆28Updated 3 years ago
- PDDL Syntax Highlighting, Snippets, Domain Visualization and more for Sublime Text☆35Updated 6 years ago
- LTL2PDDL tool☆10Updated 7 years ago
- Tools for interacting with the Planning.Domains API☆13Updated last year
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated last year
- Translating HTN planning problems to PDDL☆18Updated 3 years ago
- PDDL+ planning through compilation to SMT☆44Updated last year
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆21Updated last year
- ☆15Updated 6 months ago
- Planning through backpropagation using TensorFlow.☆16Updated 4 years ago
- Extracting action sequences and generating domain models.☆15Updated last year
- Few-shot Bayesian Imitation Learning with Policies as Logic over Programs☆18Updated 2 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆17Updated last year
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆16Updated 2 months ago
- FOND solver based on SAT☆14Updated 2 years ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆74Updated last year
- ☆28Updated 8 months ago
- PDDL planner interface for PDDLGym.☆27Updated 9 months ago
- Your AI-Powered Personal Finance Assistant☆10Updated 6 months ago
- A python framework for Optimal Planning Modulo Theories☆11Updated 9 months ago
- Domain and problem PDDL parser in C/C++ using Flex & Bison.☆12Updated 5 years ago