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 jointed 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) and reviewer for ICAPS-2017, ICAPS-2016, and ICAPS-2015 and for the German AI Journal 2016 (Volume 30, Number 1).

  • Teaching

    Ulm University

    • Automated Planning (summer term 2015)
    • Introduction to Artificial Intelligence (winter terms 2016/17, 2015/16, 2014/15, and 2013/14)
    • Seminars on AI (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)
  • Software

    The PANDA Planning System

    Beside my colleague Gregor Behnke, I am a main developer of the current version of the hierarchical planning system PANDA and its extensions.


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)
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: AAAI Press,
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

2014

3.
pdf
Höller, Daniel; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne
Language Classification of Hierarchical Planning Problems
In Schaub, Torsten and Friedrich, Gerhard and O'Sullivan, Barry, Editor, Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014) Band 263 aus Frontiers in Artificial Intelligence and Applications , Seite 447-452.
Herausgeber: IOS Press, Amsterdam
2014
2.
pdf
Höller, Daniel; Bercher, Pascal; Richter, Felix; Schiller, Marvin; Geier, Thomas; Biundo, Susanne
Finding User-friendly Linearizations of Partially Ordered Plans
28th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2014)
2014

2011

1.
pdf
Höller, Daniel; Mies, Christoph
Integration of a PDDL Planning Framework into the Multi-Agent Simulation System LAMPSys
26th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2011)
2011
Export als: BibTeX, XML

E-Mail: daniel.hoeller(at)uni-ulm.de
Phone: +49 (0)731/50-24123
Fax: +49 (0)731/50-24119

Postal Address

Daniel Höller
Ulm University
Institute of Artificial Intelligence
D-89069 Ulm

Office

James-Franck-Ring
Building O27, Niveau 4
Room 446