Supplementary Material to "Making DL-Lite Planning Practical"
收藏NIAID Data Ecosystem2026-05-01 收录
下载链接：
https://zenodo.org/record/8139076
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2023-07-12
