Supplementary Material to "Making DL-Lite Planning Practical"
收藏数据链接：
官方服务：
资源简介：
Supplementary material to the paper<br> 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<br> * 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.
提供机构：
Zenodo创建时间：
2023-07-12
