Daniel Höller

I studied Computer Science at Bonn-Rhein-Sieg University from 2007 to 2013 and received my M.Sc. degree in November 2013. From 2009 to 2013 I have been working on Automated Planning at Fraunhofer Institute for Intelligent Analysis and Information Systems in different projects in the fields of Robotics and Multiagent Systems.

I joined the Institute in November 2013. Since then, I am working on Automated Planning and Plan Recognition in the context of the Transregional Collaborative Research Centre SFB/Transregio 62.

You can also find me on DBLP and Google Scholar.

Further Information

  • Research Interests

    I am especially interested in the practical and theoretical aspects of (classical and hierarchical) Planning and related tasks like Plan Explanation, Plan Recognition, Plan Repair and Plan Verification.

  • Professional Activities

    • I was a member of the Program Committee of the ICAPS in 2019
    • Together with Pacal Bercher, Susanne Biundo and Ron Alford, I have organized the First ICAPS Workshop on Hierarchical Planning in 2018
    • I was member of the Program Committee of the ICAPS Workshop on Hierarchical Planning in 2019 and 2018
    • Together with Pacal Bercher, I have given an ICAPS tutorial on HTN Planning in 2018
    • I was reviewer for IJCAI-2019, ICAPS-2019, AAAI-2019, ICAPS-2018, AAAI-2018, IJCAI/ECAI-2018 (co-located), ICAPS-2017, ICAPS-2016, and ICAPS-2015, the ACM Transactions on Intelligent Systems and Technology, and for the German AI Journal
    • I was guest editor of the Special Issue "Companion Technologies" of the German AI Journal in 2016 (Volume 30, Number 1)
  • Teaching

    Ulm University

    • Automated Planning (summer terms 2018, 2017, and 2015)
    • Introduction to Artificial Intelligence (winter terms 2018/19, 2017/18, 2016/17, 2015/16, 2014/15, and 2013/14)
    • Introduction to Computer Science (summer term 2019)
    • Seminars on AI (summer term 2019, winter term 2018/19, summer term 2018, winter term 2017/18, summer term 2017, winter term 2016/17, summer term 2016, winter term 2015/16, summer term 2015, and winter term 2013/14)

    Bonn-Rhein-Sieg University

    • Algebraic and Number-theoretic Foundations of Computer Science (winter term 2012/13)
    • Theoretical Computer Science (winter term 2012/13)
  • Awards

    • The paper A Generic Method to Guide HTN Progression Search with Classical Heuristics by D. Höller, P. Bercher, G. Behnke and S. Biundo won the ICAPS Best Student Paper Award 2018.
      The paper describes an improved progression algorithm and shows how to use heuristics from classical planning to guide the search in HTN planning.
    • The paper Plan and Goal Recognition as HTN Planning by D. Höller, G. Behnke, P. Bercher and S. Biundo won the ICTAI Best Paper Award 2018.
      The paper introduces an approach to transform plan and goal recognition problems into HTN planning problems.
    • The paper Towards a Companion System Incorporating Human Planning Behavior - A Qualitative Analysis of Human Strategies by B. Leichtmann, P. Bercher, D. Höller, G. Behnke, S. Biundo, V. Nitsch, and M. Baumann won the TCTS Best Paper Award 2018 at the 3rd Transdisciplinary Conference Transdisciplinary Conference on Support Technologies.
  • Software

    The PANDA Planning System

    My colleague Gregor Behnke and I are the main developers of the current version of the hierarchical planning system PANDA and its extensions.

Publications

2019

35.
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 2019) , IJCAI , 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Bercher2019HierarchicalPlanningSurvey.pdf
34.
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 2019) , 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019satoptimal.pdf
33.
D. Höller, G. Behnke, P. Bercher, S. Biundo, H. Fiorino, D. Pellier and R. Alford, "HDDL -- A Language to Describe Hierarchical Planning Problems" in Proceedings of the Second ICAPS Workshop on Hierarchical Planning , 2019. pp. 6--14.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019HDDL.pdf
32.
G. Behnke, D. Höller, P. Bercher, S. Biundo, D. Pellier, H. Fiorino and R. Alford, "Hierarchical Planning in the IPC" in Proceedings of the Workshop on the International Planning Competition , 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019HTNIPC.pdf
31.
G. Behnke, D. Höller, P. Bercher and S. Biundo, "More Succinct Grounding of HTN Planning Problems -- Preliminary Results" in Proceedings of the Second ICAPS Workshop on Hierarchical Planning , 2019. pp. 40--48.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019Grounding.pdf
30.
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 2019) , IJCAI , 2019.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Hoeller2019ProgressionHeuristics.pdf
29.
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 2019) , AAAI Press , 2019.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2019/Behnke2019orderchaos.pdf

