@inproceedings{9c156ad6ea2b4c2399d28e7cd5b790d9,
title = "Correcting Hierarchical Plans by Action Deletion",
abstract = "Hierarchical task network (HTN) planning is a model-based approach to planning. The HTN domain model consists of tasks and methods to decompose them into subtasks until obtaining primitive tasks (actions). There are recent methods for verifying if a given action sequence is a valid HTN plan. However, if the plan is invalid, all existing verification methods only say so without explaining why the plan is invalid. In the paper, we propose a method that corrects a given action sequence to form a valid HTN plan by deleting the minimal number of actions. This plan correction explains what is wrong with a given action sequence concerning the HTN domain model.",
author = "Roman Bart{\'a}k and Simona Ondr{\v c}kov{\'a} and Gregor Behnke and Pascal Bercher",
note = "Publisher Copyright: Copyright {\textcopyright} 2021, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021 ; Conference date: 03-11-2021 Through 12-11-2021",
year = "2021",
doi = "10.24963/kr.2021/10",
language = "English",
series = "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021",
publisher = "International Joint Conferences on Artificial Intelligence Organization (IJCAI Organization)",
pages = "99--109",
editor = "Meghyn Bienvenu and Gerhard Lakemeyer and Esra Erdem",
booktitle = "Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021",
}