Author of the publication

Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.

, , , , , and . ICAPS, page 20-28. AAAI Press, (2016)

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

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)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)On Succinct Groundings of HTN Planning Problems., , , , and . AAAI, page 9775-9784. AAAI Press, (2020)On Guiding Search in HTN Planning with Classical Planning Heuristics., , , and . IJCAI, page 6171-6175. ijcai.org, (2019)Evaluating Knowledge-Based Assistance for DIY., , , , , , , , and . MuC (Workshopband), Gesellschaft für Informatik e.V., (2018)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)