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 4 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:
- Port of Aleph to SWI-Prolog☆52Updated last year
- Experimentation framework for Popper☆24Updated 6 months ago
- PDDL+ planning through compilation to SMT☆52Updated 2 years ago
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Lab is a framework for evaluating planners and other solvers.☆34Updated last week
- Manipulate NNF (Negation Normal Form) logical sentences☆20Updated 3 years ago
- Tarski - An AI Planning Modeling Framework☆72Updated last month
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Updated 3 years ago
- Project for converting multi-agent epistemic planning problems to automated planning problems. Also includes utilities for dealing with P…☆22Updated last year
- LatPlan : A domain-independent, image-based classical planner☆87Updated 3 years ago
- Qualitative Numeric Planning☆10Updated 5 years ago
- LAPKT public repository☆40Updated 10 months ago
- Scalar feature extractor for AI planning problems and domains in PDDL format☆16Updated 5 years ago
- Classical and FOND Planning for Pure-Past Linear Temporal Logic Goals☆19Updated last year
- Symbolic Reinforcement Learning using Inductive Logic Programming☆62Updated 2 years ago
- 🌍 PDDL instances covering the International Planning Competitions☆143Updated 4 years ago
- Powerlifted Planner☆32Updated 2 months ago
- Python interface for SWI-Prolog☆49Updated last week
- ☆45Updated last year
- ☆32Updated last year
- Metagol - an inductive logic programming system☆207Updated 4 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 …☆161Updated last year
- ☆15Updated last year
- The INVAL plan validator, and other PDDL tools.☆22Updated 2 years ago
- FOND solver based on SAT☆14Updated 3 years ago
- General Inductive Logic Programming System☆18Updated 3 years ago
- ☆39Updated last year
- By the community, for everyone. Planning.wiki is the online guide to AI Planning☆84Updated 2 years ago
- Planning through backpropagation using TensorFlow.☆16Updated 5 years ago
- STRIPS benchmarks for classical planning☆14Updated 3 years ago