Workshop Papers

generated by bibbase.org
  2024 (3)
An ILP Heuristic for Total-Order HTN Planning. Conny Olz; Alexander Lodemann; and Pascal Bercher. In Proceedings of the 7th ICAPS Workshop on Hierarchical Planning (HPlan 2024), pages 10–18, 2024.
An ILP Heuristic for Total-Order HTN Planning [pdf] paper   link   bibtex   abstract   12 downloads  
Towards Search Node-Specific Special-Case Heuristics for HTN Planning – An Empirical Analysis of Search Space Properties under Progression. Lijia Yuan; and Pascal Bercher. In Proceedings of the 7th ICAPS Workshop on Hierarchical Planning (HPlan 2024), pages 45–53, 2024.
Towards Search Node-Specific Special-Case Heuristics for HTN Planning – An Empirical Analysis of Search Space Properties under Progression [pdf]Paper   Towards Search Node-Specific Special-Case Heuristics for HTN Planning – An Empirical Analysis of Search Space Properties under Progression [pdf] poster   Towards Search Node-Specific Special-Case Heuristics for HTN Planning – An Empirical Analysis of Search Space Properties under Progression [pdf] slides   link   bibtex   abstract   14 downloads  
Envisioning a Domain Learning Track for the IPC. Gregor Behnke; and Pascal Bercher. In Proceedings of the Workshop on the International Planning Competition (WIPC 2024), 2024.
Envisioning a Domain Learning Track for the IPC [pdf] paper   Envisioning a Domain Learning Track for the IPC [pdf] slides   link   bibtex   abstract   5 downloads  
  2023 (2)
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence. Songtuan Lin; Conny Olz; Malte Helmert; and Pascal Bercher. In Proceedings of the 6th ICAPS Workshop on Hierarchical Planning (HPlan 2023), pages 35–43, 2023. Erratum: Corollary 1 and Proposition 5 incorrectly claimed NEXPTIME and co-NEXPTIME membership, respectively. Both should be one exponential harder, which is stated correctly in the AAAI 2024 version of this paper (same Corollary and Proposition).
On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence [pdf] paper   On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence [pdf] slides   On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence [pdf] poster   link   bibtex   abstract   18 downloads  
A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements. Conny Olz; and Pascal Bercher. In Proceedings of the 6th ICAPS Workshop on Hierarchical Planning (HPlan 2023), 2023. This paper was simultaneously accepted at SoCS and hence only published there.
A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements [pdf] paper   link   bibtex   abstract   25 downloads  
  2022 (7)
Finding Solution Preserving Linearizations For Partially Ordered Hierarchical Planning Problems. Ying Xian Wu; Songtuan Lin; Gregor Behnke; and Pascal Bercher. In 33rd PuK Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2022), 2022.
Finding Solution Preserving Linearizations For Partially Ordered Hierarchical Planning Problems [pdf] paper   Finding Solution Preserving Linearizations For Partially Ordered Hierarchical Planning Problems [pdf] slides   Finding Solution Preserving Linearizations For Partially Ordered Hierarchical Planning Problems [link] workshop   link   bibtex   abstract   26 downloads  
Planning Domain Repair as a Diagnosis Problem. Songtuan Lin; Alban Grastien; and Pascal Bercher. In Proceedings of the 33rd International Workshop on Principles of Diagnosis (DX 2022), 2022.
Planning Domain Repair as a Diagnosis Problem [pdf] paper   Planning Domain Repair as a Diagnosis Problem [pdf] slides   link   bibtex   abstract   12 downloads  
Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving. Songtuan Lin; Gregor Behnke; and Pascal Bercher. In Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022), pages 24–28, 2022.
Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving [pdf] paper   Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving [pdf] poster   Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving [link] presentation   link   bibtex   abstract   18 downloads  
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm. Songtuan Lin; Gregor Behnke; Simona Ondrčková; Roman Barták; and Pascal Bercher. In Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022), pages 52–58, 2022.
On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm [pdf] paper   On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm [pdf] poster   On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm [link] presentation   link   bibtex   abstract   20 downloads  
On the Efficient Inference of Preconditions and Effects of Compound Tasks in Partially Ordered HTN Planning Domains. Conny Olz; and Pascal Bercher. In Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022), pages 47–51, 2022.
On the Efficient Inference of Preconditions and Effects of Compound Tasks in Partially Ordered HTN Planning Domains [pdf] paper   On the Efficient Inference of Preconditions and Effects of Compound Tasks in Partially Ordered HTN Planning Domains [link] presentation   link   bibtex   abstract   21 downloads  
A Study of the Power of Heuristic-based Pruning via SAT Planning. Christopher Johnson; Pascal Bercher; and Charles Gretton. In Proceedings of the 14th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022), 2022. This paper has also been accepted at KEPS 2022.
A Study of the Power of Heuristic-based Pruning via SAT Planning [pdf] paper   A Study of the Power of Heuristic-based Pruning via SAT Planning [link] presentation   A Study of the Power of Heuristic-based Pruning via SAT Planning [link] openreview   link   bibtex   abstract   1 download  
A Study of the Power of Heuristic-based Pruning via SAT Planning. Christopher Johnson; Pascal Bercher; and Charles Gretton. In Proceedings of the 11th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2022), 2022. This paper has also been accepted at HSDIP 2022, the linked openReview reviews are from HSDIP.
A Study of the Power of Heuristic-based Pruning via SAT Planning [pdf] paper   A Study of the Power of Heuristic-based Pruning via SAT Planning [link] openreview   link   bibtex   abstract   1 download  
  2021 (6)
