@InProceedings{Lin2023TOVerification,
  author     = {Songtuan Lin and Gregor Behnke and Simona Ondr\v{c}kov{\'{a}} and Roman Bart{\'{a}}k and Pascal Bercher},
  booktitle  = {Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023)},
  title      = {On Total-Order HTN Plan Verification with Method Preconditions -- An Extension of the CYK Parsing Algorithm},
  year       = {2023},
  pages      = {12041--12048},
  publisher  = {AAAI Press},
  abstract   = {In this paper, we consider the plan verification problem for totally ordered (TO) HTN planning. The problem is proved to be solvable in polynomial time by recognizing its connection to the membership decision problem for context-free grammars. Currently, most HTN plan verification approaches do not have special treatments for the TO configuration, and the only one features such an optimization still relies on an exhaustive search. Hence, we will develop a new TOHTN plan verification approach in this paper by extending the standard CYK parsing algorithm which acts as the best decision procedure in general.},
  doi        = {10.1609/aaai.v37i10.26420},
  url_Paper  = {https://bercher.net/publications/2023/Lin2023TOVerification.pdf},
  url_Poster = {https://bercher.net/publications/2023/Lin2023TOVerificationPoster.pdf},
  url_Slides = {https://bercher.net/publications/2023/Lin2023TOVerificationSlides.pdf},
  url_zenodo = {https://zenodo.org/records/7704558},
  keywords   = {conference}
}

{"_id":"3jpuQQGAiQvjy8rcb","bibbaseid":"lin-behnke-ondrkov-bartk-bercher-ontotalorderhtnplanverificationwithmethodpreconditionsanextensionofthecykparsingalgorithm-2023","author_short":["Lin, S.","Behnke, G.","Ondrčková, S.","Barták, R.","Bercher, P."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Songtuan"],"propositions":[],"lastnames":["Lin"],"suffixes":[]},{"firstnames":["Gregor"],"propositions":[],"lastnames":["Behnke"],"suffixes":[]},{"firstnames":["Simona"],"propositions":[],"lastnames":["Ondrčková"],"suffixes":[]},{"firstnames":["Roman"],"propositions":[],"lastnames":["Barták"],"suffixes":[]},{"firstnames":["Pascal"],"propositions":[],"lastnames":["Bercher"],"suffixes":[]}],"booktitle":"Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023)","title":"On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm","year":"2023","pages":"12041–12048","publisher":"AAAI Press","abstract":"In this paper, we consider the plan verification problem for totally ordered (TO) HTN planning. The problem is proved to be solvable in polynomial time by recognizing its connection to the membership decision problem for context-free grammars. Currently, most HTN plan verification approaches do not have special treatments for the TO configuration, and the only one features such an optimization still relies on an exhaustive search. Hence, we will develop a new TOHTN plan verification approach in this paper by extending the standard CYK parsing algorithm which acts as the best decision procedure in general.","doi":"10.1609/aaai.v37i10.26420","url_paper":"https://bercher.net/publications/2023/Lin2023TOVerification.pdf","url_poster":"https://bercher.net/publications/2023/Lin2023TOVerificationPoster.pdf","url_slides":"https://bercher.net/publications/2023/Lin2023TOVerificationSlides.pdf","url_zenodo":"https://zenodo.org/records/7704558","keywords":"conference","bibtex":"@InProceedings{Lin2023TOVerification,\n author = {Songtuan Lin and Gregor Behnke and Simona Ondr\\v{c}kov{\\'{a}} and Roman Bart{\\'{a}}k and Pascal Bercher},\n booktitle = {Proceedings of the 37th AAAI Conference on Artificial Intelligence (AAAI 2023)},\n title = {On Total-Order HTN Plan Verification with Method Preconditions -- An Extension of the CYK Parsing Algorithm},\n year = {2023},\n pages = {12041--12048},\n publisher = {AAAI Press},\n abstract = {In this paper, we consider the plan verification problem for totally ordered (TO) HTN planning. The problem is proved to be solvable in polynomial time by recognizing its connection to the membership decision problem for context-free grammars. Currently, most HTN plan verification approaches do not have special treatments for the TO configuration, and the only one features such an optimization still relies on an exhaustive search. Hence, we will develop a new TOHTN plan verification approach in this paper by extending the standard CYK parsing algorithm which acts as the best decision procedure in general.},\n doi = {10.1609/aaai.v37i10.26420},\n url_Paper = {https://bercher.net/publications/2023/Lin2023TOVerification.pdf},\n url_Poster = {https://bercher.net/publications/2023/Lin2023TOVerificationPoster.pdf},\n url_Slides = {https://bercher.net/publications/2023/Lin2023TOVerificationSlides.pdf},\n url_zenodo = {https://zenodo.org/records/7704558},\n keywords = {conference}\n}\n\n","author_short":["Lin, S.","Behnke, G.","Ondrčková, S.","Barták, R.","Bercher, P."],"key":"Lin2023TOVerification","id":"Lin2023TOVerification","bibbaseid":"lin-behnke-ondrkov-bartk-bercher-ontotalorderhtnplanverificationwithmethodpreconditionsanextensionofthecykparsingalgorithm-2023","role":"author","urls":{" paper":"https://bercher.net/publications/2023/Lin2023TOVerification.pdf"," poster":"https://bercher.net/publications/2023/Lin2023TOVerificationPoster.pdf"," slides":"https://bercher.net/publications/2023/Lin2023TOVerificationSlides.pdf"," zenodo":"https://zenodo.org/records/7704558"},"keyword":["conference"],"metadata":{"authorlinks":{}},"downloads":33},"bibtype":"inproceedings","biburl":"https://bercher.net/bibtex/bibliography.bib","dataSources":["WvkzCyK6mKXCp2WFz","zKgS72cAu6Ez7npdh","bPpsmYWjffAy6QHP5","wYF8yPQT6a4TgShWe"],"keywords":["conference"],"search_terms":["total","order","htn","plan","verification","method","preconditions","extension","cyk","parsing","algorithm","lin","behnke","ondrčková","barták","bercher"],"title":"On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm","year":2023,"downloads":33}