Daniel Höller

Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages

2016 · Proceedings of the International Conference on Automated Planning and Scheduling

From a theoretical perspective, judging the expressivity of planning formalisms helps to understand the relationship of different representations and to infer theoretical properties. From a practical point of view, it is important to be able …

Landmark Generation in HTN Planning

2021 · Proceedings of the AAAI Conference on Artificial Intelligence

Landmarks (LMs) are state features that need to be made true or tasks that need to be contained in every solution of a planning problem. They are a valuable source of information in planning and …