Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems., , , , , and . ICAPS, page 20-28. AAAI Press, (2016)Making Hybrid Plans More Clear to Human Users - A Formal Approach for Generating Sound Explanations., , , and . ICAPS, AAAI, (2012)More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks., , , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 225-233. IOS Press, (2016)A Unifying Framework for Hybrid Planning and Scheduling., and . KI, volume 4314 of Lecture Notes in Computer Science, page 361-373. Springer, (2006)On the Construction and Evaluation of Flexible Plan-Refinement Strategies., , and . KI, volume 4667 of Lecture Notes in Computer Science, page 367-381. Springer, (2007)The Interplay of User-Centered Dialog Systems and AI Planning., , , , and . SIGDIAL Conference, page 344-353. The Association for Computer Linguistics, (2015)Automated Synthesis of Recursive Algorithms as a Theorem Proving Tool.. ECAI, page 553-558. Pitmann Publishing, London, (1988)totSAT - Totally-Ordered Hierarchical Planning Through SAT., , and . AAAI, page 6110-6118. AAAI Press, (2018)On Stacking Probabilistic Temporal Models with Bidirectional Information Flow., , , , and . Probabilistic Graphical Models, volume 52 of JMLR Workshop and Conference Proceedings, page 195-206. JMLR.org, (2016)A Multimodal Dialogue Framework for Cloud-Based Companion Systems., , , , , , and . IWSDS, volume 579 of Lecture Notes in Electrical Engineering, page 405-410. Springer, (2018)