Gregor Behnke

According to our database, Gregor Behnke authored at least 66 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report.

Gregor Behnke, Marcel Steinmetz

CoRR, 2024

Symbolic Reasoning Methods for AI Planning.

Gregor Behnke

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Learning Planning Domains from Non-redundant Fully-Observed Traces: Theoretical Foundations and Complexity Analysis.

Pascal Bachor, Gregor Behnke

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

On the Semantic Difference of Judicial and Standard Language.

Gregor Behnke, Niklas Wais

Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

On the Impact of Grounding on HTN Plan Verification via Parsing.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the Thirty-Sixth International Florida Artificial Intelligence Research Society Conference, 2023

Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.

Songtuan Lin, Gregor Behnke, Pascal Bercher

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

On Partial Satisfaction Planning with Total-Order HTNs.

Gregor Behnke, David Speck, Michael Katz, Shirin Sohrabi

Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling, 2023

On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.

Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task.

Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke

Proceedings of the Thirty-Fifth International Florida Artificial Intelligence Research Society Conference, 2022

Compiling HTN Plan Verification Problems into HTN Planning Problems.

Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Encoding Lifted Classical Planning in Propositional Logic.

Daniel Höller, Gregor Behnke

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 2022

Making Translations to Classical Planning Competitive with Other HTN Planners.

Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

The PANDA Framework for Hierarchical Planning.

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo

Künstliche Intell., 2021

Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life.

Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo

Künstliche Intell., 2021

Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling.

Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Vikas Shivashankar, Ron Alford

AI Mag., 2021

Correcting Hierarchical Plans by Action Deletion.

Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

On the Verification of Totally-Ordered HTN Plans.

Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Loop Detection in the PANDA Planning System.

Daniel Höller, Gregor Behnke

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Block Compression and Invariant Pruning for SAT-based Totally-Ordered HTN Planning.

Gregor Behnke

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

Symbolic Search for Optimal Total-Order HTN Planning.

Gregor Behnke, David Speck

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

HTN Planning as Heuristic Progression Search.

Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

J. Artif. Intell. Res., 2020

HTN Plan Repair via Model Transformation.

Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

Delete- and Ordering-Relaxation Heuristics for HTN Planning.

Daniel Höller, Pascal Bercher, Gregor Behnke

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

A Novel Parsing-based Approach for Verification of Hierarchical Plans.

Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher

Proceedings of the 32nd IEEE International Conference on Tools with Artificial Intelligence, 2020

"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues.

Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker

Proceedings of the ICMI '20: International Conference on Multimodal Interaction, 2020

New Developments for Robert - Assisting Novice Users Even Better in DIY Projects.

Gregor Behnke, Pascal Bercher, Matthias Kraus, Marvin R. G. Schiller, Kristof Mickeleit, Timo Häge, Michael Dorna, Michael Dambier, Dietrich Manstetten, Wolfgang Minker, Birte Glimm, Susanne Biundo

Proceedings of the Thirtieth International Conference on Automated Planning and Scheduling, 2020

HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

On Succinct Groundings of HTN Planning Problems.

Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Hierarchisches Planen durch Propositionale Logik.

Gregor Behnke

Proceedings of the Ausgezeichnete Informatikdissertationen 2019., 2019

Hierarchical planning through propositional logic : highly efficient, versatile, and flexible

Gregor Behnke

PhD thesis, 2019

HDDL - A Language to Describe Hierarchical Planning Problems.

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford

CoRR, 2019

Hierarchical Planning in the IPC.

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford

CoRR, 2019

Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects.

Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo

AI Commun., 2019

On Guiding Search in HTN Planning with Classical Planning Heuristics.

Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Finding Optimal Solutions in HTN Planning - A SAT-based Approach.

Gregor Behnke, Daniel Höller, Susanne Biundo

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Bringing Order to Chaos - A Compact Representation of Partial Order in SAT-Based HTN Planning.

Gregor Behnke, Daniel Höller, Susanne Biundo

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

X and more Parallelism. Integrating LTL-Next into SAT-based Planning with Trajectory Constraints while Allowing for even more Parallelism.

Gregor Behnke, Susanne Biundo

Inteligencia Artif., 2018

Evaluating Knowledge-Based Assistance for DIY.

Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker

Proceedings of the Mensch und Computer 2018, 2018

A Multimodal Dialogue Framework for Cloud-Based Companion Systems.

Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker

Proceedings of the 9th International Workshop on Spoken Dialogue System Technology, 2018

Instructing Novice Users on How to Use Tools in DIY Projects.

Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Tracking Branches in Trees - A Propositional Encoding for Solving Partially-Ordered HTN Planning Problems.

Gregor Behnke, Daniel Höller, Susanne Biundo

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

A Generic Method to Guide HTN Progression Search with Classical Heuristics.

Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018

Plan and Goal Recognition as HTN Planning.

Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

Proceedings of the Workshops of the The Thirty-Second AAAI Conference on Artificial Intelligence, 2018

totSAT - Totally-Ordered Hierarchical Planning Through SAT.

Gregor Behnke, Daniel Höller, Susanne Biundo

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Advanced User Assistance for Setting Up a Home Theater.

Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nielsen, Frank Honold, Felix Schüssel, Stephan Reuter, Wolfgang Minker, Michael Weber, Klaus Dietmayer, Susanne Biundo

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

User-Centered Planning.

Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process.

Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo

Proceedings of the Companion Technology - A Paradigm Shift in Human-Technology Interaction, 2017

An Admissible HTN Planning Heuristic.

Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

A paradigm for coupling procedural and conceptual knowledge in companion systems.

Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo

Proceedings of the International Conference on Companion Technology, 2017

Sloth - The interactive workout planner.

Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo

Proceedings of the International Conference on Companion Technology, 2017

Help me make a dinner! Challenges when assisting humans in action planning.

Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo

Proceedings of the International Conference on Companion Technology, 2017

This Is a Solution! (... But Is It Though?) - Verifying Solutions of Hierarchical Planning Problems.

Gregor Behnke, Daniel Höller, Susanne Biundo

Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017

2016

User Involvement in Collaborative Decision-Making Dialog Systems.

Florian Nothdurft, Pascal Bercher, Gregor Behnke, Wolfgang Minker

Proceedings of the Dialogues with Social Robots, 2016

More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.

Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages.

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Change the Plan - How Hard Can That Be?

Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems.

Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

The Interplay of User-Centered Dialog Systems and AI Planning.

Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker

Proceedings of the SIGDIAL 2015 Conference, 2015

Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All.

Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Integrating Ontologies and Planning for Cognitive Systems.

Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller

Proceedings of the 28th International Workshop on Description Logics, 2015

User-Centered Planning - A Discussion on Planning in the Presence of Human Users.

Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning.

Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo

Proceedings of the 1st International Symposium on Companion-Technology (ISCT 2015), 2015

On the Complexity of HTN Plan Verification and Its Implications for Plan Recognition.

Gregor Behnke, Daniel Höller, Susanne Biundo

Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

A Planning-Based Assistance System for Setting Up a Home Theater.

Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

Language Classification of Hierarchical Planning Problems.

Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014