Claudia Grundke

2024

• Gabriele Röger and Claudia Grundke.
  Negated Occurrences of Predicates in PDDL Axiom Bodies.
  In Proceedings of the KI-2024 Workshop on Planning, Scheduling, Design and Configuration (PuK 2024). 2024.
  (Show abstract) (Hide abstract) (PDF) (slides; PDF)
  

  Axioms are a feature of the Planning Domain Definition Language PDDL that can be considered as a generalization of database query languages such as DATALOG. The PDDL standard restricts negative occurrences of predicates in axiom bodies to predicates that are directly set by actions and not derived by axioms. In the literature, authors often deviate from this limitation and only require that the set of axioms is stratifiable. We relate the axioms to fixed point logics to show that this aspect does not affect what queries can be expressed by the axioms.

• 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.