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:
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- LAPKT public repository☆40Updated 2 months ago
- Explanations in Multi-Model Planning☆11Updated 5 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆16Updated 10 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- Qualitative Numeric Planning☆10Updated 4 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- Tarski - An AI Planning Modeling Framework☆67Updated last year
- Translating HTN planning problems to PDDL☆20Updated 3 years ago
- A General Multi-agent Epistemic Planner Based on Higher-order Belief Change☆10Updated 3 months ago
- Experimentation framework for Popper☆22Updated last year
- 🗺️ ASP planning tools for PDDL☆29Updated 3 years ago
- General Inductive Logic Programming System☆17Updated 2 years ago
- ☆37Updated 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 3 weeks ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated 5 months ago
- Lab is a framework for evaluating planners and other solvers.☆34Updated 2 weeks ago
- LTL2PDDL tool☆9Updated 7 years ago
- A python framework for Optimal Planning Modulo Theories☆11Updated last year
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Updated 9 months ago
- Port of Aleph to SWI-Prolog☆48Updated last year
- top-down interpreter for ASP programs with constraints☆17Updated 2 years ago
- PDDL+ planning through compilation to SMT☆46Updated 2 years ago
- Python interface for SWI-Prolog☆49Updated last month
- Your AI-Powered Personal Finance Assistant☆19Updated 5 months ago
- Integration of the planning system Fast Downward with the unified-planning framework.☆11Updated 5 months ago
- ☆31Updated last year
- A. Cropper, R. Evans, and M. Law. Inductive general game playing. Machine learning, 2019.☆12Updated 2 years ago
- The main repository integrating the LaTeX beamer-based slides☆24Updated last month