RobertSasak / Prolog-Planning-LibraryLinks
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.
☆19Updated 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
Sorting:
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- 🗺️ ASP planning tools for PDDL☆29Updated 3 years ago
- Explanations in Multi-Model Planning☆11Updated 5 years ago
- Tarski - An AI Planning Modeling Framework☆67Updated last year
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- LAPKT public repository☆40Updated 2 months ago
- Lab is a framework for evaluating planners and other solvers.☆34Updated last month
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated 6 months ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 4 months ago
- Qualitative Numeric Planning☆10Updated 4 years ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- PDDL+ planning through compilation to SMT☆46Updated 2 years ago
- Experimentation framework for Popper☆23Updated last year
- General Inductive Logic Programming System☆17Updated 2 years ago
- Translating HTN planning problems to PDDL☆21Updated 3 years ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- Python interface for SWI-Prolog☆49Updated 2 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 month
- K* search based implementation of top-k and top-quality planners☆17Updated last month
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆16Updated 11 months ago
- Port of Aleph to SWI-Prolog☆48Updated last year
- ☆38Updated 7 months ago
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆82Updated 2 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆15Updated 2 years ago
- ForbidIterative planners for top-k, top-quality, and diverse planning problems☆19Updated last month
- ☆31Updated last year
- Powerlifted Planner☆31Updated 6 months ago
- FAPE (Flexible Acting and Planning Environment) is a constraint-based planner for the ANML language.☆31Updated 3 years ago
- LTL2PDDL tool☆9Updated 7 years ago