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 Recognition, Plan Repair and Plan Verification.

  • Professional Activities

    • I was guest editor of the Special Issue "Companion Technologies" of the German AI Journal in 2016 (Volume 30, Number 1)
    • Together with Pacal Bercher, Susanne Biundo and Ron Alford, I have organized the First ICAPS Workshop on Hierarchical Planning in 2018
    • Together with Pacal Bercher, I will give an ICAPS tutorial on HTN Planning in 2018
    • I was reviewer for AAAI-2019, ICAPS-2018, AAAI-2018, ICAPS-2017, ICAPS-2016, and ICAPS-2015 and for the German AI Journal 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)
    • Seminars on AI (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

  • Software

    The PANDA Planning System

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

Publications


2019

28.
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

2018

27.
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
26.
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
25.
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
24.
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
23.
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
22.
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
21.
default
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 "Technical Assistance Systems that Humans really want")
2018
20.
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)
2018
19.
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)
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
10.
pdf
Behnke, Gregor; Höller, Daniel; Bercher, Pascal; Biundo, Susanne
Change the Plan - How hard can that be?
Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) , Seite 38--46.
Herausgeber: AAAI Press,
2016
9.
pdf
Höller, Daniel; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages
Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016) , Seite 158--165.
Herausgeber: AAAI Press,
2016
8.
pdf
Alford, Ron; Behnke, Gregor; Höller, Daniel; Bercher, Pascal; Biundo, Susanne; Aha, David
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) , Seite 20--28.
Herausgeber: AAAI Press,
2016
7.
pdf
Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne
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) , Seite 225--233.
Herausgeber: IOS Press,
2016

2015

6.
pdf
Bercher, Pascal; Höller, Daniel; Behnke, Gregor; Biundo, Susanne
User-Centered Planning - A Discussion on Planning in the Presence of Human Users
Proceedings of the First International Symposium on Companion Technology (ISCT 2015) , Seite 79--82.
2015
5.
pdf
Behnke, Gregor; Höller, Daniel; Biundo, Susanne
On the Complexity of HTN Plan Verification and its Implications for Plan Recognition
In Ronen Brafman, Carmel Domshlak, Patrik Haslum, Shlomo Zilberstein, Editor, Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015) , Seite 25-33.
Herausgeber: AAAI Press,
2015
4.
pdf
Bercher, Pascal; Richter, Felix; Hörnle, Thilo; Geier, Thomas; Höller, Daniel; Behnke, Gregor; Nothdurft, Florian; Honold, Frank; Minker, Wolfgang; Weber, Michael; Biundo, Susanne
A Planning-based Assistance System for Setting Up a Home Theater
Proceedings of the 29th National Conference on Artificial Intelligence (AAAI 2015) , Seite 4264--4265.
Herausgeber: AAAI Press,
2015
Export als: BibTeX, XML