Gregor Behnke

Ich habe von 2008 bis 2014 an der Universität Rostock Informatik studiert. Meine Vertiefungsrichtung im Master war "Modelle und Algorithmen".

Seit Januar 2014 bin ich wissenschaftlicher Mitarbeiter des Instituts für Künstliche Intelligenz und Mitglied im Graduiertenkolleg des Sonderforschungsbereich Transregio 62.

Im Kontext des Teilprojekts A1 des Sonderforschungsbereich Transregio 62 beschäftige ich mich mit der gemischt-initiativen Plangenerierung und Planerklärung. Daneben arbeite ich auch an der Entwicklung neuartiger Heuristiken und Planungstechniken.

Eine Liste meiner Publikationen befindet sich am Ende dieser Seite und auf dblp und Google Scholar. Meine Erdős-Zahl ist 4 (David Aha, Simon Kasif, Noga Alon, Paul Erdős).

Außerdem betreue ich seit Januar 2015 die ACM-ICPC Teams der Universität Ulm und trainiere sie für die Teilnahme an Programmierwettbewerben.

weitere Bereiche

  • Forschungsschwerpunkte

    Planungssysteme bieten eine flexible und vielseitig einsetzbare Möglichkeit, um Nutzer bei komplexen Aufgabenstellungen (z.B. der Bedienung komplexer Geräte) kompetent zu unterstützen.
    Die meisten aktuellen Planungssysteme sind jedoch Black-Box-Systeme.
    Ihre Nutzer haben keinerlei Einfluss auf ihre inneren Abläufe und erhalten keine bzw. nur sehr wenig Informationen über den Prozess, der zu einem ausgegebenen Plan geführt hat.

    Im Rahmen meines Promotionsvorhabens beschäftige ich mich hauptsächlich mit dem Themengebiet des gemischt-initiativen Planens.
    Hier soll durch die direkte Einbindung des Nutzers in den Planungsprozess ein hohes Maß an Anpassbarkeit und Invidualisierbarkeit ermöglicht werden.
    So werden aus Black-Box-Planern White-Box-Planer, die für den Einsatz im Umgang mit menschlichen Nutzern bestens geeignet sind.

    Um diese Integration zu ermöglichen, müssen eine Reihe von Fragen beantwortet werden, denen ich mich in meinem Promotionsvorhaben widme.

    • Wie können die von Planern verwendeten Planungsstrategien und der daraus resultierende Arbeitsablauf des Planers dem Nutzer geeignet näher gebracht werden?
    • Welche Entscheidungen muss der Planer selbstständig treffen (z.B. um die mentale Kapazität des Nutzers nicht zu überlasten) und welche müssen durch den Nutzer getroffen werden?
    • Wie ist mit Einwürfen und Wünschen des Nutzers umzugehen, die nicht als Antwort auf eine Frage durch den Planer geäußert werden?

    Insbesondere die letzte Fragestellung ergibt interessante Forschungsfragen sowohl theoretischer als auch praktischer Natur.

     

    Neben meinen Arbeiten zum gemischt-initiativen Planen beschäftige ich mich auch mit den theoretischen Grundlagen des Hierarchischen Planens und der Entwicklung neuer Heuristiken und Planungstechniken für das Hierarchische Planen.

  • Wissenschaftliche Aktivitäten

    Ich war Gutachter für die folgenden nationalen und internationalen Konferenzen:

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

     

    Außerdem war ich Gutachter für folgende wissenschaftliche Zeitschriften:

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

    Ich bin regelmäßig an den Lehrveranstaltungen des Instituts beteiligt. In den vergangenen Jahren waren dies insbesondere:

    Außerdem bin ich in der Vorlesung "Einführung in die Künstliche Intelligenz" regelmäßig für die Betreuung der Programmieraufgaben und des DOMjudge-Servers zuständig.

     

    Seit Januar 2015 bin ich der Trainer der ACM ICPC Gruppe der Universität Ulm. Hier trainieren die Studenten für die Teilnahme am International Collegiate Programming Contest (ICPC) der ACM. Seit 2015 nehmen wir regelmäßig an den nationalen und internationalen Runden des Wettbewerbs teil.

  • Preise und Auszeichnungen

    • Gips-Schüle-Rektor-Stipendium 2017
    • Stipendiat der Studienstiftung des Deutschen Volkes (2009-2014)
    • Goldmedaille beim ICPC NWERC 2012 der ACM
    • Silbermedaille beim ICPC NWERC 2010 der ACM
  • Projekte

    Ich arbeite aktuell im Teilprojekt A1 "Adaptive Planung und Entscheidungsfindung" des Sonderforschungsbereichs/Transregio 62 "Eine Companion-Technologie für kognitive
    technische Systeme".

    Außerdem bin ich Teil des Transferprojekts "Do it yourself, but not alone" des SFB/TRR 62. Dabei handelt es sich um ein gemeinsames Projekt der Institute für Künstliche Intelligenz und Nachrichtentechnik mit der Robert Bosch GmbH.

  • Betreute Abschlussarbeiten

    Ich habe bisher folgende Abschlussarbeiten betreut:

    • "The Utility of SAT-Solving for Heuristics in POCL Planning", Bachelor, Matthias Englert, 2016
    • "Interaktive Handlungsplanung", Master, Tobias Schmidke, 2014
    • "Entwicklung nutzerunabhängiger Strategien zur Auswahl, Vereinfachung und Zusammenfassung von formalen Planerklärungen", Bachelor, Tim Schneider, 2014
  • Software

    Ich bin im Moment der Hauptentwickler des Hybriden Planungssystens PANDA3.

Publikationen


2017

18.
pdf
Nothdurft, Florian; Bercher, Pascal; Behnke, Gregor; Minker, Wolfgang
User Involvement in Collaborative Decision-Making Dialog Systems
In Kristiina Jokinen and Graham Wilcock, Editor, Dialogues with Social Robots: Enablements, Analyses, and Evaluation
Herausgeber: Springer,
2017
17.
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
16.
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)
Herausgeber: AAAI Press,
2017
15.
default
Behnke, Gregor; Leichtmann, Benedikt; Bercher, Pascal; Höller, Daniel; Nitsch, Verena; Baumann, Martin; Biundo, Susanne
Help me to get a banana shake! Challenges when assisting humans in action planning
Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017)
2017
14.
default
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)
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) , Seite 38--46.
Herausgeber: 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) , Seite 158--165.
Herausgeber: 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) , Seite 20--28.
Herausgeber: 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) , Seite 225--233.
Herausgeber: 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) , Seite 1442-1449.
Herausgeber: 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)
Herausgeber: 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) , Seite 344--353.
Herausgeber: 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) , Seite 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) , Seite 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) , Seite 25-33.
Herausgeber: 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) , Seite 4264--4265.
Herausgeber: AAAI Press,
2015

2014

2.
default
Behnke, Gregor
Design and Implementation of a General Assistance System
University of Rostock,
Januar 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) Band 263 aus Frontiers in Artificial Intelligence and Applications , Seite 447-452.
Herausgeber: IOS Press, Amsterdam
2014
Export als: BibTeX, XML

Kontakt

  • E-Mail: gregor.behnke(at)uni-ulm.de
  • Telefon: +49 (0)731/50-24113
  • Telefax: +49 (0)731/50-24119
  • Postanschrift

  • Gregor Behnke
  • Universität Ulm
  • Institut für Künstliche Intelligenz
  • D-89069 Ulm
  • Büro

  • James-Franck-Ring
  • Gebäude O27, 4. Niveau
  • Raum 4405