@InProceedings{Bartak2021PlanCorrections,
  author                    = {Roman Bart{\'a}k and Simona Ondr\v{c}kov\'{a} and Gregor Behnke and Pascal Bercher},
  title                     = {Correcting Hierarchical Plans by Action Deletion},
  booktitle                 = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)},
  year                      = {2021},
  publisher                 = {IJCAI},
  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.},
  pages                     = {99--109},
  doi                       = {10.24963/kr.2021/10},
  url_Paper                 = {https://bercher.net/publications/2021/Bartak2021PlanCorrections.pdf},
  url_video_of_presentation = {https://www.youtube.com/watch?v=GQoRxilDKfQ},
  keywords                  = {conference}
}

{"_id":"8ZFn7DX3495pLFP5n","bibbaseid":"bartk-ondrkov-behnke-bercher-correctinghierarchicalplansbyactiondeletion-2021","author_short":["Barták, R.","Ondrčková, S.","Behnke, G.","Bercher, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Roman"],"propositions":[],"lastnames":["Barták"],"suffixes":[]},{"firstnames":["Simona"],"propositions":[],"lastnames":["Ondrčková"],"suffixes":[]},{"firstnames":["Gregor"],"propositions":[],"lastnames":["Behnke"],"suffixes":[]},{"firstnames":["Pascal"],"propositions":[],"lastnames":["Bercher"],"suffixes":[]}],"title":"Correcting Hierarchical Plans by Action Deletion","booktitle":"Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)","year":"2021","publisher":"IJCAI","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.","pages":"99–109","doi":"10.24963/kr.2021/10","url_paper":"https://bercher.net/publications/2021/Bartak2021PlanCorrections.pdf","url_video_of_presentation":"https://www.youtube.com/watch?v=GQoRxilDKfQ","keywords":"conference","bibtex":"@InProceedings{Bartak2021PlanCorrections,\n author = {Roman Bart{\\'a}k and Simona Ondr\\v{c}kov\\'{a} and Gregor Behnke and Pascal Bercher},\n title = {Correcting Hierarchical Plans by Action Deletion},\n booktitle = {Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021)},\n year = {2021},\n publisher = {IJCAI},\n 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.},\n pages = {99--109},\n doi = {10.24963/kr.2021/10},\n url_Paper = {https://bercher.net/publications/2021/Bartak2021PlanCorrections.pdf},\n url_video_of_presentation = {https://www.youtube.com/watch?v=GQoRxilDKfQ},\n keywords = {conference}\n}\n\n","author_short":["Barták, R.","Ondrčková, S.","Behnke, G.","Bercher, P."],"key":"Bartak2021PlanCorrections","id":"Bartak2021PlanCorrections","bibbaseid":"bartk-ondrkov-behnke-bercher-correctinghierarchicalplansbyactiondeletion-2021","role":"author","urls":{" paper":"https://bercher.net/publications/2021/Bartak2021PlanCorrections.pdf"," video of presentation":"https://www.youtube.com/watch?v=GQoRxilDKfQ"},"keyword":["conference"],"metadata":{"authorlinks":{}},"downloads":2},"bibtype":"inproceedings","biburl":"https://bercher.net/bibtex/bibliography.bib","dataSources":["wYF8yPQT6a4TgShWe","bPpsmYWjffAy6QHP5"],"keywords":["conference"],"search_terms":["correcting","hierarchical","plans","action","deletion","barták","ondrčková","behnke","bercher"],"title":"Correcting Hierarchical Plans by Action Deletion","year":2021,"downloads":2}