On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. Behnke, G., Höller, D., & Biundo, S. In Brafman, R. I., Domshlak, C., Haslum, P., & Zilberstein, S., editors, Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015, pages 25–33, 2015. AAAI Press. Paper bibtex @inproceedings{DBLP:conf/aips/BehnkeHB15,
author = {Gregor Behnke and
Daniel H{\"{o}}ller and
Susanne Biundo},
editor = {Ronen I. Brafman and
Carmel Domshlak and
Patrik Haslum and
Shlomo Zilberstein},
title = {On the Complexity of {HTN} Plan Verification and Its Implications
for Plan Recognition},
booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated
Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,
2015},
pages = {25--33},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10620},
timestamp = {Tue, 26 May 2015 21:03:02 +0200},
biburl = {https://dblp.org/rec/conf/aips/BehnkeHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"buroegEC8Azd9j267","bibbaseid":"behnke-hller-biundo-onthecomplexityofhtnplanverificationanditsimplicationsforplanrecognition-2015","authorIDs":["WEh8ZoA2fqemFAtAj","YGnWJyGWcR9pxijqc","xtiSRBeiTo7R7MSMn"],"author_short":["Behnke, G.","Höller, D.","Biundo, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Gregor"],"propositions":[],"lastnames":["Behnke"],"suffixes":[]},{"firstnames":["Daniel"],"propositions":[],"lastnames":["Höller"],"suffixes":[]},{"firstnames":["Susanne"],"propositions":[],"lastnames":["Biundo"],"suffixes":[]}],"editor":[{"firstnames":["Ronen","I."],"propositions":[],"lastnames":["Brafman"],"suffixes":[]},{"firstnames":["Carmel"],"propositions":[],"lastnames":["Domshlak"],"suffixes":[]},{"firstnames":["Patrik"],"propositions":[],"lastnames":["Haslum"],"suffixes":[]},{"firstnames":["Shlomo"],"propositions":[],"lastnames":["Zilberstein"],"suffixes":[]}],"title":"On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition","booktitle":"Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, ICAPS 2015, Jerusalem, Israel, June 7-11, 2015","pages":"25–33","publisher":"AAAI Press","year":"2015","url":"http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10620","timestamp":"Tue, 26 May 2015 21:03:02 +0200","biburl":"https://dblp.org/rec/conf/aips/BehnkeHB15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aips/BehnkeHB15,\n author = {Gregor Behnke and\n Daniel H{\\\"{o}}ller and\n Susanne Biundo},\n editor = {Ronen I. Brafman and\n Carmel Domshlak and\n Patrik Haslum and\n Shlomo Zilberstein},\n title = {On the Complexity of {HTN} Plan Verification and Its Implications\n for Plan Recognition},\n booktitle = {Proceedings of the Twenty-Fifth International Conference on Automated\n Planning and Scheduling, {ICAPS} 2015, Jerusalem, Israel, June 7-11,\n 2015},\n pages = {25--33},\n publisher = {{AAAI} Press},\n year = {2015},\n url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10620},\n timestamp = {Tue, 26 May 2015 21:03:02 +0200},\n biburl = {https://dblp.org/rec/conf/aips/BehnkeHB15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Behnke, G.","Höller, D.","Biundo, S."],"editor_short":["Brafman, R. I.","Domshlak, C.","Haslum, P.","Zilberstein, S."],"key":"DBLP:conf/aips/BehnkeHB15","id":"DBLP:conf/aips/BehnkeHB15","bibbaseid":"behnke-hller-biundo-onthecomplexityofhtnplanverificationanditsimplicationsforplanrecognition-2015","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10620"},"downloads":0},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/150/5955.bib","creationDate":"2020-04-16T06:31:03.940Z","downloads":0,"keywords":[],"search_terms":["complexity","htn","plan","verification","implications","plan","recognition","behnke","höller","biundo"],"title":"On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition","year":2015,"dataSources":["GEcCYSyjitjDHeMJm"]}