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.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
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)
Herausgeber: AAAI Press,
2019
34.
pdf
Behnke, Gregor; Höller, Daniel; Bercher, Pascal; Biundo, Susanne
More Succinct Grounding of HTN Planning Problems -- Preliminary Results
Proceedings of the Second ICAPS Workshop on Hierarchical Planning
2019
33.
pdf
Höller, Daniel; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne; Fiorino, Humbert; Pellier, Damien; Alford, Ron
HDDL - A Language to Describe Hierarchical Planning Problems
Proceedings of the Second ICAPS Workshop on Hierarchical Planning
2019
32.
pdf
Behnke, Gregor; Höller, Daniel; Bercher, Pascal; Biundo, Susanne; Pellier, Damien; Fiorino, Humbert; Alford, Ron
Hierarchical Planning in the IPC
Proceedings of the Workshop on the International Planning Competition
2019
31.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
Finding Optimal Solutions in HTN Planning - A SAT-based Approach
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
2019
30.
pdf
Bercher, Pascal; Alford, Ron; Höller, Daniel
A Survey on Hierarchical Planning -- One Abstract Idea, Many Concrete Realizations
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
Herausgeber: IJCAI,
2019
29.
pdf
Höller, Daniel; Bercher, Pascal; Behnke, Gregor; Biundo, Susanne
On Guiding Search in HTN Planning with Classical Planning Heuristics
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019)
Herausgeber: IJCAI,
2019

2018

28.
pdf
Bercher, Pascal; Höller, Daniel; Biundo, Susanne; Alford, Ron
Proceedings of the 1st ICAPS Workshop on Hierarchical Planning
In Pascal Bercher and Daniel Höller and Susanne Biundo and Ron Alford, Editor,
2018
27.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
totSAT - Totally-Ordered Hierarchical Planning through SAT
Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018) , Seite 6110--6118.
Herausgeber: AAAI Press,
2018
26.
pdf
Höller, Daniel; Bercher, Pascal; Behnke, Gregor; Biundo, Susanne
Plan and Goal Recognition as HTN Planning
Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018) , Seite 607--613.
2018
25.
pdf
Höller, Daniel; Bercher, Pascal; Behnke, Gregor; Biundo, Susanne
A Generic Method to Guide HTN Progression Search with Classical Heuristics
Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018) , Seite 114--122.
Herausgeber: AAAI Press,
2018
24.
pdf
Höller, Daniel; Bercher, Pascal; Behnke, Gregor; Biundo, Susanne
HTN Plan Repair Using Unmodified Planning Systems
Proceedings of the First ICAPS Workshop on Hierarchical Planning , Seite 26--30.
2018
23.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems
Proceedings of the First ICAPS Workshop on Hierarchical Planning , Seite 40--47.
2018
22.
pdf
Leichtmann, Benedikt; Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne; Nitsch, Verena; Baumann, Martin
Towards a Companion System Incorporating Human Planning Behavior -- A Qualitative Analysis of Human Strategies
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 , Seite 89--98.
2018
21.
pdf
Höller, Daniel; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne
Plan and Goal Recognition as HTN Planning
Proceedings of the 30th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2018) , Seite 466--473.
Herausgeber: IEEE Computer Society,
2018
20.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
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) , Seite 73--80.
Herausgeber: IEEE Computer Society,
2018
19.
pdf
Bercher, Pascal; Richter, Felix; Honold, Frank; Nielsen, Florian; Schüssel, Felix; Geier, Thomas; Hörnle, Thilo; Reuter, Stephan; Höller, Daniel; Behnke, Gregor; Weber, Michael; Dietmayer, Klaus; Minker, Wolfgang; Biundo, Susanne
A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance
technical report
Ulm University,
2018

2017

18.
pdf
Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne
User-Centered Planning
In Susanne Biundo and Andreas Wendemuth, Editor, aus Cognitive Technologies
Kapitel 5, Seite 79--100.
Herausgeber: Springer,
2017
17.
pdf
Bercher, Pascal; Richter, Felix; Hörnle, Thilo; Geier, Thomas; Höller, Daniel; Behnke, Gregor; Nielsen, Florian; Honold, Frank; Schüssel, Felix; Reuter, Stephan; Minker, Wolfgang; Weber, Michael; Dietmayer, Klaus; Biundo, Susanne
Advanced User Assistance for Setting Up a Home Theater
In Susanne Biundo and Andreas Wendemuth, Editor, aus Cognitive Technologies
Kapitel 24, Seite 485--491.
Herausgeber: Springer,
2017
16.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
This is a solution! (... but is it though?) - Verifying solutions of hierarchical planning problems
Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017) , Seite 20--28.
Herausgeber: AAAI Press,
2017
15.
pdf
Bercher, Pascal; Behnke, Gregor; Höller, Daniel; Biundo, Susanne
An Admissible HTN Planning Heuristic
Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017) , Seite 480--488.
Herausgeber: IJCAI,
2017
14.
pdf
Behnke, Gregor; Leichtmann, Benedikt; Bercher, Pascal; Höller, Daniel; Nitsch, Verena; Baumann, Martin; Biundo, Susanne
Help me make a dinner! Challenges when assisting humans in action planning
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Herausgeber: IEEE,
2017

2016

13.
pdf
Bercher, Pascal; Höller, Daniel
Interview with David E. Smith
Künstliche Intelligenz, 30(1):101--105
2016
12.
pdf
Biundo, Susanne; Höller, Daniel; Bercher, Pascal
Special Issue on Companion Technologies
Künstliche Intelligenz, 30(1):5-9
2016
11.
pdf
Biundo, Susanne; Höller, Daniel; Schattenberg, Bernd; Bercher, Pascal
Companion-Technology: An Overview
Künstliche Intelligenz, 30(1):11-20
2016
Export als: BibTeX, XML