Supplementary Material to "Making DL-Lite Planning Practical"

DOI10.5281/zenodo.8139171Zenodo8139171MaRDI QIDQ6715883FDOQ6715883

Dataset published at Zenodo repository.

Jörg Hoffmann, Marcel Steinmetz, Stefan Borgwardt, Alisa Kovtunova

Publication date: 3 November 2021

Copyright license: Creative Commons Attribution 4.0 International

Description

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.

This page was built for dataset: Supplementary Material to "Making DL-Lite Planning Practical"