Skip to content

Pascal Bercher

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

63

Venues

14

Active years

2008–2026

Best venue rank

A*

Where they publish

Papers

63 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAIAutomated Repair of Totally-Ordered Hierarchical Task Network Domains via Context-Free Grammars with Large Language Model Support.Daniel Lutalo, Pascal Bercher
2026AAAIMakespan Investigations of Sequential, Parallel, PO, and POCL Plans.Harrison Oates, Pascal Bercher
2026AAAISymmetries and Other Variations of "End-Recursive" HTN Problems: Mapping the Border Between Decidable and Undecidable Restrictions.Hadyn Tang, Pascal Bercher
2025AAAITold You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans.Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher
2025ECAIRepairing Planning Domains Based on Lifted Test Plans.Nader Karimi Bavandpour, Pascal Lauer, Songtuan Lin, Pascal Bercher
2025ECAICalculating Optimal Corrections for Unsolvable Planning Problems.Michael Welt, Alexander Lodemann, Conny Olz, Pascal Bercher, Birte Glimm
2025ICAPSTight Bounds for Lifted HTN Plan Verification and Bounded Plan Existence.Pascal Lauer, Songtuan Lin, Pascal Bercher
2025ICAPSHow Good is Perfect? On the Incompleteness of A* for Total-Order HTN Planning.Mohammad Yousefi, Mario Schmautz, Patrik Haslum, Pascal Bercher
2025IJCAIA Survey on Model Repair in AI Planning.Pascal Bercher, Sarath Sreedharan, Mauro Vallati
2025IJCAIComputational Complexity of Planning for Recursive Primitive Task Networks: Selective Action Nullification with State Preservation.Yifan Zhang, Pascal Bercher
2025KRProbabilistic HTN Planning: Formalization and Computational Complexity Analysis.Mohammad Yousefi, Johannes Schmalz, Patrik Haslum, Pascal Bercher
2024AAAIOn the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence.Songtuan Lin, Conny Olz, Malte Helmert, Pascal Bercher
2024ECAIA Heuristic for Optimal Total-Order HTN Planning Based on Integer Linear Programming.Conny Olz, Alexander Lodemann, Pascal Bercher
2024IJCAIA Survey on Plan Optimization.Pascal Bercher, Patrik Haslum, Christian Muise
2024IJCAILaying the Foundations for Solving FOND HTN Problems: Grounding, Search, Heuristics (and Benchmark Problems).Mohammad Yousefi, Pascal Bercher
2024SoCSModeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions.Songtuan Lin, Daniel Hller, Pascal Bercher
2023AAAIWas Fixing This Really That Hard? On the Complexity of Correcting HTN Domains.Songtuan Lin, Pascal Bercher
2023AAAIOn Total-Order HTN Plan Verification with Method Preconditions - An Extension of the CYK Parsing Algorithm.Songtuan Lin, Gregor Behnke, Simona Ondrckov, Roman Bartk, Pascal Bercher
2023AAAITowards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains.Songtuan Lin, Alban Grastien, Pascal Bercher
2023ECAIAccelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning.Songtuan Lin, Gregor Behnke, Pascal Bercher
2023ECAIIntractability of Optimal Multi-Agent Pathfinding on Directed Graphs.Xing Tan, Pascal Bercher
2023FlAIRSLessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans.Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke
2023HAITowards Intelligent Companion Systems in General Aviation using Hierarchical Plan and Goal Recognition.Prakash Jamakatel, Pascal Bercher, Axel Schulte, Jane Jean Kiam
2023ICAARTOn the Impact of Grounding on HTN Plan Verification via Parsing.Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke
2023PRICAIDetecting AI Planning Modelling Mistakes - Potential Errors and Benchmark Domains.Kayleigh Sleath, Pascal Bercher
2023SoCSA Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements.Conny Olz, Pascal Bercher
2022AAAIMaking Translations to Classical Planning Competitive with Other HTN Planners.Gregor Behnke, Florian Pollitt, Daniel Hller, Pascal Bercher, Ron Alford
2022FlAIRSOn Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task.Simona Ondrckov, Roman Bartk, Pascal Bercher, Gregor Behnke
2022IJCAITight Bounds for Hybrid Planning.Pascal Bercher, Songtuan Lin, Ron Alford
2022IJCAIOn the Computational Complexity of Model Reconciliations.Sarath Sreedharan, Pascal Bercher, Subbarao Kambhampati
2021AAAILandmark Generation in HTN Planning.Daniel Hller, Pascal Bercher
2021AAAIRevealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis.Conny Olz, Susanne Biundo, Pascal Bercher
2021IJCAIChange the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models.Songtuan Lin, Pascal Bercher
2021ICTAIOn the Verification of Totally-Ordered HTN Plans.Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher
2021KRCorrecting Hierarchical Plans by Action Deletion.Roman Bartk, Simona Ondrckov, Gregor Behnke, Pascal Bercher
2020AAAIOn Succinct Groundings of HTN Planning Problems.Gregor Behnke, Daniel Hller, Alexander Schmid, Pascal Bercher, Susanne Biundo
2020AAAIPOP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization.Pascal Bercher, Conny Olz
2020AAAIHDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems.Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ron Alford
2020ICMI"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
2020IJCAIDelete- and Ordering-Relaxation Heuristics for HTN Planning.Daniel Hller, Pascal Bercher, Gregor Behnke
2020ICTAIA Novel Parsing-based Approach for Verification of Hierarchical Plans.Roman Bartk, Simona Ondrckov, Adrien Maillard, Gregor Behnke, Pascal Bercher
2020KIHTN Plan Repair via Model Transformation.Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2019IJCAIA Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations.Pascal Bercher, Ron Alford, Daniel Hller
2019IJCAIOn Guiding Search in HTN Planning with Classical Planning Heuristics.Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018AAAIPlan and Goal Recognition as HTN Planning.Daniel Hller, Pascal Bercher, Gregor Behnke, Susanne Biundo
2018IJCAIInstructing 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
2018ICTAIPlan and Goal Recognition as HTN Planning.Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2017IJCAIAn Admissible HTN Planning Heuristic.Pascal Bercher, Gregor Behnke, Daniel Hller, Susanne Biundo
2016ECAIMore than a Name? On Implications of Preconditions and Effects of Compound HTN Planning Tasks.Pascal Bercher, Daniel Hller, Gregor Behnke, Susanne Biundo
2015AAAIA Planning-Based Assistance System for Setting Up a Home Theater.Pascal Bercher, Felix Richter, Thilo Hrnle, Thomas Geier, Daniel Hller, Gregor Behnke, Florian Nothdurft, Frank Honold, Wolfgang Minker, Michael Weber, Susanne Biundo
2015IJCAITight Bounds for HTN Planning with Task Insertion.Ron Alford, Pascal Bercher, David W. Aha
2015IJCAICoherence 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
2015SIGdialThe Interplay of User-Centered Dialog Systems and AI Planning.Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker
2015SoCSTight Bounds for HTN Planning with Task Insertion (Extended Abstract).Ron Alford, Pascal Bercher, David W. Aha
2014ECAILanguage Classification of Hierarchical Planning Problems.Daniel Hller, Gregor Behnke, Pascal Bercher, Susanne Biundo
2014SoCSHybrid Planning Heuristics Based on Task Decomposition Graphs.Pascal Bercher, Shawn Keen, Susanne Biundo
2013ICTAIOn Delete Relaxation in Partial-Order Causal-Link Planning.Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo
2013KIUsing State-Based Planning Heuristics for Partial-Order Causal-Link Planning.Pascal Bercher, Thomas Geier, Susanne Biundo
2012AAAIImproving Hierarchical Planning Performance by the Use of Landmarks.Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo
2012FlAIRSA Heuristic for Hybrid Planning with Preferences.Pascal Bercher, Susanne Biundo
2011IJCAIOn the Decidability of HTN Planning with Task Insertion.Thomas Geier, Pascal Bercher
2009KISolving Non-deterministic Planning Problems with Pattern Database Heuristics.Pascal Bercher, Robert Mattmller
2008ECAIA Planning Graph Heuristic for Forward-Chaining Adversarial Planning.Pascal Bercher, Robert Mattmller