Towards Improving the Comprehension of HTN Planning Domains by Means of Preconditions and Effects of Compound Tasks. Conny Olz; Eva Wierzba; Pascal Bercher; and Felix Lindner. In Proceedings of the 10th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2021), 2021.
Towards Improving the Comprehension of HTN Planning Domains by Means of Preconditions and Effects of Compound Tasks [pdf] paper   Towards Improving the Comprehension of HTN Planning Domains by Means of Preconditions and Effects of Compound Tasks [pdf] slides   Towards Improving the Comprehension of HTN Planning Domains by Means of Preconditions and Effects of Compound Tasks [link] video-of-paper-presentation   link   bibtex   abstract   4 downloads  
The Complexity of Flexible FOND HTN Planning. Dillon Chen; and Pascal Bercher. In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 62–70, 2021.
The Complexity of Flexible FOND HTN Planning [pdf] paper   link   bibtex   abstract   1 download  
Compiling HTN Plan Verification Problems to HTN Planning Problems. Daniel Höller; Julia Wichlacz; Pascal Bercher; and Gregor Behnke. In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 8–15, 2021.
Compiling HTN Plan Verification Problems to HTN Planning Problems [pdf] paper   link   bibtex   abstract  
Temporal Hierarchical Task Network Planning with Nested Multi-Vehicle Routing Problems – A Challenge to be Resolved. Jane Jean Kiam; Pascal Bercher; and Axel Schulte. In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 71–75, 2021.
Temporal Hierarchical Task Network Planning with Nested Multi-Vehicle Routing Problems – A Challenge to be Resolved [pdf] paper   link   bibtex   abstract   5 downloads  
On the Computational Complexity of Correcting HTN Domain Models. Songtuan Lin; and Pascal Bercher. In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 35–43, 2021.
On the Computational Complexity of Correcting HTN Domain Models [pdf] paper   On the Computational Complexity of Correcting HTN Domain Models [pdf] slides   On the Computational Complexity of Correcting HTN Domain Models [pdf] poster   link   bibtex   abstract   11 downloads  
On the Verification of Totally-Ordered HTN Plans. Roman Barták; Simona Ondrčková; Gregor Behnke; and Pascal Bercher. In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 44–48, 2021.
On the Verification of Totally-Ordered HTN Plans [pdf] paper   link   bibtex   abstract   9 downloads  
  2020 (1)
Landmark Extraction in HTN Planning. Daniel Höller; and Pascal Bercher. In Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan 2020), pages 9–17, 2020. Erratum: Corollary 1 incorrectly claims an NP-completeness result. This should be co-NP-complete, which is stated correctly in the AAAI 2021 version of this paper (also Corollary 1).
Landmark Extraction in HTN Planning [pdf] paper   link   bibtex   abstract   3 downloads  
  2019 (3)
Hierarchical Planning in the IPC. Gregor Behnke; Daniel Höller; Pascal Bercher; Susanne Biundo; Damien Pellier; Humbert Fiorino; and Ron Alford. In Proceedings of the Workshop on the International Planning Competition (WIPC 2019), 2019.
Hierarchical Planning in the IPC [pdf] paper   Hierarchical Planning in the IPC [pdf] slides   Hierarchical Planning in the IPC [link] ipc-website   link   bibtex   abstract   16 downloads  
HDDL – A Language to Describe Hierarchical Planning Problems. Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Humbert Fiorino; Damien Pellier; and Ron Alford. In Proceedings of the Second ICAPS Workshop on Hierarchical Planning (HPlan 2019), pages 6–14, 2019.
HDDL – A Language to Describe Hierarchical Planning Problems [pdf] paper   HDDL – A Language to Describe Hierarchical Planning Problems [link] openreview   link   bibtex   abstract  
More Succinct Grounding of HTN Planning Problems – Preliminary Results. Gregor Behnke; Daniel Höller; Pascal Bercher; and Susanne Biundo. In Proceedings of the Second ICAPS Workshop on Hierarchical Planning (HPlan 2019), pages 40–48, 2019.
More Succinct Grounding of HTN Planning Problems – Preliminary Results [pdf] paper   More Succinct Grounding of HTN Planning Problems – Preliminary Results [link] openreview   link   bibtex   abstract  
  2018 (4)
