default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPascal Bercher
Person information
- affiliation: Australian National University, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c77]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: 20203-20211- [c76]Conny Olz, Alexander Lodemann, Pascal Bercher:
A Heuristic for Optimal Total-Order HTN Planning Based on Integer Linear Programming. ECAI 2024: 4303-4310 - [c75]Mohammad Yousefi, Pascal Bercher:
Laying the Foundations for Solving FOND HTN Problems: Grounding, Search, Heuristics (and Benchmark Problems). IJCAI 2024: 6796-6804 - [c74]Pascal Bercher, Patrik Haslum, Christian Muise:
A Survey on Plan Optimization. IJCAI 2024: 7941-7950 - [c73]Songtuan Lin, Daniel Höller, Pascal Bercher:
Modeling Assistance for Hierarchical Planning: An Approach for Correcting Hierarchical Domains with Missing Actions. SOCS 2024: 55-63 - 2023
- [c72]Songtuan Lin, Alban Grastien, Pascal Bercher
:
Towards Automated Modeling Assistance: An Efficient Approach for Repairing Flawed Planning Domains. AAAI 2023: 12022-12031 - [c71]Songtuan Lin, Pascal Bercher:
Was Fixing This Really That Hard? On the Complexity of Correcting HTN Domains. AAAI 2023: 12032-12040 - [c70]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: 12041-12048 - [c69]Conny Olz, Pascal Bercher:
Can They Come Together? A Computational Complexity Analysis of Conjunctive Possible Effects of Compound HTN Planning Tasks. ICAPS 2023: 314-323 - [c68]Songtuan Lin, Gregor Behnke, Pascal Bercher:
Accelerating SAT-Based HTN Plan Verification by Exploiting Data Structures from HTN Planning. ECAI 2023: 1489-1496 - [c67]Xing Tan, Pascal Bercher:
Intractability of Optimal Multi-Agent Pathfinding on Directed Graphs. ECAI 2023: 2315-2321 - [c66]Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke:
Lessons Learned from the CYK Algorithm for Parsing-based Verification of Hierarchical Plans. FLAIRS 2023 - [c65]Prakash Jamakatel, Pascal Bercher, Axel Schulte, Jane Jean Kiam:
Towards Intelligent Companion Systems in General Aviation using Hierarchical Plan and Goal Recognition. HAI 2023: 229-237 - [c64]Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke:
On the Impact of Grounding on HTN Plan Verification via Parsing. ICAART (3) 2023: 92-99 - [c63]Kayleigh Sleath, Pascal Bercher:
Detecting AI Planning Modelling Mistakes - Potential Errors and Benchmark Domains. PRICAI (2) 2023: 448-454 - [c62]Conny Olz, Pascal Bercher:
A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements. SOCS 2023: 65-73 - 2022
- [j10]Pascal Bercher:
Hierarchical Planning and Reasoning about Partially Ordered Plans - From Theory to Practice. AI Mag. 43(4): 353-364 (2022) - [c61]Gregor Behnke, Florian Pollitt, Daniel Höller, Pascal Bercher, Ron Alford:
Making Translations to Classical Planning Competitive with Other HTN Planners. AAAI 2022: 9687-9697 - [c60]Dillon Ze Chen, Pascal Bercher:
Flexible FOND HTN Planning: A Complexity Analysis. ICAPS 2022: 26-34 - [c59]Daniel Höller, Julia Wichlacz, Pascal Bercher, Gregor Behnke:
Compiling HTN Plan Verification Problems into HTN Planning Problems. ICAPS 2022: 145-150 - [c58]Songtuan Lin, Pascal Bercher:
On the Expressive Power of Planning Formalisms in Conjunction with LTL. ICAPS 2022: 231-240 - [c57]Simona Ondrcková, Roman Barták, Pascal Bercher, Gregor Behnke:
On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task. FLAIRS 2022 - [c56]Pascal Bercher, Songtuan Lin, Ron Alford:
Tight Bounds for Hybrid Planning. IJCAI 2022: 4597-4605 - [c55]Sarath Sreedharan, Pascal Bercher, Subbarao Kambhampati:
On the Computational Complexity of Model Reconciliations. IJCAI 2022: 4657-4664 - 2021
- [j9]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): 83-85 (2021) - [j8]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): 367-375 (2021) - [j7]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
The PANDA Framework for Hierarchical Planning. Künstliche Intell. 35(3): 391-396 (2021) - [c54]Daniel Höller, Pascal Bercher:
Landmark Generation in HTN Planning. AAAI 2021: 11826-11834 - [c53]Conny Olz, Susanne Biundo, Pascal Bercher:
Revealing Hidden Preconditions and Effects of Compound HTN Planning Tasks - A Complexity Analysis. AAAI 2021: 11903-11912 - [c52]Pascal Bercher:
A Closer Look at Causal Links: Complexity Results for Delete-Relaxation in Partial Order Causal Link (POCL) Planning. ICAPS 2021: 36-45 - [c51]Dillon Ze Chen, Pascal Bercher:
Fully Observable Nondeterministic HTN Planning - Formalisation and Complexity Results. ICAPS 2021: 74-84 - [c50]Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher:
On the Verification of Totally-Ordered HTN Plans. ICTAI 2021: 263-267 - [c49]Songtuan Lin, Pascal Bercher:
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models. IJCAI 2021: 4152-4159 - [c48]Roman Barták, Simona Ondrcková, Gregor Behnke, Pascal Bercher:
Correcting Hierarchical Plans by Action Deletion. KR 2021: 99-109 - 2020
- [j6]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
HTN Planning as Heuristic Progression Search. J. Artif. Intell. Res. 67: 835-880 (2020) - [c47]Gregor Behnke, Daniel Höller, Alexander Schmid, Pascal Bercher, Susanne Biundo:
On Succinct Groundings of HTN Planning Problems. AAAI 2020: 9775-9784 - [c46]Pascal Bercher, Conny Olz:
POP ≡ POCL, Right? Complexity Results for Partial Order (Causal Link) Makespan Minimization. AAAI 2020: 9785-9793 - [c45]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: 9883-9891 - [c44]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: 343-347 - [c43]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: 585-594 - [c42]Roman Barták, Simona Ondrcková, Adrien Maillard, Gregor Behnke, Pascal Bercher:
A Novel Parsing-based Approach for Verification of Hierarchical Plans. ICTAI 2020: 118-125 - [c41]Daniel Höller, Pascal Bercher, Gregor Behnke:
Delete- and Ordering-Relaxation Heuristics for HTN Planning. IJCAI 2020: 4076-4083 - [c40]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
HTN Plan Repair via Model Transformation. KI 2020: 88-101
2010 – 2019
- 2019
- [j5]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): 31-57 (2019) - [c39]Conny Olz, Pascal Bercher:
Eliminating Redundant Actions in Partially Ordered Plans - A Complexity Analysis. ICAPS 2019: 310-319 - [c38]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
On Guiding Search in HTN Planning with Classical Planning Heuristics. IJCAI 2019: 6171-6175 - [c37]Pascal Bercher, Ron Alford, Daniel Höller:
A Survey on Hierarchical Planning - One Abstract Idea, Many Concrete Realizations. IJCAI 2019: 6267-6275 - [i2]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford:
Hierarchical Planning in the IPC. CoRR abs/1909.04405 (2019) - [i1]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo, Humbert Fiorino, Damien Pellier, Ronald Alford:
HDDL - A Language to Describe Hierarchical Planning Problems. CoRR abs/1911.05499 (2019) - 2018
- [b1]Pascal Bercher:
Hybrid planning - from theory to practice. University of Ulm, Germany, 2018 - [c36]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
Plan and Goal Recognition as HTN Planning. AAAI Workshops 2018: 607-613 - [c35]Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo:
A Generic Method to Guide HTN Progression Search with Classical Heuristics. ICAPS 2018: 114-122 - [c34]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Plan and Goal Recognition as HTN Planning. ICTAI 2018: 466-473 - [c33]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: 5805-5807 - [c32]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: 405-410 - [c31]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. MuC (Workshopband) 2018 - 2017
- [c30]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 - [c29]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: 1-6 - [c28]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: 1-6 - [c27]Pascal Bercher, Gregor Behnke, Daniel Höller, Susanne Biundo:
An Admissible HTN Planning Heuristic. IJCAI 2017: 480-488 - [p4]Pascal Bercher:
Hybrides Planen - Von der Theorie zur Praxis. Ausgezeichnete Informatikdissertationen 2017: 21-30 - [p3]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
User-Centered Planning. Companion Technology 2017: 79-100 - [p2]Gregor Behnke, Florian Nielsen, Marvin R. G. Schiller, Denis K. Ponomaryov, Pascal Bercher, Birte Glimm, Wolfgang Minker, Susanne Biundo:
To Plan for the User Is to Plan with the User: Integrating User Interaction into the Planning Process. Companion Technology 2017: 123-144 - [p1]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:
Advanced User Assistance for Setting Up a Home Theater. Companion Technology 2017: 485-491 - 2016
- [j4]Susanne Biundo, Daniel Höller, Pascal Bercher:
Special Issue on Companion Technologies. Künstliche Intell. 30(1): 5-9 (2016) - [j3]Susanne Biundo, Daniel Höller, Bernd Schattenberg, Pascal Bercher:
Companion-Technology: An Overview. Künstliche Intell. 30(1): 11-20 (2016) - [j2]Pascal Bercher, Daniel Höller:
Interview with David E. Smith. Künstliche Intell. 30(1): 101-105 (2016) - [c26]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: 20-28 - [c25]Gregor Behnke, Daniel Höller, Pascal Bercher, Susanne Biundo:
Change the Plan - How Hard Can That Be? ICAPS 2016: 38-46 - [c24]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Assessing the Expressivity of Planning Formalisms through the Comparison to Formal Languages. ICAPS 2016: 158-165 - [c23]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: 225-233 - [c22]Florian Nothdurft, Pascal Bercher, Gregor Behnke, Wolfgang Minker:
User Involvement in Collaborative Decision-Making Dialog Systems. IWSDS 2016: 129-141 - 2015
- [c21]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: 4264-4265 - [c20]Ron Alford, Pascal Bercher, David W. Aha:
Tight Bounds for HTN Planning. ICAPS 2015: 7-15 - [c19]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: 43-48 - [c18]Pascal Bercher, Daniel Höller, Gregor Behnke, Susanne Biundo:
User-Centered Planning - A Discussion on Planning in the Presence of Human Users. ISCT 2015: 79-83 - [c17]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 - [c16]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: 1442-1449 - [c15]Ron Alford, Pascal Bercher, David W. Aha:
Tight Bounds for HTN Planning with Task Insertion. IJCAI 2015: 1502-1508 - [c14]Florian Nothdurft, Gregor Behnke, Pascal Bercher, Susanne Biundo, Wolfgang Minker:
The Interplay of User-Centered Dialog Systems and AI Planning. SIGDIAL Conference 2015: 344-353 - [c13]Ron Alford, Pascal Bercher, David W. Aha:
Tight Bounds for HTN Planning with Task Insertion (Extended Abstract). SOCS 2015: 221-222 - 2014
- [c12]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 - [c11]Daniel Höller, Gregor Behnke, Pascal Bercher, Susanne Biundo:
Language Classification of Hierarchical Planning Problems. ECAI 2014: 447-452 - [c10]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: 378-381 - [c9]Pascal Bercher, Shawn Keen, Susanne Biundo:
Hybrid Planning Heuristics Based on Task Decomposition Graphs. SOCS 2014: 35-43 - 2013
- [c8]Pascal Bercher, Thomas Geier, Felix Richter, Susanne Biundo:
On Delete Relaxation in Partial-Order Causal-Link Planning. ICTAI 2013: 674-681 - [c7]Pascal Bercher, Thomas Geier, Susanne Biundo:
Using State-Based Planning Heuristics for Partial-Order Causal-Link Planning. KI 2013: 1-12 - 2012
- [c6]Mohamed Elkawkagy, Pascal Bercher, Bernd Schattenberg, Susanne Biundo:
Improving Hierarchical Planning Performance by the Use of Landmarks. AAAI 2012: 1763-1769 - [c5]Pascal Bercher, Susanne Biundo:
A Heuristic for Hybrid Planning with Preferences. FLAIRS 2012 - 2011
- [j1]Susanne Biundo, Pascal Bercher, Thomas Geier, Felix Müller, Bernd Schattenberg:
Advanced user assistance based on AI planning. Cogn. Syst. Res. 12(3-4): 219-236 (2011) - [c4]Thomas Geier, Pascal Bercher:
On the Decidability of HTN Planning with Task Insertion. IJCAI 2011: 1955-1961 - 2010
- [c3]Robert Mattmüller, Manuela Ortlieb, Malte Helmert, Pascal Bercher:
Pattern Database Heuristics for Fully Observable Nondeterministic Planning. ICAPS 2010: 105-112
2000 – 2009
- 2009
- [c2]Pascal Bercher, Robert Mattmüller:
Solving Non-deterministic Planning Problems with Pattern Database Heuristics. KI 2009: 57-64 - 2008
- [c1]Pascal Bercher, Robert Mattmüller:
A Planning Graph Heuristic for Forward-Chaining Adversarial Planning. ECAI 2008: 921-922
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 20:12 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