2018

28.
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 2018) , AAAI 2018 , New Orleans , February 2–7 , AAAI Press , 2018. pp. 6110--6118.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018totSAT.pdf
27.
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 2018) , IEEE Computer Society , 2018. pp. 73--80.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018treeSAT.pdf
26.
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 First ICAPS Workshop on Hierarchical Planning , 2018. pp. 40--47.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Behnke2018partSAT.pdf
25.
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 der dritten transdisziplinären Konferenz "Technische Unterstützungssysteme, die die Menschen wirklich wollen" (engl: Proceedings of the 3rd "Transdisciplinary Conference on Support Technologies"), TCST 2018 , 2018. pp. 89--98.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Leichtmann2018HumanPlanningBehavior.pdf
24.
D. Höller, P. Bercher, G. Behnke and S. Biundo, "HTN Plan Repair Using Unmodified Planning Systems" in Proceedings of the First ICAPS Workshop on Hierarchical Planning , 2018. pp. 26--30.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Repair.pdf
23.
Pascal Bercher and Daniel Höller and Susanne Biundo and Ron Alford, Eds., Proceedings of the 1st ICAPS Workshop on Hierarchical Planning .
http://icaps18.icaps-conference.org/fileadmin/alg/conferences/icaps18/workshops/workshop08/docs/HierarchicalPlanningProceedings.pdf
22.
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 2018) , IEEE Computer Society , 2018. pp. 466--473.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller2018PlanRec.pdf
21.
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 2018) , 2018. pp. 607--613.
http://www.planrec.org/PAIR/PAIR18/Papers/HollerPair18.pdf
20.
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 2018) , AAAI Press , 2018. pp. 114--122.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2018/Hoeller18Progression.pdf
19.
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" , 2018.
DOI: 10.18725/OPARU-11023
https://oparu.uni-ulm.de/xmlui/bitstream/handle/123456789/11080/AssemblyAssistant.pdf

2017

18.
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) , AAAI Press , 2017. pp. 20--28.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke17Verify.pdf
17.
P. Bercher, D. Höller, G. Behnke and S. Biundo, "User-Centered Planning" in Companion Technology -- A Paradigm Shift in Human-Technology Interaction , Susanne Biundo and Andreas Wendemuth, Eds. Springer , 2017 , pp. 79--100.
DOI: 10.1007/978-3-319-43665-4_5
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookUCPlanning.pdf
16.
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 , Susanne Biundo and Andreas Wendemuth, Eds. Springer , 2017 , pp. 485--491.
DOI: 10.1007/978-3-319-43665-4_24
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher2017CompBookHomeTheater.pdf
15.
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 2017) , IEEE , 2017.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Behnke2017Challenge.pdf
14.
P. Bercher, G. Behnke, D. Höller and S. Biundo, "An Admissible HTN Planning Heuristic" in Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017) , IJCAI , 2017. pp. 480--488.
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher17AdmissibleHTNHeuristicPoster.pdf
http://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2017/Bercher17AdmissibleHTNHeuristic.pdf

2016

13.
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 2016) , 26th International Conference on Automated Planning and Scheduling , London , June 12 - 17, 2016 , AAAI Press , 2016. pp. 158--165.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Hoeller16Expressivity.pdf
12.
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 2016) , 26th International Conference on Automated Planning and Scheduling , London , June 12 - 17, 2016 , AAAI Press , 2016. pp. 20--28.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Alford16BoundToPlan.pdf
11.
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 2016) , 26th International Conference on Automated Planning and Scheduling , London , June 12 - 17, 2016 , AAAI Press , 2016. pp. 38--46.
https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.090/Publikationen/2016/Behnke16ChangeThePlan.pdf