D. Höller. The TOAD System for Totally Ordered HTN Planning. Journal of Artificial Intelligence Research 80: pp. 613–663 (2024). (PDF)
T. Gros, J. Groß, D. Höller, J. Hoffmann, M. Klauck, H. Meerkamp, N. Müller, L. Schaller, V. Wolf.
DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning – Extended Version. ACM Transactions on Modeling and Computer Simulation (2023). (online)
D. Höller, P. Bercher, G. Behnke, and S. Biundo. HTN Planning as Heuristic Progression Search. Journal of Artificial Intelligence Research 67: pp. 835–880 (2020). (PDF)
S. Biundo, D. Höller, B. Schattenberg, and P. Bercher. Companion-Technology: An Overview. Künstliche Intelligenz 30(1): pp. 11–20 (2016). (PDF)
M. Steinmetz,
S. Thiébaux,
D. Höller, and
F. Teichteil-Königsbuch.
Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. In: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2024. (online)
J. Eisenhut,
X. Schuler,
D. Fišer,
D. Höller,
M. Christakis, and
J. Hoffmann.
New Fuzzing Biases for Action Policy Testing. In: Proceedings of the 34th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2024. (online)
S. Lin,
D. Höller, and
P. Bercher.
Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions. In: Proceedings of the 17th International Symposium on Combinatorial Search (SoCS), Best Student Paper Award. AAAI Press, 2024. (online)
2023
J. Wichlacz,
D. Höller,
D. Fišer, and
J. Hoffmann.
A Landmark-Cut Heuristic for Lifted Optimal Planning. In: Proceedings of the 26th European Conference on Artificial Intelligence (ECAI). IOS Press, 2023. (online)
2022
G. Behnke,
F. Pollitt,
D. Höller,
P. Bercher, and
R. Alford.
Making Translations to Classical Planning Competitive With Other HTN Planners.
In: Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI). AAAI Press, 2022. (PDF)
D. Höller and G. Behnke. Encoding Lifted Classical Planning in Propositional Logic. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2022. (PDF)
D. Höller, J. Wichlacz, P. Bercher, and G. Behnke. Compiling HTN Plan Verification Problems into HTN Planning Problems. In: Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2022. (PDF)
J. Wichlacz, D. Höller, and J. Hoffmann. Landmark Heuristics for Lifted Classical Planning. In: Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI). IJCAI organization, 2022. (PDF)
2021
T. Gros, D. Höller, J. Hoffmann, M. Klauck, H. Meerkamp, and V. Wolf. DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. In: Proceedings of the 18th International Conference on Quantitative Evaluation of SysTems (QEST). Springer, 2021. (PDF)
D. Höller. Translating Totally Ordered HTN Planning Problems to Classical Planning Problems Using Regular Approximation of Context-Free Languages. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2021. (PDF, BibTeX)
D. Höller and G. Behnke. Loop Detection in the PANDA Planning System. In: Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2021. (PDF, BibTeX)
D. Höller and P. Bercher. Landmark Generation in HTN Planning. In: Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI). AAAI Press, 2021. (PDF, BibTeX)
P. Lauer, A. Torralba, D. Fiser, D. Höller, J. Wichlacz, and J. Hoffmann. Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. In: Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI). IJCAI organization, 2021. (PDF)
J. Wichlacz, D. Höller, and J. Hoffmann. Landmark Heuristics for Lifted Planning – Extended Abstract. In: Proceedings of the 13th International Symposium on Combinatorial Search (SoCS). AAAI Press, 2021. (PDF)
2020
G. Behnke, D. Höller, A. Schmid, P. Bercher, and S. Biundo. On Succinct Groundings of HTN Planning Problems. In: Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI). AAAI Press, 2020, pp. 9775–9784. (PDF)
T. Gros, D. Höller, J. Hoffmann, and V. Wolf. Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. In: Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST). Springer, 2020. (PDF)
D. Höller, P. Bercher, and G. Behnke. Delete- and Ordering-Relaxation Heuristics for HTN Planning. In: Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI). IJCAI organization, 2020, pp. 4076–4083. (PDF, BibTeX)
D. Höller, P. Bercher, G. Behnke, and S. Biundo. HTN Plan Repair via Model Transformation. In: Proceedings of the 43rd German Conference on Artificial Intelligence (KI), shortlisted for Best Paper Award (3rd place). Springer, 2020, pp. 88–101. (PDF, BibTeX)
A. Köhn, J. Wichlacz, A. Torralba, D. Höller, J. Hoffmann, and A. Koller. Generating Instructions at Different Levels of Abstraction. In: Proceedings of the 28th International Conference on Computational Linguistics (COLING). Association for Computational Linguistics, 2020. (PDF)
J. Wichlacz, D. Höller, A. Torralba, and J. Hoffmann. Applying Monte-Carlo Tree Search in HTN Planning. In: Proceedings of the 13th International Symposium on Combinatorial Search (SoCS). AAAI Press, 2020, pp. 82–90. (PDF, BibTeX)
2019
G. Behnke, D. Höller, and S. Biundo. Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-based HTN Planning. In: Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI). AAAI Press, 2019, pp. 7520–7529. (PDF)
G. Behnke, D. Höller, and S. Biundo. Finding Optimal Solutions in HTN Planning – A SAT-based Approach. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI). IJCAI organization, 2019, pp. 5500–5508. (PDF)
P. Bercher, R. Alford, and D. Höller. A Survey on Hierarchical Planning – One Abstract Idea, Many Concrete Realizations. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI). IJCAI organization, 2019, pp. 6267–6275. (PDF)
D. Höller, P. Bercher, G. Behnke, and S. Biundo. On Guiding Search in HTN Planning with Classical Planning Heuristics. In: Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI). IJCAI organization, 2019, pp. 6171–6175. (PDF)
2018
G. Behnke, D. Höller, and S. Biundo. totSAT – Totally-Ordered Hierarchical Planning through SAT. In: Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI). AAAI Press, 2018, pp. 6110–6118. (PDF)
G. Behnke, D. Höller, and S. Biundo. Tracking Branches in Trees – A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. In: Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI). IEEE Computer Society, 2018, pp. 73–80. (PDF)
D. Höller, G. Behnke, P. Bercher, and S. Biundo. Plan and Goal Recognition as HTN Planning. In: Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), Best Paper Award. IEEE Computer Society, 2018, pp. 466–473. (PDF)
D. Höller, P. Bercher, G. Behnke, and S. Biundo. A Generic Method to Guide HTN Progression Search with Classical Heuristics. In: Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS), Best Student Paper Award. AAAI Press, 2018, pp. 114–122. (PDF)
B. Leichtmann, P. Bercher, D. Höller, G. Behnke, S. Biundo, V. Nitsch, and M. Baumann. Towards a Companion System Incorporating Human Planning Behavior – A Qualitative Analysis of Human Strategies. In: Proceedings of the 3rd Proceedings of the 3rd Transdisciplinary Conference on Support Technologies (TCST), Best Paper Award. 2018. (PDF)
2017
G. Behnke, D. Höller, and S. Biundo. This is a solution! (... but is it though?) – Verifying solutions of hierarchical planning problems. In: Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS). 2017, pp. 20–28. (PDF)
G. Behnke, B. Leichtmann, P. Bercher, D. Höller, V. Nitsch, M. Baumann, and S. Biundo. Help me make a dinner! Challenges when assisting humans in action planning. In: Proceedings of the 2nd International Conference on Companion Technology (ICCT). IEEE, 2017. (PDF)
P. Bercher, G. Behnke, D. Höller, and S. Biundo. An Admissible HTN Planning Heuristic. In: Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI). AAAI Press, 2017, pp. 480–488. (PDF)
2016
R. Alford, G. Behnke, D. Höller, P. Bercher, S. Biundo, and D. Aha.Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2016, pp. 20–28. (PDF)
G. Behnke, D. Höller, P. Bercher, and S. Biundo. Change the Plan – How hard can that be? In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2016, pp. 38–46. (PDF)
P. Bercher, D. Höller, G. Behnke, and S. Biundo. More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. In: Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI). IOS Press, 2016, pp. 225–233. (PDF)
D. Höller, G. Behnke, P. Bercher, and S. Biundo. Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. In: Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2016, pp. 158–165. (PDF)
2015
G. Behnke, D. Höller, and S. Biundo. On the Complexity of HTN Plan Verification and its Implications for Plan Recognition. In: Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press, 2015, pp. 25–33. (PDF)
P. Bercher, D. Höller, G. Behnke, and S. Biundo. User-Centered Planning – A Discussion on Planning in the Presence of Human Users. In: Proceedings of the 1st International Symposium on Companion Technology (ISCT). 2015, pp. 79–82. (PDF)
P. Bercher, F. Richter, T. Hörnle, T. Geier, D. Höller, G. Behnke, F. Nothdurft, F. Honold, W. Minker, M. Weber, and S. Biundo. A Planning-based Assistance System for Setting Up a Home Theater. In: Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI). AAAI Press, 2015, pp. 4264–4265. (PDF)
2014
D. Höller, G. Behnke, P. Bercher, and S. Biundo. Language Classification of Hierarchical Planning Problems. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI). IOS Press, 2014, pp. 447–452. (PDF)
Workshop Papers (Peer-reviewed)
2023
X. Schuler, J. Eisenhut, D. Höller, D. Fiser, J. Hoffmann. Action Policy Testing with Heuristic-Based Bias Functions. In: Proceedings of the 2nd ICAPS Workshop on Reliable Data-Driven Planning and Scheduling (RDDPS). 2023.
2021
D. Höller, J. Wichlacz, P. Bercher, and G. Behnke. Compiling HTN Plan Verification Problems into HTN Planning Problems. In: Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan). 2021.
P. Lauer, A. Torralba, D. Fiser, D. Höller, J. Wichlacz, and J. Hoffmann. Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. In: Proceedings of the ICAPS Workshop on Heuristics and Search for Domain-independent Planning (HSDIP). 2021.
M. Steinmetz, T. Gros, P. Heim, D. Höller, and J. Hoffmann. Debugging a Policy: A Framework for Automatic Action Policy Testing. In: Proceedings of the ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL). 2021.
2020
D. Höller and P. Bercher. Landmark Extraction in HTN Planning. In: Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan). 2020.
D. Höller, P. Bercher, and G. Behnke. Delete- and Ordering-Relaxation Heuristics for HTN Planning. In: Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan). 2020.
J. Wichlacz, D. Höller, A. Torralba, and J. Hoffmann. Applying Monte-Carlo Tree Search in HTN Planning. In: Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan). 2020.
2019
G. Behnke, D. Höller, P. Bercher, and S. Biundo. More Succinct Grounding of HTN Planning Problems – Preliminary Results. In: Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning (HPlan). 2019. (PDF)
G. Behnke, D. Höller, and S. Biundo. Tracking Branches in Trees – A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. In: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning (HPlan). 2018, pp. 40–47. (PDF)
D. Höller, P. Bercher, G. Behnke, and S. Biundo. HTN Plan Repair Using Unmodified Planning Systems. In: Proceedings of the 1st ICAPS Workshop on Hierarchical Planning (HPlan). 2018, pp. 26–30. (PDF)
D. Höller, P. Bercher, G. Behnke, and S. Biundo. Plan and Goal Recognition as HTN Planning. In: Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR). AAAI Press, 2018, pp. 607–613. (PDF)
Book Chapters
P. Bercher, D. Höller, G. Behnke, and S. Biundo. User-Centered Planning. In: Companion Technology – A Paradigm Shift in Human-Technology Interaction. Cognitive Technologies. Springer, 2017. Chap. 5, pp. 79–100. (PDF)
P. Bercher, F. Richter, T. Hörnle, T. Geier, D. Höller, G. Behnke, F. Nielsen, F. Honold, F. Schüssel, S. Reuter, W. Minker, M. Weber, K. Dietmayer, and S. Biundo. Advanced User Assistance for Setting Up a Home Theater. In: Companion Technology – A Paradigm Shift in Human-Technology Interaction. Cognitive Technologies. Springer, 2017. Chap. 24, pp. 485–491. (PDF)
Other Publications
D. Höller. Hierarchical Planning – Expressivity Analysis, Solving Techniques, and Problem Compilations. Dissertation thesis, ICAPS 2024 Best Dissertation Award, 2023. (online)
D. Höller. The TOAD System for Totally Ordered HTN Planning in the 2023 IPC. In: Planner Description Papers, IPC. 2023. (PDF, BibTeX)
D. Höller. The PANDA λ System for HTN Planning in the 2023 IPC. In: Planner Description Papers, IPC. 2023. (PDF, BibTeX)
D. Höller. The PANDA Progression System for HTN Planning in the 2023 IPC. In: Planner Description Papers, IPC. 2023. (PDF, BibTeX)
C. Olz, D. Höller, and P. Bercher. The PANDADealer System for HTN Planning in the 2023 IPC. In: Planner Description Papers, IPC. 2023. (PDF, BibTeX)
T. Gros, D. Höller, J. Hoffmann, and V. Wolf. Tracking the Race Between Deep Reinforcement Learning and Imitation Learning – Extended Version. arXiv, 2020 (PDF).
P. Bercher, F. Richter, F. Honold, F. Nielsen, F. Schüssel, T. Geier, T. Hörnle, S. Reuter, D. Höller, G. Behnke, M. Weber, K. Dietmayer, W. Minker, and S. Biundo. A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance. Technical Report. Ulm University, 2018. (PDF)
P. Bercher and D. Höller. Interview with David E. Smith. In: Künstliche Intelligenz 30.1 (2016), pp. 101–105. (PDF)
S. Biundo, D. Höller, and P. Bercher, eds. Künstliche Intelligenz – Special Issue on Companion Technologies. Vol. 30. 1. Springer, 2016. (PDF)
D. Höller, P. Bercher, F. Richter, M. Schiller, T. Geier, and S. Biundo. Finding User-friendly Linearizations of Partially Ordered Plans. In: Proceedings of the 28th PuK Workshop Planen, Scheduling und Konfigurieren, Entwerfen (PuK). 2014. (PDF)
D. Höller and C. Mies. Integration of a PDDL Planning Framework into the Multi-Agent Simulation System LAMPSys. In: Proceedings of the 26th PuK Workshop Planen, Scheduling und Konfigurieren, Entwerfen (PuK). 2011. (PDF)
