Pascal Bercher

ORCID

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 74

Top Venues

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence. AAAI (2024)
Songtuan Lin, Daniel Höller, Pascal Bercher
Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions. SOCS (2024)
Conny Olz, Pascal Bercher
Can They Come Together? A Computational Complexity Analysis of Conjunctive Possible Effects of Compound HTN Planning Tasks. ICAPS (2023)
Prakash Jamakatel, Pascal Bercher, Axel Schulte, Jane Jean Kiam
Towards Intelligent Companion Systems in General Aviation using Hierarchical Plan and Goal Recognition. HAI (2023)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
On the Impact of Grounding on HTN Plan Verification via Parsing. ICAART (3) (2023)
Songtuan Lin, Gregor Behnke, Simona Ondrcková, Roman Barták, Pascal Bercher
On Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm. AAAI (2023)
Songtuan Lin, Pascal Bercher
Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains. AAAI (2023)
Kayleigh Sleath, Pascal Bercher
Detecting AI Planning Modelling Mistakes - Potential Errors and Benchmark Domains. PRICAI (2) (2023)
Songtuan Lin, Gregor Behnke, Pascal Bercher
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. ECAI (2023)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. FLAIRS (2023)
Conny Olz, Pascal Bercher
A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements. SOCS (2023)
Xing Tan, Pascal Bercher
Intractability of Optimal Multi-Agent Pathfinding on Directed Graphs. ECAI (2023)
Songtuan Lin, Alban Grastien, Pascal Bercher
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI (2023)
Pascal Bercher, Songtuan Lin, Ron Alford
Tight Bounds for Hybrid Planning. IJCAI (2022)
Songtuan Lin, Pascal Bercher
On the Expressive Power of Planning Formalisms in Conjunction with LTL. ICAPS (2022)
Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford
Making Translations to Classical Planning Competitive with Other HTN Planners. AAAI (2022)
Dillon Chen, Pascal Bercher
Flexible FOND HTN Planning: A Complexity Analysis. ICAPS (2022)
Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke
Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS (2022)
Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. FLAIRS (2022)
Pascal Bercher
Hierarchical Planning and Reasoning about Partially Ordered Plans - From Theory to Practice. AI Mag. 43 (4) (2022)
Sarath Sreedharan, Pascal Bercher, Subbarao Kambhampati
On the Computational Complexity of Model Reconciliations. IJCAI (2022)
Daniel Höller, Pascal Bercher
Landmark Generation in HTN Planning. AAAI (2021)
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
Correcting Hierarchical Plans by Action Deletion. KR (2021)
Pascal Bercher, Gregor Behnke, Matthias Kraus, Marvin R. G. Schiller, Dietrich Manstetten, Michael Dambier, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
Do It Yourself, but Not Alone: Companion-Technology for Home Improvement - Bringing a Planning-Based Interactive DIY Assistant to Life. Künstliche Intell. 35 (3) (2021)
Pascal Bercher
A Closer Look at Causal Links: Complexity Results for Delete-Relaxation in Partial Order Causal Link (POCL) Planning. ICAPS (2021)
Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher
On the Verification of Totally-Ordered HTN Plans. ICTAI (2021)
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo, Vikas Shivashankar, Ron Alford
Report on the First and Second Workshops on Hierarchical Planning Held at the International Conference on Automated Planning and Scheduling. AI Mag. 42 (1) (2021)
Dillon Chen, Pascal Bercher
Fully Observable Nondeterministic HTN Planning - Formalisation and Complexity Results. ICAPS (2021)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
The PANDA Framework for Hierarchical Planning. Künstliche Intell. 35 (3) (2021)
Conny Olz, Susanne Biundo, Pascal Bercher
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis. AAAI (2021)
Songtuan Lin, Pascal Bercher
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models. IJCAI (2021)
Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher
A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI (2020)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
HTN Plan Repair via Model Transformation. KI (2020)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford
HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems. AAAI (2020)
Daniel Höller, Pascal Bercher, Gregor Behnke
Delete- and Ordering-Relaxation Heuristics for HTN Planning. IJCAI (2020)
Pascal Bercher, Conny Olz
POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization. AAAI (2020)
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
New Developments for Robert - Assisting Novice Users Even Better in DIY Projects. ICAPS (2020)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. 67 (2020)
Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo
On Succinct Groundings of HTN Planning Problems. AAAI (2020)
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Michael Dorna, Michael Dambier, Birte Glimm, Susanne Biundo, Wolfgang Minker
"Was that successful?" On Integrating Proactive Meta-Dialogue in a DIY-Assistant using Multimodal Cues. ICMI (2020)
Pascal Bercher, Ron Alford, Daniel Höller
A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations. IJCAI (2019)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
HDDL - A Language to Describe Hierarchical Planning Problems. CoRR (2019)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI (2019)
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Michael Dambier, Wolfgang Minker, Birte Glimm, Susanne Biundo
Alice in DIY wonderland or: Instructing novice users on how to use tools in DIY projects. AI Commun. 32 (1) (2019)
Conny Olz, Pascal Bercher
Eliminating Redundant Actions in Partially Ordered Plans - A Complexity Analysis. ICAPS (2019)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford
Hierarchical Planning in the IPC. CoRR (2019)
Matthias Kraus, Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Wolfgang Minker
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. IWSDS (2018)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS (2018)
Marvin R. G. Schiller, Gregor Behnke, Pascal Bercher, Matthias Kraus, Michael Dorna, Felix Richter, Susanne Biundo, Birte Glimm, Wolfgang Minker
Evaluating Knowledge-Based Assistance for DIY. Mensch & Computer Workshopband (2018)
Gregor Behnke, Marvin R. G. Schiller, Matthias Kraus, Pascal Bercher, Mario Schmautz, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
Instructing Novice Users on How to Use Tools in DIY Projects. IJCAI (2018)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Plan and Goal Recognition as HTN Planning. ICTAI (2018)
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo
Plan and Goal Recognition as HTN Planning. AAAI Workshops (2018)
Gregor Behnke, Benedikt Leichtmann, Pascal Bercher, Daniel Höller, Verena Nitsch, Martin Baumann, Susanne Biundo
Help me make a dinner! Challenges when assisting humans in action planning. ICCT (2017)
Pascal Bercher
Hybrides Planen - Von der Theorie zur Praxis. Ausgezeichnete Informatikdissertationen (2017)
Marvin R. G. Schiller, Gregor Behnke, Mario Schmautz, Pascal Bercher, Matthias Kraus, Michael Dorna, Wolfgang Minker, Birte Glimm, Susanne Biundo
A paradigm for coupling procedural and conceptual knowledge in companion systems. ICCT (2017)
Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Pascal Bercher, Matthias Kraus, Wolfgang Minker, Birte Glimm, Susanne Biundo
Sloth - The interactive workout planner. ICCT (2017)
Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo
An Admissible HTN Planning Heuristic. IJCAI (2017)
Susanne Biundo, Daniel Höller, Pascal Bercher
Special Issue on Companion Technologies. Künstliche Intell. 30 (1) (2016)
Susanne Biundo, Daniel Höller, Bernd Schattenberg, Pascal Bercher
Companion-Technology: An Overview. Künstliche Intell. 30 (1) (2016)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS (2016)
Florian Nothdurft, Pascal Bercher, Gregor Behnke, Wolfgang Minker
User Involvement in Collaborative Decision-Making Dialog Systems. IWSDS (2016)
Pascal Bercher, Daniel Höller
Interview with David E. Smith. Künstliche Intell. 30 (1) (2016)
Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo
Change the Plan - How Hard Can That Be? ICAPS (2016)
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
More than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks. ECAI (2016)
Ron Alford, Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo, David W. Aha
Bound to Plan: Exploiting Classical Heuristics via Automatic Translations of Tail-Recursive HTN Problems. ICAPS (2016)
Gregor Behnke, Pascal Bercher, Susanne Biundo, Birte Glimm, Denis K. Ponomaryov, Marvin R. G. Schiller
Integrating Ontologies and Planning for Cognitive Systems. Description Logics (2015)
Ron Alford, Pascal Bercher, David W. Aha
Tight Bounds for HTN Planning with Task Insertion. IJCAI (2015)
Ron Alford, Pascal Bercher, David W. Aha
Tight Bounds for HTN Planning. ICAPS (2015)
Pascal Bercher, Felix Richter, Thilo Hörnle, Thomas Geier, Daniel Höller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo
A Planning-Based Assistance System for Setting Up a Home Theater. AAAI (2015)
Gregor Behnke, Marvin R. G. Schiller, Denis K. Ponomaryov, Florian Nothdurft, Pascal Bercher, Wolfgang Minker, Birte Glimm, Susanne Biundo
A Unified Knowledge Base for Companion-Systems - A Case Study for Mixed-Initiative Planning. ISCT (2015)
Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo
User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT (2015)
Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker
The Interplay of User-Centered Dialog Systems and AI Planning. SIGDIAL Conference (2015)
Gregor Behnke, Denis K. Ponomaryov, Marvin R. G. Schiller, Pascal Bercher, Florian Nothdurft, Birte Glimm, Susanne Biundo
Coherence Across Components in Cognitive Systems - One Ontology to Rule Them All. IJCAI (2015)
Ron Alford, Pascal Bercher, David W. Aha
Tight Bounds for HTN Planning with Task Insertion (Extended Abstract). SOCS (2015)
Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo
Language Classification of Hierarchical Planning Problems. ECAI (2014)
Pascal Bercher, Shawn Keen, Susanne Biundo
Hybrid Planning Heuristics Based on Task Decomposition Graphs. SOCS (2014)
Pascal Bercher, Susanne Biundo, Thomas Geier, Thilo Hoernle, Florian Nothdurft, Felix Richter, Bernd Schattenberg
Plan, Repair, Execute, Explain - How Planning Helps to Assemble your Home Theater. ICAPS (2014)
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
Companion-Technology: Towards User- and Situation-Adaptive Functionality of Technical Systems. Intelligent Environments (2014)
Pascal Bercher, Thomas Geier, Susanne Biundo
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning. KI (2013)
Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo
On Delete Relaxation in Partial-Order Causal-Link Planning. ICTAI (2013)
Pascal Bercher, Susanne Biundo
A Heuristic for Hybrid Planning with Preferences. FLAIRS Conference (2012)
Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo
Improving Hierarchical Planning Performance by the Use of Landmarks. AAAI (2012)
Thomas Geier, Pascal Bercher
On the Decidability of HTN Planning with Task Insertion. IJCAI (2011)
Susanne Biundo, Pascal Bercher, Thomas Geier, Felix Müller, Bernd Schattenberg
Advanced user assistance based on AI planning. Cogn. Syst. Res. 12 (3-4) (2011)
Robert Mattmüller, Manuela Ortlieb, Malte Helmert, Pascal Bercher
Pattern Database Heuristics for Fully Observable Nondeterministic Planning. ICAPS (2010)
Pascal Bercher, Robert Mattmüller
Solving Non-deterministic Planning Problems with Pattern Database Heuristics. KI (2009)
Pascal Bercher, Robert Mattmüller
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. ECAI (2008)

Pascal Bercher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pascal Bercher