Gregor Behnke

I have studied Computer Science at the University of Rostock between 2008 and 2014  and received my Master's degree there. During my studies I have specialised in "Models and Algorithms".

Since January 2014 I have been a PhD student at the Institute of Artificial Intelligence of Ulm University and a member of the graduate school of the Transregional Collaborative Research Centre SFB/TRR 62 "Companion-Technology for Cognitive Technical Systems".

As part of the centre's project A1 "Adaptive Planning and Decision Making" I'm working on mixed-initiative planning and plan explanations. Additionally I'm also concerned with developing new heuristics for hierarchical planning and creating new planning techniques in general.

A list of my publications can be found below or at dblp or Google Scholar. My Erdős number ist 4 (David Aha, Simon Kasif, Noga Alon, Paul Erdős).

Since January 2015 I'm also training the University's students participating in the ACM's International Collegiate Programming Contest.

Further Information

  • Research Interests

    Planners offer a flexible way to assist users in complex tasks (e.g. when having to operate complicated machines or tools) in a competent way. However, most current planning systems are so-called black-box systems. They don't provide the user with any opportunity to influence the plan generation process, nor given any (or not adequate) information and explanation about the process which generated the plan presented to the user.

    In my PhD research, I'm mostly concerned with mixed-initiative planning. It aims to overcome the above mentioned problem by directly integrating the user into the planning process, which enables a high degree of adaptability and individuality in the planning process.

    To enable this integration, I'm looking at several questions:

    • How can the planner interact with the human user in a natural way (i.e. in way humans plan), while simultaneously use efficient planning strategies of modern planners?
    • Which decision must be made by the planner (e.g. to avoid a mental overload on the side of the user) and which decisions must be made by the user?
    • How can interjections and requests from the user (which were not elicited by questions from the planner) be incorporated into the planning process?

    Especially the last question leads to interesting research problems, both of a theoretical and of a practical nature.

     

    In addition to my work on mixed-initiative planning, I'm also concerned with developing new heuristics for hierarchical planning, creating new hierarchical planning techniques altogether, and to investigate the theoretical foundations of hierarchical planning.

  • Professional Activities

    I've been a reviewer for the following conferences:

    • International Conference on Automated Planning and Scheduling (ICAPS): 2016, 2017
    • AAAI Conference on Artificial Intelligence (AAAI): 2017, 2018
    • German Conference on Artificial Intelligence (KI): 2016

     I've also been a reviewer for the following journal:

    • Künstliche Intelligenz - Special Issue on Companion Technologies
  • Teaching

    I'm regularly involved in the institute's teaching. So far I've taken part in the following lectures and seminars:

    • Lecture "Introduction to Computer Science", Summer term 2017
    • Lecture "Introduction to Computer Science", Winter term 2016/2017
    • Seminar "Advances in Artificial Intelligence", Summer term 2016
    • Seminar "Advances in Artificial Intelligence", Winter term 2015/2016
    • Lecture "Intelligente Handlungsplanung", Summer term 2015
    • Lecture "Introduction to Computer Science", Winter term 2014/2015

    I'm also responsible for the programming exercises of the lecture "Introduction to Artificial Intelligence".

    Since January 2015 I've been the trainer of the Universities Universities ACM ICPC group. Here I'm training students who will compete in programming contests like the ACM's International Collegiate Programming Contest (ICPC). Since that year we are also participating regularly in both national and international programming contests.

  • Awards

    • Gips-Schüle-Rektor-Stipendium 2017
    • Scholarships from the German Academic Scholarship Foundation (2009-2014)
    • Gold medal at the ACM's ICPC NWERC 2012
    • Silver medal at the ACM's ICPC NWERC 2010
  • Projects

    I'm currently working in the project A1 "Adaptive Planning and Decision Making" of the Transregional Collaborative Research Centre SFB/TRR 62 "Companion-Technology for Cognitive Technical Systems".

    I'm also part of the transfer project "Do it yourself, but not alone" of the SFB/TRR62, being joint project of the Institute of Artificial Intelligence, the Institute of Communications Engineering and the Rober Bosch GmbH.

  • Supervised Thesis

    I've been the supervisor of the following student's theses

    • "The Utility of SAT-Solving for Heuristics in POCL Planning", Bachelor, Matthias Englert, 2016
    • "Interaktive Handlungsplanung" (Interactive Action planning ), Master, Tobias Schmidke, 2014
    • "Entwicklung nutzerunabhängiger Strategien zur Auswahl, Vereinfachung und Zusammenfassung von formalen Planerklärungen" (Developing user-independent strategies for the selection, simplification and consolidation of formal plan explanations), Bachelor, Tim Schneider, 2014
  • Software

    I'm currently the main developer of the hybrid planning system PANDA3.

