Pascal Bercher

According to our database, Pascal Bercher authored at least 89 papers between 2008 and 2024.

Collaborative distances:

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

2024

On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence.

Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher

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

2023

A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements.

Conny Olz, Pascal Bercher

Proceedings of the Sixteenth International Symposium on Combinatorial Search, 2023

Detecting AI Planning Modelling Mistakes - Potential Errors and Benchmark Domains.

Kayleigh Sleath, Pascal Bercher

Proceedings of the PRICAI 2023: Trends in Artificial Intelligence, 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

Towards Intelligent Companion Systems in General Aviation using Hierarchical Plan and Goal Recognition.

Prakash Jamakatel, Pascal Bercher, Axel Schulte, Jane Jean Kiam

Proceedings of the International Conference on Human-Agent Interaction, 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

Intractability of Optimal Multi-Agent Pathfinding on Directed Graphs.

Xing Tan, Pascal Bercher

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 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

Can They Come Together? A Computational Complexity Analysis of Conjunctive Possible Effects of Compound HTN Planning Tasks.

Conny Olz, Pascal Bercher

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

Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains.

Songtuan Lin, Alban Grastien, Pascal Bercher

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 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

Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains.

Songtuan Lin, Pascal Bercher

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

2022

Hierarchical Planning and Reasoning about Partially Ordered Plans - From Theory to Practice.

Pascal Bercher

AI Mag., 2022

On the Computational Complexity of Model Reconciliations.

Sarath Sreedharan, Pascal Bercher, Subbarao Kambhampati

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Tight Bounds for Hybrid Planning.

Pascal Bercher, Songtuan Lin, Ron Alford

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 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

On the Expressive Power of Planning Formalisms in Conjunction with LTL.

Songtuan Lin, Pascal Bercher

Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, 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

Flexible FOND HTN Planning: A Complexity Analysis.

Dillon Ze Chen, Pascal Bercher

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

Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models.

Songtuan Lin, Pascal Bercher

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 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

Fully Observable Nondeterministic HTN Planning - Formalisation and Complexity Results.

Dillon Ze Chen, Pascal Bercher

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

A Closer Look at Causal Links: Complexity Results for Delete-Relaxation in Partial Order Causal Link (POCL) Planning.

Pascal Bercher

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

Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis.

Conny Olz, Susanne Biundo, Pascal Bercher

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

Landmark Generation in HTN Planning.

Daniel Höller, Pascal Bercher

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

POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization.

Pascal Bercher, Conny Olz

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

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

A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations.

Pascal Bercher, Ron Alford, Daniel Höller

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

Eliminating Redundant Actions in Partially Ordered Plans - A Complexity Analysis.

Conny Olz, Pascal Bercher

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Hybrid planning - from theory to practice.

Pascal Bercher

PhD thesis, 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

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

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

Hybrides Planen - Von der Theorie zur Praxis.

Pascal Bercher

Proceedings of the Ausgezeichnete Informatikdissertationen 2017, 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

2016

Companion-Technology: An Overview.

Susanne Biundo, Daniel Höller, Bernd Schattenberg, Pascal Bercher

Künstliche Intell., 2016

Special Issue on Companion Technologies.

Susanne Biundo, Daniel Höller, Pascal Bercher

Künstliche Intell., 2016

Interview with David E. Smith.

Pascal Bercher, Daniel Höller

Künstliche Intell., 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

Tight Bounds for HTN Planning with Task Insertion (Extended Abstract).

Ron Alford, Pascal Bercher, David W. Aha

Proceedings of the Eighth Annual Symposium on Combinatorial Search, 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

Tight Bounds for HTN Planning with Task Insertion.

Ron Alford, Pascal Bercher, David W. Aha

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

Tight Bounds for HTN Planning.

Ron Alford, Pascal Bercher, David W. Aha

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

Hybrid Planning Heuristics Based on Task Decomposition Graphs.

Pascal Bercher, Shawn Keen, Susanne Biundo

Proceedings of the Seventh Annual Symposium on Combinatorial Search, 2014

Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems.

Frank Honold, Pascal Bercher, Felix Richter, Florian Nothdurft, Thomas Geier, Roland Barth, Thilo Hoernle, Felix Schüssel, Stephan Reuter, Matthias Rau, Gregor Bertrand, Bastian Seegebarth, Peter Kurzok, Bernd Schattenberg, Wolfgang Minker, Michael Weber, Susanne Biundo-Stephan

Proceedings of the 2014 International Conference on Intelligent Environments, Shanghai, China, June 30, 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

Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater.

Pascal Bercher, Susanne Biundo, Thomas Geier, Thilo Hoernle, Florian Nothdurft, Felix Richter, Bernd Schattenberg

Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013

Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning.

Pascal Bercher, Thomas Geier, Susanne Biundo

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

On Delete Relaxation in Partial-Order Causal-Link Planning.

Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2012

A Heuristic for Hybrid Planning with Preferences.

Pascal Bercher, Susanne Biundo

Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference, 2012

Improving Hierarchical Planning Performance by the Use of Landmarks.

Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

Advanced user assistance based on AI planning.

Susanne Biundo, Pascal Bercher, Thomas Geier, Felix Müller, Bernd Schattenberg

Cogn. Syst. Res., 2011

On the Decidability of HTN Planning with Task Insertion.

Thomas Geier, Pascal Bercher

Proceedings of the IJCAI 2011, 2011

2010

Pattern Database Heuristics for Fully Observable Nondeterministic Planning.

Robert Mattmüller, Manuela Ortlieb, Malte Helmert, Pascal Bercher

Proceedings of the 20th International Conference on Automated Planning and Scheduling, 2010

2009

Solving Non-deterministic Planning Problems with Pattern Database Heuristics.

Pascal Bercher, Robert Mattmüller

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

2008

A Planning Graph Heuristic for Forward-Chaining Adversarial Planning.

Pascal Bercher, Robert Mattmüller

Proceedings of the ECAI 2008, 2008