Pascal Bercher

105 papers A* 48A 8B 11Misc 6Journal 13Unranked 14

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