Publications


2018

21.
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-18)
Publisher: AAAI Press,
2018
20.
default
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)
2018

2017

19.
pdf
Nothdurft, Florian; Bercher, Pascal; Behnke, Gregor; Minker, Wolfgang
Dialogues with Social Robots: Enablements, Analyses, and Evaluation
In Kristiina Jokinen and Graham Wilcock, editor,
Chapter User Involvement in Collaborative Decision-Making Dialog Systems, page 129--141.
Publisher: Springer,
2017
18.
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) , page 20--28.
Publisher: AAAI Press,
2017
17.
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) , page 480--488.
Publisher: AAAI Press,
2017
16.
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)
Publisher: IEEE,
2017
15.
pdf
Behnke, Gregor; Nielsen, Florian; Schiller, Marvin; Bercher, Pascal; Kraus, Matthias; Glimm, Birte; Minker, Wolfgang; Biundo, Susanne
SLOTH - the Interactive Workout Planner
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Publisher: IEEE,
2017
14.
pdf
Schiller, Marvin; Behnke, Gregor; Schmautz, Mario; Bercher, Pascal; Kraus, Matthias; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Paradigm for Coupling Procedural and Conceptual Knowledge
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
Publisher: IEEE,
2017

2016

13.
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) , page 38--46.
Publisher: AAAI Press,
2016
12.
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) , page 158--165.
Publisher: AAAI Press,
2016
11.
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) , page 20--28.
Publisher: AAAI Press,
2016
10.
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) , page 225--233.
Publisher: IOS Press,
2016

2015

9.
pdf
Behnke, Gregor; Ponomaryov, Denis; Schiller, Marvin; Bercher, Pascal; Nothdurft, Florian; Glimm, Birte; Biundo, Susanne
Coherence Across Components in Cognitive Systems – One Ontology to Rule Them All
Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI 2015) , page 1442-1449.
Publisher: AAAI Press,
2015
8.
pdf
Behnke, Gregor; Bercher, Pascal; Biundo, Susanne; Glimm, Birte; Ponomaryov, Denis; Schiller, Marvin
Integrating Ontologies and Planning for Cognitive Systems
Proceedings of the 28th International Workshop on Description Logics (DL 2015)
Publisher: CEUR Workshop Proceedings,
2015
7.
pdf
Nothdurft, Florian; Behnke, Gregor; Bercher, Pascal; Biundo, Susanne; Minker, Wolfgang
The Interplay of User-Centered Dialog Systems and AI Planning
Proceedings of the 16th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL) , page 344--353.
Publisher: Association for Computational Linguistics,
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) , page 79--82.
2015
5.
pdf
Behnke, Gregor; Schiller, Marvin; Ponomaryov, Denis; Nothdurft, Florian; Bercher, Pascal; Minker, Wolfgang; Glimm, Birte; Biundo, Susanne
A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning
Proceedings of the First International Symposium on Companion Technology (ISCT 2015) , page 43--48.
2015
4.
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) , page 25-33.
Publisher: AAAI Press,
2015
3.
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) , page 4264--4265.
Publisher: AAAI Press,
2015

2014

2.
default
Behnke, Gregor
Design and Implementation of a General Assistance System
University of Rostock,
January 2014
1.
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) Volume 263 of Frontiers in Artificial Intelligence and Applications , page 447-452.
Publisher: IOS Press, Amsterdam
2014
Export as: BibTeX, XML

Contact

  • email: gregor.behnke(at)uni-ulm.de
  • phone: +49 (0)731/50-24113
  • fax:     +49 (0)731/50-24119
  • Postal Address

  • Gregor Behnke
  • Ulm University
  • Institute of Artificial Intelligence
  • D-89069 Ulm
  • Office

  • James-Franck-Ring
  • building O27, level 4
  • room 4405