Claudia Grundke

Claudia Grundke

Address

Department of Mathematics and Computer Science
Spiegelgasse 5
CH - 4051 Basel, Switzerland

Room

04.001

Email

claudia.grundke@unibas.ch

Phone

+41 61 207 05 40

Awards

Publications

(Show all abstracts) (Hide all abstracts)

2024

Claudia Grundke, Gabriele Röger and Malte Helmert.
Formal Representations of Classical Planning Domains.
In Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS 2024), pp. 239-248. 2024.
(Show abstract) (Hide abstract) (PDF) (slides; PDF) (poster; PDF)

Planning domains are an important notion, e.g. when it comes to restricting the input for generalized planning or learning approaches. However, domains as specified in PDDL cannot fully capture the intuitive understanding of a planning domain. We close this semantic gap and propose using PDDL axioms to characterize the (typically infinite) set of legal tasks of a domain. A minor extension makes it possible to express all properties that can be determined in polynomial time. We demonstrate the suitability of the approach on established domains from the International Planning Competition.