Uni-Logo

Gregor Behnke – Publikationen

(Alle Abstracts einblenden) (Alle Abstracts ausblenden)

2020

  • Matthias Kraus, Marvin Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo und Wolfgang Minker.
    ``Was that successful?'' On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.
    In Proceedings of the 2020 International Conference on Multimodal Interaction (ICMI 2020). 2020.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    HTN Plan Repair via Model Transformation.
    In Proceedings of the 42+1st Annual German Conference on Artificial Intelligence (KI 2020). 2020.
    (PDF)

  • Daniel Höller, Pascal Bercher und Gregor Behnke.
    Delete- and Ordering-Relaxation Heuristics for HTN Planning.
    In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2020). 2020.

  • Roman Bartak, Simona Ondrckova, Adrien Maillard, Gregor Behnke und Pascal Bercher.
    A Novel Parsing-based Approach for Verification of Hierarchical Plans.
    In Proceedings of the 32nd International Conference on Tools with Artificial Intelligence (ICTAI 2020). 2020.

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    HTN Planning as Heuristic Progression Search.
    Journal of Artificial Intelligence Research, S. 835-880. 2020.

  • Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin Schiller, Kristof Mickeleit, Häge Timo, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.
    In Proceedings of the 30th International Conference on Automated Planning and Scheduling (ICAPS 2020), S. 343-347. 2020.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier und Ron Alford.
    HDDL - A Language to Describe Hierarchical Planning Problems.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020), S. 6-17. 2020.
    (PDF)

  • Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher und Susanne Biundo.
    On Succinct Groundings of HTN Planning Problems.
    In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020). 2020.
    (Abstract einblenden) (PDF)

2019

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    Finding Optimal Solutions in HTN Planning - A SAT-based Approach.
    In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), S. 5500-5508. 2019.
    (PDF)

  • Gregor Behnke, Marvin Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    Alice in DIY-Wonderland or: Instructing novice users on how to use tools in DIY projects.
    AI Communications, S. 31-57. 2019.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-based HTN Planning.
    In Proceedings of the 33rd AAAI Conference on Artificial Intelligence (AAAI 2019), S. 7520-7529. 2019.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    On Guiding Search in HTN Planning with Classical Planning Heuristics.
    In Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019). 2019.
    (PDF)

  • Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier und Ron Alford.
    Hierarchical Planning in the IPC.
    In Proceedings of 2019 Workshop on the International Planning Competition (WIPC 2019), S. 40-47. 2019.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier und Ron Alford.
    HDDL - A Language to Describe Hierarchical Planning Problems.
    In Proceedings of the Second ICAPS Workshop on Hierarchical Planning, S. 6-17. 2019.
    (PDF)

  • Gregor Behnke, Daniel Höller, Pascal Bercher und Susanne Biundo.
    More Succinct Grounding of HTN Planning Problems - Preliminary Results.
    In Proceedings of the Second ICAPS Workshop on Hierarchical Planning, S. 40-48. 2019.
    (PDF)

2018

  • Matthias Kraus, Gregor Behnke, Pascal Bercher, Marvin Schiller, Susanne Biundo, Birte Glimm und Wolfgang Minker.
    A Multimodal Dialogue Framework for Cloud-Based Companion Systems.
    In Proceedings of the 9th International Workshop on Spoken Dialogue Systems Technology (IWSDS 2018), S. 405-410. 2018.
    (PDF)

  • Marvin Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm und Wolfgang Minker.
    Evaluating Knowledge-Based Assistance for DIY.
    In Proceedings of MCI Workshop ``Digital Companion'', S. 925-930. 2018.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    Tracking Branches in Trees - A Propositional Encoding for solving Partially-Ordered HTN Planning Problems.
    In Proceedings of the 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), S. 73-80. 2018.
    (PDF)

  • Gregor Behnke und Susanne Biundo.
    X and more Parallelism: Integrating LTL-Next into SAT-based Planning with Trajectory Constraints While Allowing for Even More Parallelism.
    Inteligencia Artificial 21(62), S. 75-90. 2018.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    totSAT - Totally-Ordered Hierarchical Planning through SAT.
    In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), S. 6110-6118. 2018.
    (PDF)

  • Gregor Behnke, Marvin Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    Instructing Novice Users on How to Use Tools in DIY Projects.
    In Proceedings of the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), S. 5805-5807. 2018.
    (PDF)

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    Tracking Branches in Trees - A Propositional Encoding for solving Partially-Ordered HTN Planning Problems.
    In Proceedings of the First ICAPS Workshop on Hierarchical Planning, S. 40-47. 2018.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    HTN Plan Repair Using Unmodified Planning Systems.
    In Proceedings of the First ICAPS Workshop on Hierarchical Planning, S. 26-30. 2018.
    (PDF)

  • Gregor Behnke und Susanne Biundo.
    X and more Parallelism - Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism.
    In Proceedings of the Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS 2018), S. 1-10. 2018.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher und Susanne Biundo.
    Plan and Goal Recognition as HTN Planning.
    In Proceedings of the 30th International Conference on Tools with Artificial Intelligence (ICTAI 2018), S. 466-473. 2018.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Biundo Biundo.
    A Generic Method to Guide HTN Progression Search with Classical Heuristics.
    In Proceedings of the 28th International Conference on Automated Planning and Scheduling (ICAPS 2018), S. 114-122. 2018.
    (PDF)

  • Daniel Höller, Pascal Bercher, Gregor Behnke und Susanne Biundo.
    Plan and Goal Recognition as HTN Planning.
    In Proceedings of the AAAI 2018 Workshop on Activity Plan and Intent Recognition (PAIR 2018), S. 607-613. 2018.
    (PDF)

  • Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Verena Nitsch und Martin Baumann.
    Towards a Companion System Incorporating Human Planning Behavior - A Qualitative Analysis of Human Strategies.
    In Proceedings of the 3rd Transdisciplinary Conference on Support Technologies (TCST 2018), S. 89-98. 2018.
    (PDF)

  • Pascal Bercher, Felix Richter, Frank Honold, Florian Nielsen, Felix Schüssel, Thomas Geier, Thilo Hörnle, Stephan Reuter, Daniel Höller, Gregor Behnke, Klaus Dietmayer, Wolfgang Minker, Michael Weber und Susanne Biundo.
    A Companion-System Architecture for Realizing Individualized and Situation-Adaptive User Assistance.
    In Technical Report - Ulm University. 2018.
    (PDF)