Evaluating Knowledge-Based Assistance for DIY. Marvin Schiller; Gregor Behnke; Pascal Bercher; Matthias Kraus; Michael Dorna; Felix Richter; Susanne Biundo; Birte Glimm; and Wolfgang Minker. In Proceedings of MCI Workshop Digital Companion, pages 925–930, 2018.
Evaluating Knowledge-Based Assistance for DIY [pdf] paper   Evaluating Knowledge-Based Assistance for DIY [pdf] slides   link   bibtex   abstract   1 download  
HTN Plan Repair Using Unmodified Planning Systems. Daniel Höller; Pascal Bercher; Gregor Behnke; and Susanne Biundo. In Proceedings of the First ICAPS Workshop on Hierarchical Planning (HPlan 2018), pages 26–30, 2018.
HTN Plan Repair Using Unmodified Planning Systems [pdf] paper   link   bibtex   abstract  
A Multimodal Dialogue Framework for Cloud-Based Companion Systems. Matthias Kraus; Gregor Behnke; Pascal Bercher; Marvin Schiller; Susanne Biundo; Birte Glimm; and Wolfgang Minker. In Proceedings of the 9th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018), 2018.
A Multimodal Dialogue Framework for Cloud-Based Companion Systems [pdf] paper   link   bibtex   abstract  
Plan and Goal Recognition as HTN Planning. Daniel Höller; Pascal Bercher; Gregor Behnke; and Susanne Biundo. In Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018), 2018.
Plan and Goal Recognition as HTN Planning [pdf] paper   link   bibtex   abstract  
  2015 (1)
Integrating Ontologies and Planning for Cognitive Systems. Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Denis Ponomaryov; and Marvin Schiller. In Proceedings of the 28th International Workshop on Description Logics (DL 2015), 2015. CEUR Workshop Proceedings
Integrating Ontologies and Planning for Cognitive Systems [pdf] paper   link   bibtex   abstract  
  2014 (2)
Finding User-friendly Linearizations of Partially Ordered Plans. Daniel Höller; Pascal Bercher; Felix Richter; Marvin Schiller; Thomas Geier; and Susanne Biundo. In 28th PuK Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2014), 2014.
Finding User-friendly Linearizations of Partially Ordered Plans [pdf] paper   Finding User-friendly Linearizations of Partially Ordered Plans [pdf] slides   link   bibtex   abstract  
Introducing Hierarchy to Non-Hierarchical Planning Models: A Case Study for Behavioral Adversary Models. Louisa Pragst; Felix Richter; Pascal Bercher; Bernd Schattenberg; and Susanne Biundo. In 28th PuK Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2014), 2014.
Introducing Hierarchy to Non-Hierarchical Planning Models: A Case Study for Behavioral Adversary Models [pdf] paper   link   bibtex   abstract  
  2013 (2)
Encoding Partial Plans for Heuristic Search. Pascal Bercher; and Susanne Biundo. In Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2013), pages 11–15, 2013.
Encoding Partial Plans for Heuristic Search [pdf] paper   Encoding Partial Plans for Heuristic Search [pdf] slides   link   bibtex   abstract   3 downloads  
Search Strategies for Partial-Order Causal-Link Planning with Preferences. Pascal Bercher; Fabian Ginter; and Susanne Biundo. In 27th PuK Workshop ''Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2013), pages 29–40, 2013.
Search Strategies for Partial-Order Causal-Link Planning with Preferences [pdf] paper   Search Strategies for Partial-Order Causal-Link Planning with Preferences [pdf] slides   link   bibtex   abstract  
  2011 (2)
Landmark-Aware Strategies for Hierarchical Planning. Mohamed Elkawkagy; Pascal Bercher; Bernd Schattenberg; and Susanne Biundo. In Workshop on Heuristics for Domain-independent Planning (HDIP 2011), pages 73–79, 2011.
Landmark-Aware Strategies for Hierarchical Planning [pdf] paper   Landmark-Aware Strategies for Hierarchical Planning [pdf] slides   link   bibtex   abstract   1 download  
Hybrid Planning with Preferences Using a Heuristic for Partially Ordered Plans. Pascal Bercher; and Susanne Biundo. In 26th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2011), 2011.
Hybrid Planning with Preferences Using a Heuristic for Partially Ordered Plans [pdf] paper   Hybrid Planning with Preferences Using a Heuristic for Partially Ordered Plans [pdf] slides   link   bibtex   abstract  
  2010 (1)
Exploiting Landmarks for Hybrid Planning. Mohamed Elkawkagy; Pascal Bercher; Bernd Schattenberg; and Susanne Biundo. In 25th PuK Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" (PuK 2010), 2010.
Exploiting Landmarks for Hybrid Planning [pdf] paper   link   bibtex   abstract   1 download