%0 Conference Paper %1 conf/aips/BehnkeHB15 %A Behnke, Gregor %A Höller, Daniel %A Biundo, Susanne %B ICAPS %D 2015 %E Brafman, Ronen I. %E Domshlak, Carmel %E Haslum, Patrik %E Zilberstein, Shlomo %I AAAI Press %K dblp %P 25-33 %T On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition. %U http://dblp.uni-trier.de/db/conf/aips/icaps2015.html#BehnkeHB15 %@ 978-1-57735-731-5

@inproceedings{conf/aips/BehnkeHB15, added-at = {2015-05-26T00:00:00.000+0200}, author = {Behnke, Gregor and Höller, Daniel and Biundo, Susanne}, biburl = {https://www.bibsonomy.org/bibtex/2c56fe2cbc501a7500776c8f7dd3799e8/dblp}, booktitle = {ICAPS}, crossref = {conf/aips/2015}, editor = {Brafman, Ronen I. and Domshlak, Carmel and Haslum, Patrik and Zilberstein, Shlomo}, ee = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS15/paper/view/10620}, interhash = {70dda4f602368c84370176aa54e4610d}, intrahash = {c56fe2cbc501a7500776c8f7dd3799e8}, isbn = {978-1-57735-731-5}, keywords = {dblp}, pages = {25-33}, publisher = {AAAI Press}, timestamp = {2015-06-18T20:46:57.000+0200}, title = {On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.}, url = {http://dblp.uni-trier.de/db/conf/aips/icaps2015.html#BehnkeHB15}, year = 2015 }