2017

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    This is a solution! (... but is it though?) - Verifying solutions of hierarchical planning problems.
    In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS 2017), S. 20-28. 2017.
    (PDF)

  • Florian Nothdurft, Pascal Bercher, Gregor Behnke und Wolfgang Minker.
    User Involvement in Collaborative Decision-Making Dialog Systems.
    In Dialogues with Social Robots: Analyses Enablements and Evaluation, S. 129-141. 2017.
    (PDF)

  • Pascal Bercher, Gregor Behnke, Daniel Höller und Susanne Biundo.
    An Admissible HTN Planning Heuristic.
    In Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), S. 480-488. 2017.
    (PDF)

  • Marvin Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    A Paradigm for Coupling Procedural and Conceptual Knowledge in Companion Systems.
    In Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017). 2017.
    (PDF)

  • Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann und Susanne Biundo.
    Help me make a dinner! Challenges when assisting humans in action planning.
    In Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017). 2017.
    (PDF)

  • Gregor Behnke, Florian Nielsen, Marvin Schiller, Pascal Bercher, Matthias Kraus, Birte Glimm, Wolfgang Minker und Susanne Biundo.
    SLOTH - the Interactive Workout Planner.
    In Proceedings of the 2nd International Conference on Companion Technology (ICCT 2017). 2017.
    (PDF)

  • Pascal Bercher, Daniel Höller, Gregor Behnke und Susanne Biundo.
    User-Centered Planning.
    In Companion Technology - A Paradigm Shift in Human-Technology Interaction, S. 79-100. 2017.
    (PDF)

  • Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Schüssel Felix, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer und Susanne Biundo.
    Advanced User Assistance for Setting Up a Home Theater.
    In Companion Technology - A Paradigm Shift in Human-Technology Interaction, S. 485-491. 2017.
    (PDF)

  • Gregor Behnke, Florian Nielsen, Marvin Schiller, Denis Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker und Susanne Biundo.
    To Plan for the User Is to Plan With the User - Integrating User Interaction Into the Planning Process.
    In Companion Technology - A Paradigm Shift in Human-Technology Interaction, S. 123-144. 2017.
    (PDF)

2016

  • Gregor Behnke, Daniel Höller, Pascal Bercher und Susanne Biundo.
    Change the Plan - How hard can that be?
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), S. 38-46. 2016.
    (PDF)

  • Daniel Höller, Gregor Behnke, Pascal Bercher und Susanne Biundo.
    Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), S. 158-165. 2016.
    (PDF)

  • Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo und David W. Aha.
    Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.
    In Proceedings of the 26th International Conference on Automated Planning and Scheduling (ICAPS 2016), S. 20-28. 2016.
    (PDF)

  • Pascal Bercher, Daniel Höller, Gregor Behnke und Susanne Biundo.
    More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.
    In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), S. 225-233. 2016.
    (PDF)

2015

  • Gregor Behnke, Daniel Höller und Susanne Biundo.
    On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.
    In Proceedings of the 25th International Conference on Automated Planning and Scheduling (ICAPS 2015), S. 25-33. 2015.
    (PDF)

  • Gregor Behnke, Denis Ponomaryov, Marvin Schiller, Ber\-cher Pascal, Florian Nothdurft, Birte Glimm und Susanne Biundo.
    Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.
    In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), S. 1442-1449. 2015.
    (PDF)

  • Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo und Wolfgang Minker.
    The Interplay of User-Centered Dialog Systems and AI Planning.
    In Proceedings of the 16th Annual Meeting of the Special Interest Group on Discourse and Dialogue (SIGDIAL 2015), S. 344-353. 2015.
    (PDF)

  • Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber und Susanne Biundo.
    A Planning-based Assistance System for Setting Up a Home Theater.
    In Proceedings of the 29th AAAI Conference on Artificial Intelligence (AAAI 2015), S. 4264-4265. 2015.
    (PDF)

  • Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis Ponomaryov und Marvin Schiller.
    Integrating Ontologies and Planning for Cognitive Systems.
    In Proceedings of the 28th International Workshop on Description Logics (DL 2015), S. 338-360. 2015.
    (PDF)

  • Pascal Bercher, Daniel Höller, Gregor Behnke und Susanne Biundo.
    User-Centered Planning - A Discussion on Planning in the Presence of Human Users.
    In Proceedings of the First International Symposium on Companion Technology (ISCT 2015), S. 79-82. 2015.
    (PDF)

  • Gregor Behnke, Marvin Schiller, Denis Ponomaryov, Florian Nothdurft, Ber\-cher Pascal, Wolfgang Minker, Birte Glimm und Susanne Biundo.
    A Unified Knowledge Base for Companion-Systems - A Case Study in Mixed-Initiative Planning.
    In Proceedings of the First International Symposium on Companion Technology (ISCT 2015), S. 43-48. 2015.
    (PDF)

2014

  • Daniel Höller, Gregor Behnke, Pascal Bercher und Susanne Biundo.
    Language Classification of Hierarchical Planning Problems.
    In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), S. 447-452. 2014.
    (PDF)