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:
- Tarski - An AI Planning Modeling Framework☆67Updated last year
- LAPKT public repository☆40Updated 3 months ago
- PDDL+ planning through compilation to SMT☆48Updated 2 years ago
- Manipulate NNF (Negation Normal Form) logical sentences☆17Updated 2 years ago
- Explanations in Multi-Model Planning☆11Updated 5 years ago
- C. Hocquette and A. Cropper, Learning programs with magic values.☆18Updated 2 years ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆16Updated last year
- LatPlan : A domain-independent, image-based classical planner☆86Updated 2 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Updated 2 months ago
- Lab is a framework for evaluating planners and other solvers.☆34Updated last month
- Scalar feature extractor for AI planning problems and domains in PDDL format☆15Updated 4 years ago
- Port of Aleph to SWI-Prolog☆49Updated last year
- Translating HTN planning problems to PDDL☆21Updated 4 years ago
- 🌍 PDDL instances covering the International Planning Competitions☆130Updated 4 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆23Updated 7 months ago
- Metagol - an inductive logic programming system☆203Updated 3 years ago
- Powerlifted Planner☆31Updated 7 months ago
- Experimentation framework for Popper☆23Updated last year
- K* search based implementation of top-k and top-quality planners☆16Updated last month
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- PDDL4J is an open source library under LGPL license whose purpose of PDDL4J is to facilitate the development of JAVA tools for Automated …☆156Updated 9 months ago
- The INVAL plan validator, and other PDDL tools.☆18Updated last year
- ☆38Updated 7 months ago
- Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…☆12Updated 7 years ago
- 🗺️ ASP planning tools for PDDL☆29Updated 4 years ago
- Extracting action sequences and generating domain models.☆14Updated 2 years ago
- Planning through backpropagation using TensorFlow.☆16Updated 4 years ago
- STRIPS benchmarks for classical planning☆13Updated 3 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Updated 10 months ago