Publications
Filter by author: all ■ Daniel Höller ■ Marcel Schubert ■ Jonas Kück ■ Magnus CunowFilter by topic: all ■ model ■ solve ■ trust ■ other topics
2026
| ■ | [59] | Daniel Höller: Learning Heuristic Functions for HTN Planning. Proceedings of the 40th AAAI Conference on Artificial Intelligence (AAAI), 2026: 36262–36270 (PDF, BibTeX) |
| ■ | [58] | Magnus Cunow, Nicola J. Müller, Timo P. Gros, Gregor Behnke, and Daniel Höller: An Admissible Neuro-Symbolic Landmark Cut Heuristic – Preliminary Results. Proceedings of the ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), 2026 (PDF, BibTeX) |
2025
| ■ | [57] | Pascal Lauer, Álvaro Torralba, Daniel Höller, and Jörg Hoffmann: Continuing the Quest for Polynomial Time Heuristics in PDDL Input Size: Tractable Cases for Lifted h-Add. Proceedings of the 35th International Conference on Automated Planning and Scheduling (ICAPS), 2025: 74–83 (PDF, BibTeX) |
| ■ | [56] | Daniel Höller: Learning Heuristic Functions for HTN Planning. Proceedings of the ICAPS Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning (PRL), 2025 (PDF, BibTeX) |
2024
| ■ | [55] | Daniel Höller: The TOAD System for Totally Ordered HTN Planning. Journal of Artificial Intelligence Research (JAIR) 80: 613–663 (2024) (PDF, BibTeX) |
| ■ | [54] | Timo P. Gros, Nicola J. Müller, Daniel Höller, and Verena Wolf: Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. Principles of Verification: Cycling the Probabilistic Landscape 2024: 18–38 (PDF, BibTeX) |
| ■ | [53] | Timo P. Gros, Nicola J. Müller, Daniel Höller, and Verena Wolf: Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages. Proceedings of the ICAPS workshop on Reliable Data-Driven Planning and Scheduling (RDDPS), 2024 (PDF, BibTeX) |
| ■ | [52] | Marcel Schubert, Julia Wichlacz, and Daniel Höller: Reasonable Landmark Orderings for Lifted Classical Planning. Proceedings of the ICAPS workshop on Heuristics and Search for Domain-Independent Planning (HSDIP), 2024 (PDF, BibTeX) |
| ■ | [51] | Pascal Lauer, Álvaro Torralba, Daniel Höller, and Jörg Hoffmann: A Lifted Backward Computation of h-Add. Proceedings of the ICAPS workshop on Heuristics and Search for Domain-Independent Planning (HSDIP), 2024 (PDF, BibTeX) |
2023
| ■ | [50] | Daniel Höller: Hierarchical Planning – Expressivity Analysis, Solving Techniques, and Problem Compilations. Dissertation Thesis, Ulm University, 2023, ICAPS Best Dissertation Award 2024 (PDF, BibTeX) |
| ■ | [49] | Timo P. Gros, Joschka Groß, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, Nicola J. Müller, Lukas Schaller, and Verena Wolf: DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning – Extended Version. ACM Transactions on Modeling and Computer Simulation (2023) (PDF, BibTeX) |
| ■ | [48] | Julia Wichlacz, Daniel Höller, Daniel Fišer, and Jörg Hoffmann: A Landmark-Cut Heuristic for Lifted Optimal Planning. Proceedings of the 26th European Conference on Artificial Intelligence (ECAI), 2023: 2623–2630 (PDF, BibTeX) |
| ■ | [47] | Daniel Höller: The TOAD System for Totally Ordered HTN Planning in the 2023 IPC. Proceedings of the International Planning Competition (IPC) – Planner Description Papers, 2023 (PDF, BibTeX) |
| ■ | [46] | Daniel Höller: The PANDA λ System for HTN Planning in the 2023 IPC. Proceedings of the International Planning Competition (IPC) – Planner Description Papers, 2023 (PDF, BibTeX) |
| ■ | [45] | Daniel Höller: The PANDA Progression System for HTN Planning in the 2023 IPC. Proceedings of the International Planning Competition (IPC) – Planner Description Papers, 2023 (PDF, BibTeX) |
| ■ | [44] | Conny Olz, Daniel Höller, and Pascal Bercher: The PandaDealer System for Totally Ordered HTN Planning in the 2023 IPC. Proceedings of the International Planning Competition (IPC) – Planner Description Papers, 2023 (PDF, BibTeX) |
2022
| ■ | [43] | Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, and Ron Alford: Making Translations to Classical Planning Competitive with Other HTN Planners. Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI), 2022: 9687–9697 (PDF, BibTeX) |
| ■ | [42] | Daniel Höller and Gregor Behnke: Encoding Lifted Classical Planning in Propositional Logic. Proceedings of the 32nd International Conference on Automated Planning and Scheduling (ICAPS), 2022: 134–144 (PDF, BibTeX) |
| ■ | [41] | Julia Wichlacz, Daniel Höller, and Jörg Hoffmann: Landmark Heuristics for Lifted Classical Planning. Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI), 2022: 4665–4671 (PDF, BibTeX) |
2021
| ■ | [40] | Daniel Höller, Gregor Behnke, Pascal Bercher, and Susanne Biundo: The PANDA Framework for Hierarchical Planning. Künstliche Intelligenz 35: 391–396 (2021) (PDF, BibTeX) |
| ■ | [39] | Daniel Höller and Pascal Bercher: Landmark Generation in HTN Planning. Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI), 2021: 11826–11834 (PDF, BibTeX) |
| ■ | [38] | Daniel Höller: Translating Totally Ordered HTN Planning Problems to Classical Planning Problems Using Regular Approximation of Context-Free Languages. Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS), 2021: 159–167 (PDF, BibTeX) |
| ■ | [37] | Daniel Höller and Gregor Behnke: Loop Detection in the PANDA Planning System. Proceedings of the 31st International Conference on Automated Planning and Scheduling (ICAPS), 2021: 168–173 (PDF, BibTeX) |
| ■ | [36] | Pascal Lauer, Álvaro Torralba, Daniel Fišer, Daniel Höller, Julia Wichlacz, and Jörg Hoffmann: Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. Proceedings of the 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021: 4119–4126 (PDF, BibTeX) |
| ■ | [35] | Timo P. Gros, Daniel Höller, Jörg Hoffmann, Michaela Klauck, Hendrik Meerkamp, and Verena Wolf: DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning. Proceedings of the 18th International Conference on Quantitative Evaluation of SysTems (QEST), 2021: 197–216 (BibTeX) |
| ■ | [34] | Julia Wichlacz, Daniel Höller, and Jörg Hoffmann: Landmark Heuristics for Lifted Planning – Extended Abstract. Proceedings of the 14th International Symposium on Combinatorial Search (SoCS), 2021: 242–244 (PDF, BibTeX) |
| ■ | [33] | Pascal Lauer, Álvaro Torralba, Daniel Fišer, Daniel Höller, Julia Wichlacz, and Jörg Hoffmann: Polynomial-Time in PDDL Input Size: Making the Delete Relaxation Feasible for Lifted Planning. Proceedings of the ICAPS Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP), 2021 (PDF, BibTeX) |
2020
| ■ | [32] | Daniel Höller, Pascal Bercher, Gregor Behnke, and Susanne Biundo: HTN Planning as Heuristic Progression Search. Journal of Artificial Intelligence Research (JAIR) 67: 835–880 (2020) (PDF, BibTeX) |
| ■ | [31] | Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, and Susanne Biundo: On Succinct Groundings of HTN Planning Problems. Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI), 2020: 9775–9784 (PDF, BibTeX) |
| ■ | [30] | Daniel Höller, Pascal Bercher, and Gregor Behnke: Delete- and Ordering-Relaxation Heuristics for HTN Planning. Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI), 2020: 4076–4083 (PDF, BibTeX) |
| ■ | [29] | Daniel Höller, Pascal Bercher, Gregor Behnke, and Susanne Biundo: HTN Plan Repair via Model Transformation. Proceedings of the 43rd German Conference on AI (KI), 2020: 88–101 (PDF, BibTeX) |
| ■ | [28] | Timo P. Gros, Daniel Höller, Jörg Hoffmann, and Verena Wolf: Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. Proceedings of the 17th International Conference on Quantitative Evaluation of SysTems (QEST), 2020: 11–17 (PDF, BibTeX) |
| ■ | [27] | Julia Wichlacz, Daniel Höller, Álvaro Torralba, and Jörg Hoffmann: Applying Monte-Carlo Tree Search in HTN Planning. Proceedings of the 13th International Symposium on Combinatorial Search (SoCS), 2020: 82–90 (PDF, BibTeX) |
| ■ | [26] | Daniel Höller and Pascal Bercher: Landmark Extraction in HTN Planning. Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan), 2020 (PDF, BibTeX) |
| ■ | [25] | Daniel Höller, Pascal Bercher, and Gregor Behnke: Delete- and Ordering-Relaxation Heuristics for HTN Planning. Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan), 2020 (BibTeX) |
| ■ | [24] | Julia Wichlacz, Daniel Höller, Álvaro Torralba, and Jörg Hoffmann: Applying Monte-Carlo Tree Search in HTN Planning. Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan), 2020 (BibTeX) |
2019
| ■ | [23] | Daniel Höller, Pascal Bercher, Gregor Behnke, and Susanne Biundo: On Guiding Search in HTN Planning with Classical Planning Heuristics. Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI), 2019: 6171–6175 (PDF, BibTeX) |
| ■ | [22] | Gregor Behnke, Daniel Höller, and Susanne Biundo: Finding Optimal Solutions in HTN Planning – A SAT-based Approach. Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI), 2019: 5500–5508 (PDF, BibTeX) |
| ■ | [21] | Gregor Behnke, Daniel Höller, and Susanne Biundo: Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-based HTN Planning. Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI), 2019: 7520–7529 (PDF, BibTeX) |
| ■ | [20] | Gregor Behnke, Daniel Höller, Pascal Bercher, and Susanne Biundo: More Succinct Grounding of HTN Planning Problems – Preliminary Results. Proceedings of the 2nd ICAPS Workshop on Hierarchical Planning (HPlan), 2019 (PDF, BibTeX) |
2018
| ■ | [19] | Gregor Behnke, Daniel Höller, and Susanne Biundo: Tracking Branches in Trees – A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2018: 73–80 (PDF, BibTeX) |
| ■ | [18] | Daniel Höller, Pascal Bercher, Gregor Behnke, and Susanne Biundo: A Generic Method to Guide HTN Progression Search with Classical Heuristics. Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS), 2018: 114–122, Best Student Paper Award (PDF, BibTeX) |
| ■ | [17] | Gregor Behnke, Daniel Höller, and Susanne Biundo: totSAT – Totally-Ordered Hierarchical Planning through SAT. Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI), 2018: 6110–6118 (PDF, BibTeX) |
| ■ | [16] | Daniel Höller, Gregor Behnke, Pascal Bercher, and Susanne Biundo: Plan and Goal Recognition as HTN Planning. Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI), 2018: 466–473, Best Paper Award (PDF, BibTeX) |
| ■ | [15] | Daniel Höller, Pascal Bercher, Gregor Behnke, and Susanne Biundo: HTN Plan Repair Using Unmodified Planning Systems. Proceedings of the 1st ICAPS Workshop on Hierarchical Planning (HPlan), 2018: 26–30 (PDF, BibTeX) |
| ■ | [14] | Gregor Behnke, Daniel Höller, and Susanne Biundo: Tracking Branches in Trees – A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems. Proceedings of the 1st ICAPS Workshop on Hierarchical Planning (HPlan), 2018: 40–47 (PDF, BibTeX) |
| ■ | [13] | Daniel Höller, Pascal Bercher, Gregor Behnke, and Susanne Biundo: Plan and Goal Recognition as HTN Planning. Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR), 2018: 607–613 (PDF, BibTeX) |
| ■ | [12] | Pascal Bercher, Felix Richter, Frank Honold, Florian Nielsen, Felix Schüssel, Thomas Geier, Thilo Hörnle, Stephan Reuter, Daniel Höller, Gregor Behnke, Michael Weber, Klaus Dietmayer, Wolfgang Minker, and Susanne Biundo: A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance. (Technical Report), 2018 (PDF, BibTeX) |
2017
| ■ | [11] | Pascal Bercher, Gregor Behnke, Daniel Höller, and Susanne Biundo: An Admissible HTN Planning Heuristic. Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI), 2017: 480–488 (PDF, BibTeX) |
| ■ | [10] | Pascal Bercher, Daniel Höller, Gregor Behnke, and Susanne Biundo: User-Centered Planning. Companion Technology – A Paradigm Shift in Human-Technology Interaction 2017: 79–100 (PDF, BibTeX) |
| ■ | [9] | Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Felix Schüssel, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer, and Susanne Biundo: Advanced User Assistance for Setting Up a Home Theater. Companion Technology – A Paradigm Shift in Human-Technology Interaction 2017: 485–491 (PDF, BibTeX) |
2016
| ■ | [8] | Gregor Behnke, Daniel Höller, Pascal Bercher, and Susanne Biundo: Change the Plan – How hard can that be?. Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS), 2016: 38-46 (PDF, BibTeX) |
| ■ | [7] | Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, and David Aha: Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS), 2016: 20-28 (PDF, BibTeX) |
| ■ | [6] | Pascal Bercher, Daniel Höller, Gregor Behnke, and Susanne Biundo: More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI), 2016: 225-233 (PDF, BibTeX) |
2015
| ■ | [5] | Pascal Bercher, Daniel Höller, Gregor Behnke, and Susanne Biundo: User-Centered Planning – A Discussion on Planning in the Presence of Human Users. Proceedings of the 1st International Symposium on Companion Technology (ISCT), 2015: 79-82 (PDF, BibTeX) |
| ■ | [4] | Gregor Behnke, Daniel Höller, and Susanne Biundo: On the Complexity of HTN Plan Verification and its Implications for Plan Recognition. Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS), 2015: 25-33 (PDF, BibTeX) |
| ■ | [3] | Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, and Susanne Biundo: A Planning-based Assistance System for Setting Up a Home Theater. Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI), 2015: 4264-4265 (PDF, BibTeX) |
2014
| ■ | [2] | Daniel Höller: Plan Recognition as Hierarchical Planning. Doctoral Consortium of the International Conference on Automated Planning and Scheduling (ICAPS DC), 2014 (BibTeX) |
2011
| ■ | [1] | Daniel Höller and Christoph Mies: Integration of a PDDL Planning Framework into the Multi-Agent Simulation System LAMPSys. Proceedings of the 26th PuK Workshop ''Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK), 2011 (PDF, BibTeX) |