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

Hierarchical Planning in the IPC., , , , , , and . CoRR, (2019)Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans., , , and . FLAIRS, AAAI Press, (2023)New Developments for Robert - Assisting Novice Users Even Better in DIY Projects., , , , , , , , , and 2 other author(s). ICAPS, page 343-347. AAAI Press, (2020)Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life., , , , , , , , , and . Künstliche Intell., 35 (3): 367-375 (2021)On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition., , and . ICAPS, page 25-33. AAAI Press, (2015)X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism., and . Inteligencia Artif., 21 (62): 75-90 (2018)Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling., , , , , and . AI Mag., 42 (1): 83-85 (2021)On Succinct Groundings of HTN Planning Problems., , , , and . AAAI, page 9775-9784. AAAI Press, (2020)Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning., , and . AAAI, page 7520-7529. AAAI Press, (2019)Making Translations to Classical Planning Competitive with Other HTN Planners., , , , and . AAAI, page 9687-9697. AAAI Press, (2022)