Supplementary Material to "Making DL-Lite Planning Practical" (Q6715883)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Supplementary Material to "Making DL-Lite Planning Practical" |
Dataset published at Zenodo repository.
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Supplementary Material to "Making DL-Lite Planning Practical" |
Dataset published at Zenodo repository. |
Statements
Supplementary material to the paper Stefan Borgwardt, Jrg 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.
0 references
3 November 2021
0 references
