Published November 3, 2021
| Version v2
Dataset
Open
Supplementary Material to "Making DL-Lite Planning Practical"
- 1. TU Dresden
- 2. Saarland University, Saarland Informatics Campus
Description
Supplementary material to the paper
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova, Marcel Steinmetz: "Making DL-Lite Planning Practical" 641-645 2021 KR https://doi.org/10.24963/kr.2021/61
It includes
* A PDDL pre-processor tool written in C for realizing a polynomial DNF transformation. It works in two modes: ``derived predicates'' or naive transformation.
* Benchmark collection used in the KR21 planning & dl-lite paper. The collection contains several eKAB (original and new) domains, eKAB versions of two WSC domains, and modified PDDL benchmarks.
Notes
This work is supported by DFG grant 389792660, TRR 248 (https://perspicuous-computing.science)
Files
pddl-dllite-benchmarks-master.zip
Additional details
Related works
- Has part
- Software: https://gitlab.perspicuous-computing.science/a.kovtunova/moreflags2 (URL)
- Dataset: https://gitlab.perspicuous-computing.science/m.steinmetz/pddl-dllite-benchmarks (URL)
- Is supplement to
- Conference paper: 10.24963/kr.2021/61 (DOI)