var bibbase_data = {"data":"\"Loading..\"\n\n
\n\n \n\n \n\n \n \n\n \n\n \n \n\n \n\n \n
\n generated by\n \n \"bibbase.org\"\n\n \n
\n \n\n
\n\n \n\n\n
\n\n Excellent! Next you can\n create a new website with this list, or\n embed it in an existing web page by copying & pasting\n any of the following snippets.\n\n
\n JavaScript\n (easiest)\n
\n \n <script src=\"https://bibbase.org/show?bib=https://bercher.net/bibtex/workshops.bib&theme=default&fullnames=1&jsonp=1&hidemenu=1&jsonp=1\"></script>\n \n
\n\n PHP\n
\n \n <?php\n $contents = file_get_contents(\"https://bibbase.org/show?bib=https://bercher.net/bibtex/workshops.bib&theme=default&fullnames=1&jsonp=1&hidemenu=1\");\n print_r($contents);\n ?>\n \n
\n\n iFrame\n (not recommended)\n
\n \n <iframe src=\"https://bibbase.org/show?bib=https://bercher.net/bibtex/workshops.bib&theme=default&fullnames=1&jsonp=1&hidemenu=1\"></iframe>\n \n
\n\n

\n For more details see the documention.\n

\n
\n
\n\n
\n\n This is a preview! To use this list on your own web site\n or create a new web site from it,\n create a free account. The file will be added\n and you will be able to edit it in the File Manager.\n We will show you instructions once you've created your account.\n
\n\n
\n\n

To the site owner:

\n\n

Action required! Mendeley is changing its\n API. In order to keep using Mendeley with BibBase past April\n 14th, you need to:\n

    \n
  1. renew the authorization for BibBase on Mendeley, and
  2. \n
  3. update the BibBase URL\n in your page the same way you did when you initially set up\n this page.\n
  4. \n
\n

\n\n

\n \n \n Fix it now\n

\n
\n\n
\n\n\n
\n \n \n
\n
\n  \n 2024\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n An ILP Heuristic for Total-Order HTN Planning.\n \n \n \n\n\n \n Conny Olz; Alexander Lodemann; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 7th ICAPS Workshop on Hierarchical Planning (HPlan 2024), 2024. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Olz2024TOILPHeuristic,\n  author    = {Conny Olz and Alexander Lodemann and Pascal Bercher},\n  booktitle = {Proceedings of the 7th ICAPS Workshop on Hierarchical Planning (HPlan 2024)},\n  title     = {An ILP Heuristic for Total-Order HTN Planning},\n  year      = {2024},\n  abstract  = {Heuristic Search is still the most successful approach to hierarchical planning, both for finding any and for finding an optimal solution. Yet, there exist only a very small handful heuristics for HTN planning -- so there is still huge potential for improvements. It is especially noteworthy that there does not exist a single heuristic that's tailored towards special cases. In this work we propose the very first specialized HTN heuristic, tailored towards totally ordered HTN problems. Our heuristic builds on an existing NP-complete and admissible delete-and-ordering relaxation ILP heuristic but partially incorporates ordering constraints while reducing the number of ILP constraints. It exploits inferred preconditions and effects of compound tasks and is also admissible. Our current heuristic proves to be more efficient than the one we build on, though it still performs worse than other existing (admissible) heuristics.}\n}\n\n
\n
\n\n\n
\n Heuristic Search is still the most successful approach to hierarchical planning, both for finding any and for finding an optimal solution. Yet, there exist only a very small handful heuristics for HTN planning – so there is still huge potential for improvements. It is especially noteworthy that there does not exist a single heuristic that's tailored towards special cases. In this work we propose the very first specialized HTN heuristic, tailored towards totally ordered HTN problems. Our heuristic builds on an existing NP-complete and admissible delete-and-ordering relaxation ILP heuristic but partially incorporates ordering constraints while reducing the number of ILP constraints. It exploits inferred preconditions and effects of compound tasks and is also admissible. Our current heuristic proves to be more efficient than the one we build on, though it still performs worse than other existing (admissible) heuristics.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n Towards Search Node-Specific Special-Case Heuristics for HTN Planning – An Empirical Analysis of Search Space Properties under Progression.\n \n \n \n\n\n \n Lijia Yuan; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 7th ICAPS Workshop on Hierarchical Planning (HPlan 2024), 2024. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Yuan2024HTNSearchSpaceAnalysis,\n  author    = {Lijia Yuan and Pascal Bercher},\n  booktitle = {Proceedings of the 7th ICAPS Workshop on Hierarchical Planning (HPlan 2024)},\n  title     = {Towards Search Node-Specific Special-Case Heuristics for HTN Planning -- An Empirical Analysis of Search Space Properties under Progression},\n  year      = {2024},\n  abstract  = {In hierarchical task network (HTN) planning, heuristic search is highly effective, but currently, there are only a few available heuristics and they are pre-selected for use. However, during the progression-based search, many search nodes exhibit specific properties, e.g., they may become totally ordered or acyclic allowing for the application of specialized heuristics. In these search nodes, we conducted an experimental evaluation, employing reachability analysis, to examine the special cases encountered during the search. Measuring how often these special cases occur informs us of which special cases specialized heuristics are most promising.}\n}\n\n
\n
\n\n\n
\n In hierarchical task network (HTN) planning, heuristic search is highly effective, but currently, there are only a few available heuristics and they are pre-selected for use. However, during the progression-based search, many search nodes exhibit specific properties, e.g., they may become totally ordered or acyclic allowing for the application of specialized heuristics. In these search nodes, we conducted an experimental evaluation, employing reachability analysis, to examine the special cases encountered during the search. Measuring how often these special cases occur informs us of which special cases specialized heuristics are most promising.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Envisioning a Domain Learning Track for the IPC.\n \n \n \n \n\n\n \n Gregor Behnke; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the Workshop on the International Planning Competition, 2024. \n \n\n\n\n
\n\n\n\n \n \n \"Envisioning paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Behnke2024LearningTrack,\n  author    = {Gregor Behnke and Pascal Bercher},\n  booktitle = {Proceedings of the Workshop on the International Planning Competition},\n  title     = {Envisioning a Domain Learning Track for the IPC},\n  year      = {2024},\n  abstract  = {ICKEPS (International Competition on Knowledge Engineering for Planning and Scheduling) was created to make aware of the importance of domain engineering for planning and scheduling, but in past editions humans competed with the help of planning tools, thus encouraging the development of those tools (where humans were an integral part). We propose an IPC Domain Learning track, where learning algorithms would compete completely on their own, creating valid domain models without further use of input other than the constraints (like input plans) they base upon. We believe that this might help to establish some standard in the field of domain learning, such as a standard benchmark set, standard inputs (possibly an input language), and metrics to evaluate the learned domains against.},\n  url_Paper  = {https://bercher.net/publications/2024/Behnke2024LearningTrack.pdf},\n}\n\n
\n
\n\n\n
\n ICKEPS (International Competition on Knowledge Engineering for Planning and Scheduling) was created to make aware of the importance of domain engineering for planning and scheduling, but in past editions humans competed with the help of planning tools, thus encouraging the development of those tools (where humans were an integral part). We propose an IPC Domain Learning track, where learning algorithms would compete completely on their own, creating valid domain models without further use of input other than the constraints (like input plans) they base upon. We believe that this might help to establish some standard in the field of domain learning, such as a standard benchmark set, standard inputs (possibly an input language), and metrics to evaluate the learned domains against.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n A Visual Studio Code Extension for Automatically Repairing Planning Domains.\n \n \n \n\n\n \n Songtuan Lin; Mohammad Yousefi; and Pascal Bercher.\n\n\n \n\n\n\n In ICAPS 2024 Demonstrations, 2024. \n \n\n\n\n
\n\n\n\n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Lin2024VSPlugin,\n  author    = {Songtuan Lin and Mohammad Yousefi and Pascal Bercher},\n  booktitle = {ICAPS 2024 Demonstrations},\n  title     = {A Visual Studio Code Extension for Automatically Repairing Planning Domains},\n  year      = {2024},\n  abstract  = {We demonstrate a Visual Studio Code extension which aims at providing modeling assistance for modeling planning domains in PDDL. More specifically, the extension can identify potential flaws in a domain and propose respective corrections by taking as input a set of counter-example plans, which are known to be valid but actually contradict the domain. Those input plans shall be provided by the user. The flaws are then identified and corrected by making changes to the domain so as to turn those plans into solutions, i.e., the changes are regarded as potential corrections to the domain. Currently, the extension only supports corrections that add predicates to or remove predicates from actions' preconditions and effects.}\n}\n\n
\n
\n\n\n
\n We demonstrate a Visual Studio Code extension which aims at providing modeling assistance for modeling planning domains in PDDL. More specifically, the extension can identify potential flaws in a domain and propose respective corrections by taking as input a set of counter-example plans, which are known to be valid but actually contradict the domain. Those input plans shall be provided by the user. The flaws are then identified and corrected by making changes to the domain so as to turn those plans into solutions, i.e., the changes are regarded as potential corrections to the domain. Currently, the extension only supports corrections that add predicates to or remove predicates from actions' preconditions and effects.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2023\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence.\n \n \n \n \n\n\n \n Songtuan Lin; Conny Olz; Malte Helmert; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 6th ICAPS Workshop on Hierarchical Planning (HPlan 2023), pages 35–43, 2023. \n 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).\n\n\n\n
\n\n\n\n \n \n \"On paper\n  \n \n \n \"On slides\n  \n \n \n \"On poster\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 15 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Lin2023VerificationComplexity,\n  author     = {Songtuan Lin and Conny Olz and Malte Helmert and Pascal Bercher},\n  title      = {On the Computational Complexity of Plan Verification, (Bounded) Plan-Optimality Verification, and Bounded Plan Existence},\n  booktitle  = {Proceedings of the 6th ICAPS Workshop on Hierarchical Planning (HPlan 2023)},\n  pages      = {35--43},\n  year       = {2023},\n  note      = {<strong>Erratum:</strong> 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).},\n  abstract   = {In this paper we study the computational complexity of several reasoning tasks centered at the bounded plan existence problem. We do this for standard classical planning and hierarchical task network (HTN) planning and each for the grounded and the lifted representation. Whereas bounded plan existence complexity is known for classical planning, it has not been studied yet for HTN planning. For plan verification, results were available for both formalisms except the lifted representation of HTN planning. We will thus present the lower bound and the upper bound of the complexity of plan verification in lifted HTN planning and provide novel insights into its grounded counterpart, in which we show that verification is not just NP-complete in the general case, but already for a severely restricted special case. Finally, we show the computational complexity concerning the optimality of a given plan, i.e., answering the question whether such a plan is optimal, and discuss its connection to the bounded plan existence problem.},\n  url_Paper  = {https://bercher.net/publications/2023/Lin2023LiftedVerificationAndPlanEx.pdf},\n  url_Slides = {https://bercher.net/publications/2023/Lin2023LiftedVerificationAndPlanExSlides.pdf},\n  url_Poster = {https://bercher.net/publications/2023/Lin2023LiftedVerificationAndPlanExPoster.pdf}\n}\n\n
\n
\n\n\n
\n In this paper we study the computational complexity of several reasoning tasks centered at the bounded plan existence problem. We do this for standard classical planning and hierarchical task network (HTN) planning and each for the grounded and the lifted representation. Whereas bounded plan existence complexity is known for classical planning, it has not been studied yet for HTN planning. For plan verification, results were available for both formalisms except the lifted representation of HTN planning. We will thus present the lower bound and the upper bound of the complexity of plan verification in lifted HTN planning and provide novel insights into its grounded counterpart, in which we show that verification is not just NP-complete in the general case, but already for a severely restricted special case. Finally, we show the computational complexity concerning the optimality of a given plan, i.e., answering the question whether such a plan is optimal, and discuss its connection to the bounded plan existence problem.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements.\n \n \n \n \n\n\n \n Conny Olz; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 6th ICAPS Workshop on Hierarchical Planning (HPlan 2023), 2023. \n This paper was simultaneously accepted at SoCS and hence only published there.\n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 20 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Olz2023bTOLookAhead,\n  author    = {Conny Olz and Pascal Bercher},\n  title     = {A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements},\n  booktitle = {Proceedings of the 6th ICAPS Workshop on Hierarchical Planning (HPlan 2023)},\n  note      = {This paper was simultaneously accepted at SoCS and hence only published there.},\n  year      = {2023},\n  abstract  = {In HTN planning the choice of decomposition methods used to refine compound tasks is key to finding a valid plan. Based on inferred preconditions and effects of compound tasks, we propose a look-ahead technique for search-based total-order HTN planning that can identify inevitable refinement choices and in some cases dead-ends. The former occurs when all but one decomposition method for some task are proven infeasible for turning a task network into a solution, whereas the latter occurs when all methods are proven infeasible. We show how it can be used for pruning, as well as to strengthen heuristics and to reduce the search branching factor. An empirical evaluation proves its potential as incorporating it improves an existing HTN planner such that it is the currently best performing one in terms of coverage and IPC score.},\n  url_Paper = {https://bercher.net/publications/2023/Olz2023TOLookAhead.pdf}\n}\n\n
\n
\n\n\n
\n In HTN planning the choice of decomposition methods used to refine compound tasks is key to finding a valid plan. Based on inferred preconditions and effects of compound tasks, we propose a look-ahead technique for search-based total-order HTN planning that can identify inevitable refinement choices and in some cases dead-ends. The former occurs when all but one decomposition method for some task are proven infeasible for turning a task network into a solution, whereas the latter occurs when all methods are proven infeasible. We show how it can be used for pruning, as well as to strengthen heuristics and to reduce the search branching factor. An empirical evaluation proves its potential as incorporating it improves an existing HTN planner such that it is the currently best performing one in terms of coverage and IPC score.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2022\n \n \n (7)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Finding Solution Preserving Linearizations For Partially Ordered Hierarchical Planning Problems.\n \n \n \n \n\n\n \n Ying Xian Wu; Songtuan Lin; Gregor Behnke; and Pascal Bercher.\n\n\n \n\n\n\n In 33rd PuK Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2022), 2022. \n \n\n\n\n
\n\n\n\n \n \n \"Finding paper\n  \n \n \n \"Finding slides\n  \n \n \n \"Finding workshop\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 22 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Wu2022HTNLinearization,\n  author       = {Ying Xian Wu and Songtuan Lin and Gregor Behnke and Pascal Bercher},\n  booktitle    = {33rd {PuK} Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' ({PuK} 2022)},\n  title        = {Finding Solution Preserving Linearizations For Partially Ordered Hierarchical Planning Problems},\n  year         = {2022},\n  abstract     = {Solving partially ordered hierarchical planning problems is more computationally expensive compared to solving totally ordered ones. Therefore, automatically transforming partially ordered problem domains into totally ordered ones, such that the totally ordered problem still retains at least one solution, would be a desired capability as it would reduce complexity and thus make it easier for planning systems to solve the problem. This is a complex endeavour, because even creating all possible linearizations of all methods in the original domain does not guarantee that solutions are preserved. It also allows the planner to use algorithms and heuristics specialised for the totally ordered case to solve the transformed problem. In this paper, we propose an algorithm for converting partially ordered problems into totally ordered ones and give criterion for when this is possible. We test our techniques on the partially-ordered track of the bench-mark set of the IPC 2020 and solve both the linearized and the original partially-ordered problems using state-of-the-art planning systems. We find that in the majority of problems across a variety of domains, the linearized problem remains solvable, and can always be solved faster than the without our proposed pre-processing technique.},\n  url_Paper    = {https://bercher.net/publications/2022/Wu2022HTNLinearization.pdf},\n  url_Slides   = {https://bercher.net/publications/2022/Wu2022HTNLinearizationSlides.pdf},\n  url_Workshop = {http://www.member.uni-oldenburg.de/juergen.sauer/PuK/PuK2022/index.html}\n}\n\n
\n
\n\n\n
\n Solving partially ordered hierarchical planning problems is more computationally expensive compared to solving totally ordered ones. Therefore, automatically transforming partially ordered problem domains into totally ordered ones, such that the totally ordered problem still retains at least one solution, would be a desired capability as it would reduce complexity and thus make it easier for planning systems to solve the problem. This is a complex endeavour, because even creating all possible linearizations of all methods in the original domain does not guarantee that solutions are preserved. It also allows the planner to use algorithms and heuristics specialised for the totally ordered case to solve the transformed problem. In this paper, we propose an algorithm for converting partially ordered problems into totally ordered ones and give criterion for when this is possible. We test our techniques on the partially-ordered track of the bench-mark set of the IPC 2020 and solve both the linearized and the original partially-ordered problems using state-of-the-art planning systems. We find that in the majority of problems across a variety of domains, the linearized problem remains solvable, and can always be solved faster than the without our proposed pre-processing technique.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Planning Domain Repair as a Diagnosis Problem.\n \n \n \n \n\n\n \n Songtuan Lin; Alban Grastien; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 33rd International Workshop on Principles of Diagnosis (DX 2022), 2022. \n \n\n\n\n
\n\n\n\n \n \n \"Planning paper\n  \n \n \n \"Planning slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 10 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Lin2022RepairAsDiagnosis,\n  author     = {Songtuan Lin and Alban Grastien and Pascal Bercher},\n  booktitle  = {Proceedings of the 33rd International Workshop on Principles of Diagnosis (DX 2022)},\n  title      = {Planning Domain Repair as a Diagnosis Problem},\n  year       = {2022},\n  abstract   = {Techniques for diagnosis have been used in many applications. We explore the connection between diagnosis and AI planning in this paper and apply the diagnosis algorithm to repair a flawed planning domain. In particular, the scenario we are concerned with is that we are given a plan which is supposed to be a solution to a planning problem, but it is actually not due to some flaws in the planning domain, and we want to repair the domain to turn the plan into a solution. For this, we will first frame this problem as a diagnosis problem and then solve it via using diagnosis algorithms.},\n  url_Paper  = {https://bercher.net/publications/2022/Lin2022RepairAsDiagnosis.pdf},\n  url_Slides = {https://bercher.net/publications/2022/Lin2022RepairAsDiagnosisSlides.pdf},\n}\n\n
\n
\n\n\n
\n Techniques for diagnosis have been used in many applications. We explore the connection between diagnosis and AI planning in this paper and apply the diagnosis algorithm to repair a flawed planning domain. In particular, the scenario we are concerned with is that we are given a plan which is supposed to be a solution to a planning problem, but it is actually not due to some flaws in the planning domain, and we want to repair the domain to turn the plan into a solution. For this, we will first frame this problem as a diagnosis problem and then solve it via using diagnosis algorithms.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving.\n \n \n \n \n\n\n \n Songtuan Lin; Gregor Behnke; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022), pages 24–28, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"Exploiting paper\n  \n \n \n \"Exploiting poster\n  \n \n \n \"Exploiting presentation\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 17 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Lin2022SATviaSOGs,\n  author           = {Songtuan Lin and Gregor Behnke and Pascal Bercher},\n  booktitle        = {Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022)},\n  title            = {Exploiting Solution Order Graphs and Path Decomposition Trees for More Efficient HTN Plan Verification via SAT Solving},\n  year             = {2022},\n  pages            = {24--28},\n  abstract         = {The research on the plan verification problem has drawn increasing attention in the last few years. It can serve as an approach for validating a planning domain by viewing an input plan as a test case which is supposed to be a solution to a planning problem in the domain which is to be validated. In this paper, we study the plan verification problem in the context of Hierarchical Task Network (HTN) planning. Concretely, we will develop an SAT-based approach via exploiting the data structures solution order graphs and path decomposition trees employed by the state-of-the-art SAT-based HTN planner which transforms an HTN plan verification problem into an SAT formula. Additionally, for the purpose of completeness, we will also reimplement the old SAT-based plan verifier within an outdated planning system called PANDA-3 and integrate it into the new version called PANDA-pi.},\n  url_Paper        = {https://bercher.net/publications/2022/Lin2022SATbasedVerification.pdf},\n  url_Poster       = {https://bercher.net/publications/2022/Lin2022SATbasedVerificationPoster.pdf},\n  url_presentation = {https://youtu.be/DbDTuY7dOxM}\n}\n\n
\n
\n\n\n
\n The research on the plan verification problem has drawn increasing attention in the last few years. It can serve as an approach for validating a planning domain by viewing an input plan as a test case which is supposed to be a solution to a planning problem in the domain which is to be validated. In this paper, we study the plan verification problem in the context of Hierarchical Task Network (HTN) planning. Concretely, we will develop an SAT-based approach via exploiting the data structures solution order graphs and path decomposition trees employed by the state-of-the-art SAT-based HTN planner which transforms an HTN plan verification problem into an SAT formula. Additionally, for the purpose of completeness, we will also reimplement the old SAT-based plan verifier within an outdated planning system called PANDA-3 and integrate it into the new version called PANDA-pi.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On Total-Order HTN Plan Verification with Method Preconditions – An Extension of the CYK Parsing Algorithm.\n \n \n \n \n\n\n \n Songtuan Lin; Gregor Behnke; Simona Ondrčková; Roman Barták; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022), pages 52–58, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"On paper\n  \n \n \n \"On poster\n  \n \n \n \"On presentation\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 19 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Lin2022CYKParsing,\n  author           = {Songtuan Lin and Gregor Behnke and Simona Ondrčková and Roman Barták and Pascal Bercher},\n  booktitle        = {Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022)},\n  title            = {On Total-Order HTN Plan Verification with Method Preconditions -- An Extension of the CYK Parsing Algorithm},\n  year             = {2022},\n  pages            = {52--58},\n  abstract         = {In this paper, we consider the plan verification problem for totally ordered (TO) HTN planning. The problem is proved to be solvable in polynomial time by recognizing its connection to the membership decision problem for context-free grammars. The current state-of-the-art TO plan verifier solves the problem by a blind search approach in order to deal with some state constraints and henceforth results in several overheads. However, many existing TOHTN planning benchmarks do not have these constraints. Hence, we ignore them in the paper and develop a TOHTN plan verification approach which avoids those overheads in the state-of-the-art TO verifier via extending the CYK algorithm.},\n  url_Paper        = {https://bercher.net/publications/2022/Lin2022HTNCYKParsing.pdf},\n  url_Poster       = {https://bercher.net/publications/2022/Lin2022HTNCYKParsingPoster.pdf},\n  url_presentation = {https://youtu.be/AJqmbG9Bs2M}\n}\n\n
\n
\n\n\n
\n In this paper, we consider the plan verification problem for totally ordered (TO) HTN planning. The problem is proved to be solvable in polynomial time by recognizing its connection to the membership decision problem for context-free grammars. The current state-of-the-art TO plan verifier solves the problem by a blind search approach in order to deal with some state constraints and henceforth results in several overheads. However, many existing TOHTN planning benchmarks do not have these constraints. Hence, we ignore them in the paper and develop a TOHTN plan verification approach which avoids those overheads in the state-of-the-art TO verifier via extending the CYK algorithm.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On the Efficient Inference of Preconditions and Effects of Compound Tasks in Partially Ordered HTN Planning Domains.\n \n \n \n \n\n\n \n Conny Olz; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022), pages 47–51, 2022. \n \n\n\n\n
\n\n\n\n \n \n \"On paper\n  \n \n \n \"On presentation\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 15 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Olz2022POPrecsAndEffects,\n  author           = {Conny Olz and Pascal Bercher},\n  booktitle        = {Proceedings of the 5th ICAPS Workshop on Hierarchical Planning (HPlan 2022)},\n  title            = {On the Efficient Inference of Preconditions and Effects of Compound Tasks in Partially Ordered HTN Planning Domains},\n  year             = {2022},\n  Pages            = {47--51},\n  abstract         = {Recently, preconditions and effects of compound tasks based on their possible refinements have been introduced together with an efficient inference procedure to compute a subset of them. However, they were restricted to total-order HTN planning domains. In this paper we generalize the definitions and algorithm to the scenario of partially ordered domains.},\n  url_Paper        = {https://bercher.net/publications/2022/Olz2022POPrecsAndEffects.pdf},\n  url_presentation = {https://youtu.be/QsQsXBYu0yI}\n}\n\n
\n
\n\n\n
\n Recently, preconditions and effects of compound tasks based on their possible refinements have been introduced together with an efficient inference procedure to compute a subset of them. However, they were restricted to total-order HTN planning domains. In this paper we generalize the definitions and algorithm to the scenario of partially ordered domains.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Study of the Power of Heuristic-based Pruning via SAT Planning.\n \n \n \n \n\n\n \n Christopher Johnson; Pascal Bercher; and Charles Gretton.\n\n\n \n\n\n\n In Proceedings of the 14th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022), 2022. \n This paper has also been accepted at KEPS 2022.\n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n \n \"A presentation\n  \n \n \n \"A openreview\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Johnson2022aSATPruning,\n  author           = {Christopher Johnson and Pascal Bercher and Charles Gretton},\n  booktitle        = {Proceedings of the 14th Workshop on Heuristics and Search for Domain-independent Planning (HSDIP 2022)},\n  title            = {A Study of the Power of Heuristic-based Pruning via SAT Planning},\n  year             = {2022},\n  abstract         = {Planning as SAT (satisfiability) is the method of representing a horizon-bounded planning problem as a Boolean SAT problem, and using a SAT decision procedure to solve that problem. Representations are direct, thus a solution plan can be obtained directly from a satisfying valuation. By querying a SAT solver over a series of horizon lengths, up to a completeness threshold, this approach can be the basis of a complete planning procedure. SAT planning algorithms have been theoretically contrasted with IDA∗ search, a heuristic state-based search algorithm, where a theoretical exponential separation is demonstrated in favour of the SAT approach. Here a nominated heuristic is implemented in SAT with the query formulae encoding heuristic information.\nWe make two practical contributions related to this background. First, we provide to the best of our knowledge the first practical implementation of a theoretical SAT encoding of the h-2 heuristic. Second, we empirically evaluate SAT-based pruning by implementing heuristics h-max and h-2.},\n  note             = {This paper has also been accepted at KEPS 2022.},\n  url_Paper        = {https://bercher.net/publications/2022/Johnson2022SATBasedHeuristicPruning.pdf},\n  url_presentation = {https://www.youtube.com/watch?v=HFntrSAyszU},\n  url_openReview   = {https://openreview.net/forum?id=c2-QShxGZt}\n}\n\n
\n
\n\n\n
\n Planning as SAT (satisfiability) is the method of representing a horizon-bounded planning problem as a Boolean SAT problem, and using a SAT decision procedure to solve that problem. Representations are direct, thus a solution plan can be obtained directly from a satisfying valuation. By querying a SAT solver over a series of horizon lengths, up to a completeness threshold, this approach can be the basis of a complete planning procedure. SAT planning algorithms have been theoretically contrasted with IDA∗ search, a heuristic state-based search algorithm, where a theoretical exponential separation is demonstrated in favour of the SAT approach. Here a nominated heuristic is implemented in SAT with the query formulae encoding heuristic information. We make two practical contributions related to this background. First, we provide to the best of our knowledge the first practical implementation of a theoretical SAT encoding of the h-2 heuristic. Second, we empirically evaluate SAT-based pruning by implementing heuristics h-max and h-2.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Study of the Power of Heuristic-based Pruning via SAT Planning.\n \n \n \n \n\n\n \n Christopher Johnson; Pascal Bercher; and Charles Gretton.\n\n\n \n\n\n\n In Proceedings of the 11th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2022), 2022. \n This paper has also been accepted at HSDIP 2022, the linked openReview reviews are from HSDIP.\n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n \n \"A openreview\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Johnson2022bSATPruning,\n  author    = {Christopher Johnson and Pascal Bercher and Charles Gretton},\n  booktitle = {Proceedings of the 11th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2022)},\n  title     = {A Study of the Power of Heuristic-based Pruning via SAT Planning},\n  year      = {2022},\n  abstract  = {Planning as SAT (satisfiability) is the method of representing a horizon-bounded planning problem as a Boolean SAT problem, and using a SAT decision procedure to solve that problem. Representations are direct, thus a solution plan can be obtained directly from a satisfying valuation. By querying a SAT solver over a series of horizon lengths, up to a completeness threshold, this approach can be the basis of a complete planning procedure. SAT planning algorithms have been theoretically contrasted with IDA∗ search, a heuristic state-based search algorithm, where a theoretical exponential separation is demonstrated in favour of the SAT approach. Here a nominated heuristic is implemented in SAT with the query formulae encoding heuristic information.\nWe make two practical contributions related to this background. First, we provide to the best of our knowledge the first practical implementation of a theoretical SAT encoding of the h-2 heuristic. Second, we empirically evaluate SAT-based pruning by implementing heuristics h-max and h-2.},\n  note      = {This paper has also been accepted at HSDIP 2022, the linked openReview reviews are from HSDIP.},\n  url_Paper     = {https://bercher.net/publications/2022/Johnson2022SATBasedHeuristicPruning.pdf},\n  url_openReview = {https://openreview.net/forum?id=c2-QShxGZt}\n}\n\n
\n
\n\n\n
\n Planning as SAT (satisfiability) is the method of representing a horizon-bounded planning problem as a Boolean SAT problem, and using a SAT decision procedure to solve that problem. Representations are direct, thus a solution plan can be obtained directly from a satisfying valuation. By querying a SAT solver over a series of horizon lengths, up to a completeness threshold, this approach can be the basis of a complete planning procedure. SAT planning algorithms have been theoretically contrasted with IDA∗ search, a heuristic state-based search algorithm, where a theoretical exponential separation is demonstrated in favour of the SAT approach. Here a nominated heuristic is implemented in SAT with the query formulae encoding heuristic information. We make two practical contributions related to this background. First, we provide to the best of our knowledge the first practical implementation of a theoretical SAT encoding of the h-2 heuristic. Second, we empirically evaluate SAT-based pruning by implementing heuristics h-max and h-2.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2021\n \n \n (6)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Towards Improving the Comprehension of HTN Planning Domains by Means of Preconditions and Effects of Compound Tasks.\n \n \n \n \n\n\n \n Conny Olz; Eva Wierzba; Pascal Bercher; and Felix Lindner.\n\n\n \n\n\n\n In Proceedings of the 10th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2021), 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Towards paper\n  \n \n \n \"Towards slides\n  \n \n \n \"Towards video-of-paper-presentation\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 4 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Olz2021ComprehendHTNModels,\n  author    = {Conny Olz and Eva Wierzba and Pascal Bercher and Felix Lindner},\n  title     = {Towards Improving the Comprehension of HTN Planning Domains by Means of Preconditions and Effects of Compound Tasks},\n  booktitle = {Proceedings of the 10th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2021)},\n  year      = {2021},\n  abstract  = {Hierarchical Task Network (HTN) planning is a paradigm that offers engineers a formalism for modeling planning domains in terms of possible decompositions of compound tasks. A complete decomposition of a compound task results in totally or partially ordered primitive tasks, i.e., plans in the classical sense. Existing specification languages for HTN domains, such as HDDL, do only allow the assertion of preconditions and effects for primitive tasks but not for compound ones. Recently, a method for inferring preconditions and effects for compound tasks was proposed. It was hypothesized that inferred preconditions and effects can aid knowledge engineers in understanding HTN domain specifications and in predicting the meaning of particular compound tasks. We describe preliminary results from a study that supports this hypothesis and discuss future research directions.},\n  url_Paper = {https://bercher.net/publications/2021/Olz2021ComprehendHTNModels.pdf},\n  url_Slides = {https://bercher.net/publications/2021/Olz2021ComprehendHTNModelsSlides.pdf},\n  url_video-of-paper-presentation = {https://www.youtube.com/watch?v=jLcTjrtNhaY&list=PLd_hcmfMPvAhDzHla0ZR6dNsiKBlwsx6K&index=11}\n}\n\n
\n
\n\n\n
\n Hierarchical Task Network (HTN) planning is a paradigm that offers engineers a formalism for modeling planning domains in terms of possible decompositions of compound tasks. A complete decomposition of a compound task results in totally or partially ordered primitive tasks, i.e., plans in the classical sense. Existing specification languages for HTN domains, such as HDDL, do only allow the assertion of preconditions and effects for primitive tasks but not for compound ones. Recently, a method for inferring preconditions and effects for compound tasks was proposed. It was hypothesized that inferred preconditions and effects can aid knowledge engineers in understanding HTN domain specifications and in predicting the meaning of particular compound tasks. We describe preliminary results from a study that supports this hypothesis and discuss future research directions.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n The Complexity of Flexible FOND HTN Planning.\n \n \n \n \n\n\n \n Dillon Chen; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 62–70, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"The paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Chen2021FlexibleFONDHTNs,\n  author    = {Dillon Chen and Pascal Bercher},\n  title     = {The Complexity of Flexible FOND HTN Planning},\n  booktitle = {Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021)},\n  year      = {2021},\n  pages     = {62--70},\n  abstract  = {Hierarchical Task Network (HTN) planning is an expressive planning formalism that has often been advocated as a first choice to address real-world problems. Yet only a few extensions exist that can deal with the many challenges encountered in the real world. One of them is the capability to express uncertainty. Recently, a new HTN formalism for Fully Observable Nondeterministic (FOND) problems was proposed and studied theoretically. In this paper, we lay out limitations of that formalism and propose an alternative definition, which addresses and resolves such` limitations. We conduct a complexity study of an alternative, more flexible formalism and provide tight complexity bounds for most of the investigated special cases of the problem.},\n  url_Paper = {https://bercher.net/publications/2021/Chen2021FlexibleFONDHTNs.pdf}\n}\n\n
\n
\n\n\n
\n Hierarchical Task Network (HTN) planning is an expressive planning formalism that has often been advocated as a first choice to address real-world problems. Yet only a few extensions exist that can deal with the many challenges encountered in the real world. One of them is the capability to express uncertainty. Recently, a new HTN formalism for Fully Observable Nondeterministic (FOND) problems was proposed and studied theoretically. In this paper, we lay out limitations of that formalism and propose an alternative definition, which addresses and resolves such` limitations. We conduct a complexity study of an alternative, more flexible formalism and provide tight complexity bounds for most of the investigated special cases of the problem.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Compiling HTN Plan Verification Problems to HTN Planning Problems.\n \n \n \n \n\n\n \n Daniel Höller; Julia Wichlacz; Pascal Bercher; and Gregor Behnke.\n\n\n \n\n\n\n In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 8–15, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Compiling paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoeller2021VerificationViaPlanning,\n  author    = {Daniel H\\"oller and Julia Wichlacz and Pascal Bercher and Gregor Behnke},\n  title     = {Compiling HTN Plan Verification Problems to HTN Planning Problems},\n  booktitle = {Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021)},\n  year      = {2021},\n  pages     = {8--15},\n  abstract  = {Plan Verification is the task of deciding whether a sequence of actions is a solution for a given planning problem. In HTN planning, the task is computationally expensive and may be up to NP-hard. However, there are situations where it needs to be solved, e.g. when a solution is post-processed, in systems using approximation, or just to validate whether a planning system works correctly (e.g. for debugging or in a competition). In the literature, there are verification systems based on translations to propositional logic and based on techniques from parsing. Here we present a third approach and translate plan verification problems to HTN planning problems. These can be solved using any HTN planning system. We test our solver on the set of solutions from the 2020 International Planning Competition. Our evaluation is yet preliminary, because it does not include all systems from the literature, but it already shows that our approach performs well compared with the included systems.},\n  url_Paper = {https://bercher.net/publications/2021/Hoeller2021VerificationViaCompilation.pdf}\n}\n\n
\n
\n\n\n
\n Plan Verification is the task of deciding whether a sequence of actions is a solution for a given planning problem. In HTN planning, the task is computationally expensive and may be up to NP-hard. However, there are situations where it needs to be solved, e.g. when a solution is post-processed, in systems using approximation, or just to validate whether a planning system works correctly (e.g. for debugging or in a competition). In the literature, there are verification systems based on translations to propositional logic and based on techniques from parsing. Here we present a third approach and translate plan verification problems to HTN planning problems. These can be solved using any HTN planning system. We test our solver on the set of solutions from the 2020 International Planning Competition. Our evaluation is yet preliminary, because it does not include all systems from the literature, but it already shows that our approach performs well compared with the included systems.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Temporal Hierarchical Task Network Planning with Nested Multi-Vehicle Routing Problems – A Challenge to be Resolved.\n \n \n \n \n\n\n \n Jane Jean Kiam; Pascal Bercher; and Axel Schulte.\n\n\n \n\n\n\n In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 71–75, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"Temporal paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 5 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Kiam2021TemporalHTNsChallenge,\n  author    = {Jane Jean Kiam and Pascal Bercher and Axel Schulte},\n  title     = {Temporal Hierarchical Task Network Planning with Nested Multi-Vehicle Routing Problems -- A Challenge to be Resolved},\n  booktitle = {Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021)},\n  year      = {2021},\n  pages     = {71--75},\n  abstract  = {This paper focuses on presenting a complex real-world planning application based on a rescue mission. While temporal hierarchical planning seems to be a promising solution to such class of problems, given its ability to consider experts' knowledge and dissect the search space, many major challenges of complex real-world planning problems are not addressed yet formally, i.e. recursive decomposition to achieve a goal state, optimization of utility functions defined for abstract tasks, and optimal allocation of tasks to multiple actors.},\n  url_Paper = {https://bercher.net/publications/2021/Kiam2021TemporalHTNsChallenge.pdf}\n}\n\n
\n
\n\n\n
\n This paper focuses on presenting a complex real-world planning application based on a rescue mission. While temporal hierarchical planning seems to be a promising solution to such class of problems, given its ability to consider experts' knowledge and dissect the search space, many major challenges of complex real-world planning problems are not addressed yet formally, i.e. recursive decomposition to achieve a goal state, optimization of utility functions defined for abstract tasks, and optimal allocation of tasks to multiple actors.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On the Computational Complexity of Correcting HTN Domain Models.\n \n \n \n \n\n\n \n Songtuan Lin; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 35–43, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"On paper\n  \n \n \n \"On slides\n  \n \n \n \"On poster\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 10 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Lin2021CorrectingHTNModels,\n  author    = {Songtuan Lin and Pascal Bercher},\n  title     = {On the Computational Complexity of Correcting HTN Domain Models},\n  booktitle = {Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021)},\n  year      = {2021},\n  pages     = {35--43},\n  abstract  = {Incorporating user requests into planning processes is a key concept in developing flexible planning technologies. Such systems may be required to change its planning model to adapt to certain user requests. In this paper, we assume a user provides a non-solution plan to a system and asks it to change the planning model so that the plan becomes a solution. We study the computational complexity of deciding whether such changes exist in the context of Hierarchical Task Network (HTN) planning. We prove that the problem is NP-complete in general independent of what or how many changes are allowed. We also identify several conditions which make the problem tractable when they are satisfied.},\n  url_Paper = {https://bercher.net/publications/2021/Lin2021HTNChangeComplexity.pdf},\n  url_Slides = {https://bercher.net/publications/2021/Lin2021HTNChangeComplexitySlides.pdf},\n  url_Poster = {https://bercher.net/publications/2021/Lin2021HTNChangeComplexityPoster.pdf}\n}\n\n
\n
\n\n\n
\n Incorporating user requests into planning processes is a key concept in developing flexible planning technologies. Such systems may be required to change its planning model to adapt to certain user requests. In this paper, we assume a user provides a non-solution plan to a system and asks it to change the planning model so that the plan becomes a solution. We study the computational complexity of deciding whether such changes exist in the context of Hierarchical Task Network (HTN) planning. We prove that the problem is NP-complete in general independent of what or how many changes are allowed. We also identify several conditions which make the problem tractable when they are satisfied.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n On the Verification of Totally-Ordered HTN Plans.\n \n \n \n \n\n\n \n Roman Barták; Simona Ondrčková; Gregor Behnke; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021), pages 44–48, 2021. \n \n\n\n\n
\n\n\n\n \n \n \"On paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 9 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Bartak2021TOHTNVerification,\n  author    = {Roman Bart{\\'a}k and Simona Ondr\\v{c}kov\\'{a} and Gregor Behnke and Pascal Bercher},\n  title     = {On the Verification of Totally-Ordered HTN Plans},\n  booktitle = {Proceedings of the 4th ICAPS Workshop on Hierarchical Planning (HPlan 2021)},\n  year      = {2021},\n  pages     = {44--48},\n  abstract  = {Verifying HTN plans is an intractable problem with two existing approaches to solve the problem. One technique is based on compilation to SAT. Another method is using parsing, and it is currently the fastest technique for verifying HTN plans. In this paper, we propose an extension of the parsing-based approach to verify totally-ordered HTN plans. This problem is known to be tractable, and we show theoretically and empirically that the modified parsing approach achieves better performance than the currently fastest HTN plan verifier when applied to totally-ordered HTN plans.},\n  url_Paper = {https://bercher.net/publications/2021/Bartak2021TOHTNVerification.pdf}\n}\n\n
\n
\n\n\n
\n Verifying HTN plans is an intractable problem with two existing approaches to solve the problem. One technique is based on compilation to SAT. Another method is using parsing, and it is currently the fastest technique for verifying HTN plans. In this paper, we propose an extension of the parsing-based approach to verify totally-ordered HTN plans. This problem is known to be tractable, and we show theoretically and empirically that the modified parsing approach achieves better performance than the currently fastest HTN plan verifier when applied to totally-ordered HTN plans.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2020\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Landmark Extraction in HTN Planning.\n \n \n \n \n\n\n \n Daniel Höller; and Pascal Bercher.\n\n\n \n\n\n\n In Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan 2020), pages 9–17, 2020. \n 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).\n\n\n\n
\n\n\n\n \n \n \"Landmark paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 3 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoeller2020Landmarks,\n  author    = {Daniel Höller and Pascal Bercher},\n  title     = {Landmark Extraction in HTN Planning},\n  booktitle = {Proceedings of the 3rd ICAPS Workshop on Hierarchical Planning (HPlan 2020)},\n  year      = {2020},\n  pages     = {9--17},\n  abstract  = {Landmarks are a valuable source of information for heuristics in planning. They have been used both in classical and hierarchical planning, but while there is much work in classical planning, the techniques in hierarchical planning are less evolved. In this paper we summarize landmark techniques for HTN planning, discuss their limitations, and show how to use techniques from classical planning to find more landmarks in HTN planning than previously possible. On a widely used benchmark set, our approach finds 2.3 times the number of landmarks compared to the approach from the literature. We conduct some preliminary tests on landmark-based heuristics for HTN planning. Our empirical evaluation shows that the heuristics based on our new extraction method perform better than the one based on the extraction technique from the literature. However, all landmark-based heuristics are not competitive with recent heuristics in HTN planning.},\n  note      = {<strong>Erratum:</strong> 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).},\n  url_Paper = {https://bercher.net/publications/2020/Hoeller2020LandmarkExtraction.pdf}\n}\n\n
\n
\n\n\n
\n Landmarks are a valuable source of information for heuristics in planning. They have been used both in classical and hierarchical planning, but while there is much work in classical planning, the techniques in hierarchical planning are less evolved. In this paper we summarize landmark techniques for HTN planning, discuss their limitations, and show how to use techniques from classical planning to find more landmarks in HTN planning than previously possible. On a widely used benchmark set, our approach finds 2.3 times the number of landmarks compared to the approach from the literature. We conduct some preliminary tests on landmark-based heuristics for HTN planning. Our empirical evaluation shows that the heuristics based on our new extraction method perform better than the one based on the extraction technique from the literature. However, all landmark-based heuristics are not competitive with recent heuristics in HTN planning.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2019\n \n \n (3)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Hierarchical Planning in the IPC.\n \n \n \n \n\n\n \n Gregor Behnke; Daniel Höller; Pascal Bercher; Susanne Biundo; Damien Pellier; Humbert Fiorino; and Ron Alford.\n\n\n \n\n\n\n In Proceedings of the Workshop on the International Planning Competition, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"Hierarchical paper\n  \n \n \n \"Hierarchical slides\n  \n \n \n \"Hierarchical ipc-website\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 9 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Inproceedings{Behnke2019HTN-IPC,\n   author          = {Gregor Behnke and Daniel H{\\"o}ller and Pascal Bercher and Susanne Biundo and Damien Pellier and Humbert Fiorino and Ron Alford},\n   title           = {Hierarchical Planning in the IPC},\n   year            = {2019},\n   booktitle       = {Proceedings of the Workshop on the International Planning Competition},\n   abstract        = {Over the last years, the amount of research in hierarchical planning has increased, leading to significant improvements in the performance of planners. However, the research is diverging and planners are somewhat hard to compare against each other. This is mostly caused by the fact that there is no standard set of benchmark domains, nor even a common description language for hierarchical planning problems. As a consequence, the available planners support a widely varying set of features and (almost) none of them can solve (or even parse) any problem developed for another planner. With this paper, we propose to create a new track for the IPC in which hierarchical planners will compete. This competition will result in a standardised description language, broader support for core features of that language among planners, a set of benchmark problems, a means to fairly and objectively compare HTN planners, and for new challenges for planners.},\n   url_Paper       = {https://bercher.net/publications/2019/Behnke2019HTN-IPC.pdf},\n   url_Slides      = {https://bercher.net/publications/2019/Behnke2019HTN-IPCSlides.pdf},\n   url_IPC-website = {http://ipc2020.hierarchical-task.net}\n}\n\n
\n
\n\n\n
\n Over the last years, the amount of research in hierarchical planning has increased, leading to significant improvements in the performance of planners. However, the research is diverging and planners are somewhat hard to compare against each other. This is mostly caused by the fact that there is no standard set of benchmark domains, nor even a common description language for hierarchical planning problems. As a consequence, the available planners support a widely varying set of features and (almost) none of them can solve (or even parse) any problem developed for another planner. With this paper, we propose to create a new track for the IPC in which hierarchical planners will compete. This competition will result in a standardised description language, broader support for core features of that language among planners, a set of benchmark problems, a means to fairly and objectively compare HTN planners, and for new challenges for planners.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n HDDL – A Language to Describe Hierarchical Planning Problems.\n \n \n \n \n\n\n \n Daniel Höller; Gregor Behnke; Pascal Bercher; Susanne Biundo; Humbert Fiorino; Damien Pellier; and Ron Alford.\n\n\n \n\n\n\n In Proceedings of the Second ICAPS Workshop on Hierarchical Planning (HPlan 2019), pages 6–14, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"HDDL paper\n  \n \n \n \"HDDL openreview\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Inproceedings{Hoeller2019HDDL,\n   author    = {Daniel H{\\"o}ller and Gregor Behnke and Pascal Bercher and Susanne Biundo and Humbert Fiorino and Damien Pellier and Ron Alford},\n   title     = {HDDL -- A Language to Describe Hierarchical Planning Problems},\n   year      = {2019},\n   booktitle = {Proceedings of the Second ICAPS Workshop on Hierarchical Planning (HPlan 2019)},\n   pages     = {6--14},\n   abstract  = {The research in hierarchical planning has made considerable progress in the last few years. Many recent systems do not rely on hand-tailored advice anymore to find solutions, but are supposed to be domain-independent systems that come with sophisticated solving techniques. In principle, this development would make the comparison between systems easier (because the domains are not tailored to a single system anymore) and -- much more important -- also the integration into other systems, because the modeling process is less tedious (due to the lack of advice) and there is no (or less) commitment to a certain planning system the model is created for. However, these advantages are destroyed by the lack of a common input language and feature set supported by the different systems. In this paper, we propose an extension to PDDL, the description language used in non-hierarchical planning, to the needs of hierarchical planning systems. We restrict our language to a basic feature set shared by many recent systems, give an extension of PDDL's EBNF syntax definition, and discuss our extensions, especially with respect to planner-specific input languages from related work.},\n   url_Paper = {https://bercher.net/publications/2019/Hoeller2019HDDL.pdf},\n   url_openReview = {https://openreview.net/forum?id=HJeT8HBbt4}\n}\n\n
\n
\n\n\n
\n The research in hierarchical planning has made considerable progress in the last few years. Many recent systems do not rely on hand-tailored advice anymore to find solutions, but are supposed to be domain-independent systems that come with sophisticated solving techniques. In principle, this development would make the comparison between systems easier (because the domains are not tailored to a single system anymore) and – much more important – also the integration into other systems, because the modeling process is less tedious (due to the lack of advice) and there is no (or less) commitment to a certain planning system the model is created for. However, these advantages are destroyed by the lack of a common input language and feature set supported by the different systems. In this paper, we propose an extension to PDDL, the description language used in non-hierarchical planning, to the needs of hierarchical planning systems. We restrict our language to a basic feature set shared by many recent systems, give an extension of PDDL's EBNF syntax definition, and discuss our extensions, especially with respect to planner-specific input languages from related work.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n More Succinct Grounding of HTN Planning Problems – Preliminary Results.\n \n \n \n \n\n\n \n Gregor Behnke; Daniel Höller; Pascal Bercher; and Susanne Biundo.\n\n\n \n\n\n\n In Proceedings of the Second ICAPS Workshop on Hierarchical Planning (HPlan 2019), pages 40–48, 2019. \n \n\n\n\n
\n\n\n\n \n \n \"More paper\n  \n \n \n \"More openreview\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Inproceedings{Behnke2019GroundingHTNs,\n   author    = {Gregor Behnke and Daniel H{\\"o}ller and Pascal Bercher and Susanne Biundo},\n   title     = {More Succinct Grounding of HTN Planning Problems -- Preliminary Results},\n   year      = {2019},\n   booktitle = {Proceedings of the Second ICAPS Workshop on Hierarchical Planning (HPlan 2019)},\n   pages     = {40--48},\n   abstract  = {Planning systems usually operate on grounded representations of the planning problems during search. Further, planners that use translations into other combinatorial problems also often perform their translations based on a grounded model. Planning models, however, are commonly defined in a lifted formalism. As such, one of the first preprocessing steps a planner performs is to generate a grounded representation. In this paper we present a new approach for grounding HTN planning problems that produces smaller groundings than the previously published method. We expect this decrease in size to lead to more efficient planners.},\n   url_Paper = {https://bercher.net/publications/2019/Behnke2019GroundingHTNs.pdf},\n   url_openReview = {https://openreview.net/forum?id=H1lgDHr-FE}\n}\n\n
\n
\n\n\n
\n Planning systems usually operate on grounded representations of the planning problems during search. Further, planners that use translations into other combinatorial problems also often perform their translations based on a grounded model. Planning models, however, are commonly defined in a lifted formalism. As such, one of the first preprocessing steps a planner performs is to generate a grounded representation. In this paper we present a new approach for grounding HTN planning problems that produces smaller groundings than the previously published method. We expect this decrease in size to lead to more efficient planners.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2018\n \n \n (4)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Evaluating Knowledge-Based Assistance for DIY.\n \n \n \n \n\n\n \n Marvin Schiller; Gregor Behnke; Pascal Bercher; Matthias Kraus; Michael Dorna; Felix Richter; Susanne Biundo; Birte Glimm; and Wolfgang Minker.\n\n\n \n\n\n\n In Proceedings of MCI Workshop Digital Companion, pages 925–930, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"Evaluating paper\n  \n \n \n \"Evaluating slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Inproceedings{Schiller2018EvaluatingDIY,\n   author     = {Schiller, Marvin and Behnke, Gregor and Pascal Bercher and Kraus, Matthias and Dorna, Michael and Richter, Felix and Biundo, Susanne and Glimm, Birte and Minker, Wolfgang},\n   title      = {Evaluating Knowledge-Based Assistance for DIY},\n   year       = {2018},\n   pages      = {925--930},\n   booktitle  = {Proceedings of MCI Workshop Digital Companion},\n   abstract   = {We report on the development of a companion system incorporating hierarchical planning, ontology-based knowledge modeling and multimodal cloud-based dialog. As an application scenario, we consider the domain of do-it-yourself (DIY) home improvement involving the use of power tools. To test and -- if necessary -- adjust the developed techniques, user studies are conducted throughout the development phase. We present fundamental considerations and open questions encountered when testing the implemented prototype with potential users and report first observations from a current study.},\n   url_Paper  = {https://bercher.net/publications/2018/Schiller2018EvaluatingDIY.pdf},\n   url_Slides = {https://bercher.net/publications/2018/Schiller2018EvaluatingDIYSlides.pdf}\n}\n\n
\n
\n\n\n
\n We report on the development of a companion system incorporating hierarchical planning, ontology-based knowledge modeling and multimodal cloud-based dialog. As an application scenario, we consider the domain of do-it-yourself (DIY) home improvement involving the use of power tools. To test and – if necessary – adjust the developed techniques, user studies are conducted throughout the development phase. We present fundamental considerations and open questions encountered when testing the implemented prototype with potential users and report first observations from a current study.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n HTN Plan Repair Using Unmodified Planning Systems.\n \n \n \n \n\n\n \n Daniel Höller; Pascal Bercher; Gregor Behnke; and Susanne Biundo.\n\n\n \n\n\n\n In Proceedings of the First ICAPS Workshop on Hierarchical Planning (HPlan 2018), pages 26–30, 2018. \n \n\n\n\n
\n\n\n\n \n \n \"HTN paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Inproceedings{Hoeller2018HTNRepair,\n   author    = {Daniel Höller and Pascal Bercher and Gregor Behnke and Susanne Biundo},\n   title     = {HTN Plan Repair Using Unmodified Planning Systems},\n   year      = {2018},\n   pages     = {26--30},\n   booktitle = {Proceedings of the First ICAPS Workshop on Hierarchical Planning (HPlan 2018)},\n   abstract  = {To make planning feasible, planning models abstract from many details of the modeled system. When executing plans in the actual system, the model might be inaccurate in a critical point, and plan execution may fail. There are two options to handle this case: the previous solution can be modified to address the failure (plan repair), or the planning process can be re-started from the new situation (re-planning). In HTN planning, discarding the plan and generating a new one from the novel situation is not easily possible, because the HTN solution criteria make it necessary to take already executed actions into account. Therefore all approaches to repair plans in the literature are based on specialized algorithms. In this paper, we discuss the problem in detail and introduce a novel approach that makes it possible to use unchanged, off-the-shelf HTN planning systems to repair broken HTN plans. That way, no specialized solvers are needed.},\n   url_Paper = {https://bercher.net/publications/2018/Hoeller2018HTNRepair.pdf}\n}\n\n
\n
\n\n\n
\n To make planning feasible, planning models abstract from many details of the modeled system. When executing plans in the actual system, the model might be inaccurate in a critical point, and plan execution may fail. There are two options to handle this case: the previous solution can be modified to address the failure (plan repair), or the planning process can be re-started from the new situation (re-planning). In HTN planning, discarding the plan and generating a new one from the novel situation is not easily possible, because the HTN solution criteria make it necessary to take already executed actions into account. Therefore all approaches to repair plans in the literature are based on specialized algorithms. In this paper, we discuss the problem in detail and introduce a novel approach that makes it possible to use unchanged, off-the-shelf HTN planning systems to repair broken HTN plans. That way, no specialized solvers are needed.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n A Multimodal Dialogue Framework for Cloud-Based Companion Systems.\n \n \n \n \n\n\n \n Matthias Kraus; Gregor Behnke; Pascal Bercher; Marvin Schiller; Susanne Biundo; Birte Glimm; and Wolfgang Minker.\n\n\n \n\n\n\n In Proceedings of the 9th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018), 2018. \n \n\n\n\n
\n\n\n\n \n \n \"A paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Inproceedings{Kraus2018CompanionCloudDemo,\n   author    = {Kraus, Matthias and Behnke, Gregor and Pascal Bercher and Schiller, Marvin and Biundo, Susanne and Glimm, Birte and Minker, Wolfgang},\n   title     = {A Multimodal Dialogue Framework for Cloud-Based Companion Systems},\n   year      = {2018},\n   booktitle = {Proceedings of the 9th International Workshop on Spoken Dialog Systems Technology (IWSDS 2018)},\n   abstract  = {Companion systems are cooperative, cognitive systems aiming at assisting a user in everyday situations. Therefore, these systems require a high level of availability. One option to meet this requirement is to use a web-deployable architecture. In this demo paper, we present a multimodal cloud-based dialogue framework for the development of a distributed, web-based companion system. The proposed framework is intended to provide an efficient, easily extensible, and scalable approach for this kind of systems and will be demonstrated in a do-it-yourself assistance scenario.},\n   url_Paper = {https://bercher.net/publications/2018/Kraus2018CompanionCloudDemo.pdf}\n}\n\n
\n
\n\n\n
\n Companion systems are cooperative, cognitive systems aiming at assisting a user in everyday situations. Therefore, these systems require a high level of availability. One option to meet this requirement is to use a web-deployable architecture. In this demo paper, we present a multimodal cloud-based dialogue framework for the development of a distributed, web-based companion system. The proposed framework is intended to provide an efficient, easily extensible, and scalable approach for this kind of systems and will be demonstrated in a do-it-yourself assistance scenario.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Plan and Goal Recognition as HTN Planning.\n \n \n \n \n\n\n \n Daniel Höller; Pascal Bercher; Gregor Behnke; and Susanne Biundo.\n\n\n \n\n\n\n In Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018), 2018. \n \n\n\n\n
\n\n\n\n \n \n \"Plan paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Inproceedings{Hoeller2018PlanRecognitionWorkshop,\n   title     = {Plan and Goal Recognition as HTN Planning},\n   year      = {2018},\n   booktitle = {Proceedings of the AAAI 2018 Workshop on Plan, Activity, and Intent Recognition (PAIR 2018)},\n   author    = {H{\\"o}ller, Daniel and Pascal Bercher and Behnke, Gregor and Biundo, Susanne},\n   abstract  = {Companion systems are cooperative, cognitive systems aiming at assisting a user in everyday situations. Therefore, these systems require a high level of availability. One option to meet this requirement is to use a web-deployable architecture. In this demo paper, we present a multimodal cloud-based dialogue framework for the development of a distributed, web-based companion system. The proposed framework is intended to provide an efficient, easily extensible, and scalable approach for this kind of systems and will be demonstrated in a do-it-yourself assistance scenario. Plan- and Goal Recognition (PGR) is the task of inferring the goals and plans of an agent based on its actions. Traditional approaches in PGR are based on a plan library including pairs of plans and corresponding goals. In recent years, the field successfully exploited the performance of planning systems for PGR. The main benefits are the presence of efficient solvers and well-established, compact formalisms for behavior representation. However, the expressivity of the STRIPS planning models used so far is limited, and models in PGR are often structured in a hierarchical way. We present the approach Plan and Goal Recognition as HTN Planning that combines the expressive but still compact grammar-like HTN representation with the advantage of using unmodified, off-the-shelf planning systems for PGR. Our evaluation shows that -- using our approach -- current planning systems are able to handle large models with thousands of possible goals, that the approach results in high recognition rates, and that it works even when the environment is partially observable, i.e., if the observer might miss observations.},\n   url_Paper = {https://bercher.net/publications/2018/Hoeller2018aPlanRecognition.pdf}\n}\n\n
\n
\n\n\n
\n Companion systems are cooperative, cognitive systems aiming at assisting a user in everyday situations. Therefore, these systems require a high level of availability. One option to meet this requirement is to use a web-deployable architecture. In this demo paper, we present a multimodal cloud-based dialogue framework for the development of a distributed, web-based companion system. The proposed framework is intended to provide an efficient, easily extensible, and scalable approach for this kind of systems and will be demonstrated in a do-it-yourself assistance scenario. Plan- and Goal Recognition (PGR) is the task of inferring the goals and plans of an agent based on its actions. Traditional approaches in PGR are based on a plan library including pairs of plans and corresponding goals. In recent years, the field successfully exploited the performance of planning systems for PGR. The main benefits are the presence of efficient solvers and well-established, compact formalisms for behavior representation. However, the expressivity of the STRIPS planning models used so far is limited, and models in PGR are often structured in a hierarchical way. We present the approach Plan and Goal Recognition as HTN Planning that combines the expressive but still compact grammar-like HTN representation with the advantage of using unmodified, off-the-shelf planning systems for PGR. Our evaluation shows that – using our approach – current planning systems are able to handle large models with thousands of possible goals, that the approach results in high recognition rates, and that it works even when the environment is partially observable, i.e., if the observer might miss observations.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2015\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Integrating Ontologies and Planning for Cognitive Systems.\n \n \n \n \n\n\n \n Gregor Behnke; Pascal Bercher; Susanne Biundo; Birte Glimm; Denis Ponomaryov; and Marvin Schiller.\n\n\n \n\n\n\n In Proceedings of the 28th International Workshop on Description Logics (DL 2015), 2015. CEUR Workshop Proceedings\n \n\n\n\n
\n\n\n\n \n \n \"Integrating paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Behnke2015OntologiesAndPlanning,\n  Title      = {Integrating Ontologies and Planning for Cognitive Systems},\n  Author     = {Gregor Behnke and Pascal Bercher and Susanne Biundo and Birte Glimm and Denis Ponomaryov and Marvin Schiller},\n  Booktitle  = {Proceedings of the 28th International Workshop on Description Logics ({DL} 2015)},\n  Year       = {2015},\n  Publisher  = {CEUR Workshop Proceedings},\n  abstract   = {We present an approach for integrating ontological reasoning and planning within cognitive systems. Patterns and mechanisms that suitably link planning domains and interrelated knowledge in an ontology are devised. In particular, this enables the use of (standard) ontology reasoning for extending a (hierarchical) planning domain. Furthermore, explanations of plans generated by a cognitive system benefit from additional explanations relying on background knowledge in the ontology and inference. An application of this approach in the domain of fitness training is presented.},\n  url_Paper  = {https://bercher.net/publications/2015/Behnke2015OntologiesAndPlanning.pdf}\n}\n\n
\n
\n\n\n
\n We present an approach for integrating ontological reasoning and planning within cognitive systems. Patterns and mechanisms that suitably link planning domains and interrelated knowledge in an ontology are devised. In particular, this enables the use of (standard) ontology reasoning for extending a (hierarchical) planning domain. Furthermore, explanations of plans generated by a cognitive system benefit from additional explanations relying on background knowledge in the ontology and inference. An application of this approach in the domain of fitness training is presented.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2014\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Finding User-friendly Linearizations of Partially Ordered Plans.\n \n \n \n \n\n\n \n Daniel Höller; Pascal Bercher; Felix Richter; Marvin Schiller; Thomas Geier; and Susanne Biundo.\n\n\n \n\n\n\n In 28th PuK Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2014), 2014. \n \n\n\n\n
\n\n\n\n \n \n \"Finding paper\n  \n \n \n \"Finding slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Hoeller2014PlanLinearization,\n  Title      = {Finding User-friendly Linearizations of Partially Ordered Plans},\n  Author     = {Daniel H{\\"o}ller and Pascal Bercher and Felix Richter and Marvin Schiller and Thomas Geier and Susanne Biundo},\n  Booktitle  = {28th {PuK} Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' ({PuK} 2014)},\n  Year       = {2014},\n  abstract   = {Planning models usually do not discriminate between different possible execution orders of the actions within a plan, as long as the sequence remains executable. As the formal planning problem is an abstraction of the real world, it can very well occur that one linearization is more favorable than the other for reasons not captured by the planning model --- in particular if actions are performed by a human. Post-hoc linearization of plans is thus a way to improve the quality of a plan enactment. The cost of this transformation decouples from the planning process, and it allows to incorporate knowledge that cannot be expressed within the limitations of a certain planning formalism. In this paper we discuss the idea of finding useful plan linearizations within the formalism of hybrid planning (although the basic ideas are applicable to a broader class of planning models). We propose three concrete models for plan linearization, discuss their ramifications using the application domain of automated user-assistance, and sketch out ways how to empirically validate the assumptions underlying these user-centric models.},\n  url_Paper  = {https://bercher.net/publications/2014/Hoeller2014PlanLinearization.pdf},\n  url_Slides = {https://bercher.net/publications/2014/Hoeller2014PlanLinearizationSlides.pdf}\n}\n\n
\n
\n\n\n
\n Planning models usually do not discriminate between different possible execution orders of the actions within a plan, as long as the sequence remains executable. As the formal planning problem is an abstraction of the real world, it can very well occur that one linearization is more favorable than the other for reasons not captured by the planning model — in particular if actions are performed by a human. Post-hoc linearization of plans is thus a way to improve the quality of a plan enactment. The cost of this transformation decouples from the planning process, and it allows to incorporate knowledge that cannot be expressed within the limitations of a certain planning formalism. In this paper we discuss the idea of finding useful plan linearizations within the formalism of hybrid planning (although the basic ideas are applicable to a broader class of planning models). We propose three concrete models for plan linearization, discuss their ramifications using the application domain of automated user-assistance, and sketch out ways how to empirically validate the assumptions underlying these user-centric models.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Introducing Hierarchy to Non-Hierarchical Planning Models: A Case Study for Behavioral Adversary Models.\n \n \n \n \n\n\n \n Louisa Pragst; Felix Richter; Pascal Bercher; Bernd Schattenberg; and Susanne Biundo.\n\n\n \n\n\n\n In 28th PuK Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2014), 2014. \n \n\n\n\n
\n\n\n\n \n \n \"Introducing paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Pragst2014CyberSecurityDomain,\n  Title      = {Introducing Hierarchy to Non-Hierarchical Planning Models: A Case Study for Behavioral Adversary Models},\n  Author     = {Louisa Pragst and Felix Richter and Pascal Bercher and Schattenberg, Bernd and Susanne Biundo},\n  Booktitle  = {28th {PuK} Workshop ``Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2014)},\n  Year       = {2014},\n  abstract   = {Hierarchical planning approaches are often pursued when it comes to a real-world application scenario, because they allow for incorporating additional expert knowledge into the domain. That knowledge can be used both for improving plan explanations and for reducing the explored search space. In case a non-hierarchical planning model is already available, for instance because a bottom-up modeling approach was used, one has to concern oneself with the question of how to introduce a hierarchy. This paper discusses the points to consider when adding a hierarchy to a non-hierarchical planning model using the example of the BAMS Cyber Security domain.},\n  url_Paper  = {https://bercher.net/publications/2014/Pragst2014CyberSecurityDomain.pdf}\n}\n\n\n
\n
\n\n\n
\n Hierarchical planning approaches are often pursued when it comes to a real-world application scenario, because they allow for incorporating additional expert knowledge into the domain. That knowledge can be used both for improving plan explanations and for reducing the explored search space. In case a non-hierarchical planning model is already available, for instance because a bottom-up modeling approach was used, one has to concern oneself with the question of how to introduce a hierarchy. This paper discusses the points to consider when adding a hierarchy to a non-hierarchical planning model using the example of the BAMS Cyber Security domain.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2013\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Encoding Partial Plans for Heuristic Search.\n \n \n \n \n\n\n \n Pascal Bercher; and Susanne Biundo.\n\n\n \n\n\n\n In Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling (KEPS 2013), pages 11–15, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"Encoding paper\n  \n \n \n \"Encoding slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 2 downloads\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Bercher13EncodingPlans,\n  author    = {Pascal Bercher and Susanne Biundo},\n  title     = {Encoding Partial Plans for Heuristic Search},\n  booktitle = {Proceedings of the 4th Workshop on Knowledge Engineering for Planning and Scheduling ({KEPS} 2013)},\n  year      = {2013},\n  pages     = {11--15},\n  abstract  = {We propose a technique that allows any planning system that searches in the space of partial plans to make use of heuristics from the literature which are based on search in the space of states. The technique uses a problem encoding that reduces the problem of finding a heuristic value for a partial plan to finding a heuristic value for a state: It encodes a partial plan into a new planning problem, s.t. solutions for the new problem correspond to solutions reachable from the partial plan. Evaluating the goal distance of the partial plan then corresponds to evaluating the goal distance of the initial state in the new planning problem.},\n  url_Paper  = {https://bercher.net/publications/2013/Bercher2013EncodingPlans.pdf},\n  url_Slides = {https://bercher.net/publications/2013/Bercher2013EncodingPlansSlides.pdf}\n}\n\n
\n
\n\n\n
\n We propose a technique that allows any planning system that searches in the space of partial plans to make use of heuristics from the literature which are based on search in the space of states. The technique uses a problem encoding that reduces the problem of finding a heuristic value for a partial plan to finding a heuristic value for a state: It encodes a partial plan into a new planning problem, s.t. solutions for the new problem correspond to solutions reachable from the partial plan. Evaluating the goal distance of the partial plan then corresponds to evaluating the goal distance of the initial state in the new planning problem.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Search Strategies for Partial-Order Causal-Link Planning with Preferences.\n \n \n \n \n\n\n \n Pascal Bercher; Fabian Ginter; and Susanne Biundo.\n\n\n \n\n\n\n In 27th PuK Workshop ''Planen, Scheduling und Konfigurieren, Entwerfen'' (PuK 2013), pages 29–40, 2013. \n \n\n\n\n
\n\n\n\n \n \n \"Search paper\n  \n \n \n \"Search slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@Inproceedings{Bercher13POCLSoftGoals,\n   author    = {Pascal Bercher and Fabian Ginter and Susanne Biundo},\n   title     = {Search Strategies for Partial-Order Causal-Link Planning with Preferences},\n   year      = {2013},\n   pages     = {29--40},\n   booktitle = {27th PuK Workshop ''Planen, Scheduling und Konfigurieren, Entwerfen'' ({PuK} 2013)},\n   abstract  = {This paper studies how to solve classical planning problems with preferences by means of a partial-order causal-link (POCL) planning algorithm. Preferences are given by soft goals -- optional goals which increase a plan's benefit if satisfied at the end of a plan. Thus, we aim at finding a plan with the best \\textit{net-benefit}, which is the difference of the achieved preferences' benefit minus the cost of all actions in the plan that achieves them. While many approaches compile soft goals away, we study how they can be addressed natively by a POCL planning system. We propose novel search and flaw selection strategies for that problem class and evaluate them empirically.},\n   url_Paper  = {https://bercher.net/publications/2013/Bercher13POCLSoftGoals.pdf},\n   url_Slides = {https://bercher.net/publications/2013/Bercher13POCLSoftGoalsSlides.pdf}\n}\n\n
\n
\n\n\n
\n This paper studies how to solve classical planning problems with preferences by means of a partial-order causal-link (POCL) planning algorithm. Preferences are given by soft goals – optional goals which increase a plan's benefit if satisfied at the end of a plan. Thus, we aim at finding a plan with the best net-benefit, which is the difference of the achieved preferences' benefit minus the cost of all actions in the plan that achieves them. While many approaches compile soft goals away, we study how they can be addressed natively by a POCL planning system. We propose novel search and flaw selection strategies for that problem class and evaluate them empirically.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2011\n \n \n (2)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Landmark-Aware Strategies for Hierarchical Planning.\n \n \n \n \n\n\n \n Mohamed Elkawkagy; Pascal Bercher; Bernd Schattenberg; and Susanne Biundo.\n\n\n \n\n\n\n In Workshop on Heuristics for Domain-independent Planning (HDIP 2011), pages 73–79, 2011. \n \n\n\n\n
\n\n\n\n \n \n \"Landmark-Aware paper\n  \n \n \n \"Landmark-Aware slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Elkawkagy2011LandmarkStrategies,\n  author     = {Mohamed Elkawkagy and Pascal Bercher and Bernd Schattenberg and Susanne Biundo},\n  title      = {Landmark-Aware Strategies for Hierarchical Planning},\n  booktitle  = {Workshop on Heuristics for Domain-independent Planning ({HDIP} 2011)},\n  year       = {2011},\n  pages      = {73--79},\n  abstract   = {In hierarchical planning, landmarks are abstract tasks the decomposition of which are mandatory when trying to find a solution to a given problem. In this paper, we present novel domain-independent strategies that exploit landmark information to speed up the planning process. The empirical evaluation shows that the landmark-aware strategies outperform established search strategies for hierarchical planning.},\n  url_Paper  = {https://bercher.net/publications/2011/Elkawkagy2011LandmarkStrategies.pdf},\n  url_Slides = {https://bercher.net/publications/2011/Elkawkagy2011LandmarkStrategiesSlides.pdf}\n}\n\n
\n
\n\n\n
\n In hierarchical planning, landmarks are abstract tasks the decomposition of which are mandatory when trying to find a solution to a given problem. In this paper, we present novel domain-independent strategies that exploit landmark information to speed up the planning process. The empirical evaluation shows that the landmark-aware strategies outperform established search strategies for hierarchical planning.\n
\n\n\n
\n\n\n
\n \n\n \n \n \n \n \n \n Hybrid Planning with Preferences Using a Heuristic for Partially Ordered Plans.\n \n \n \n \n\n\n \n Pascal Bercher; and Susanne Biundo.\n\n\n \n\n\n\n In 26th PuK Workshop \"Planen, Scheduling und Konfigurieren, Entwerfen\" (PuK 2011), 2011. \n \n\n\n\n
\n\n\n\n \n \n \"Hybrid paper\n  \n \n \n \"Hybrid slides\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@inproceedings{Bercher2011Preferences,\n  author    = {Pascal Bercher and Susanne Biundo},\n  title     = {Hybrid Planning with Preferences Using a Heuristic for Partially Ordered Plans},\n  booktitle = {26th {PuK} Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" ({PuK} 2011)},\n  year      = {2011},\n  abstract  = {This paper is concerned with the problem of finding preferred plans in a hybrid planning setting, which is the fusion of classical and hierarchical planning. Here, we define preferences as weighted soft goals -- facts one would like to see satisfied in a goal state, but which do not have to hold necessarily. We present a branch-and-bound algorithm that allows a broad variety of search strategies, as opposed to the majority of existing planning systems which usually perform progression. The algorithm prunes task networks from the search space which will never lead to a better solution than the best solution found so far. To this end, we developed an admissible heuristic, based on a combination of the h^2 heuristic and delete relaxation, which takes as input a task network and estimates the best quality of any solution that can be developed from it.},\n  url_Paper  = {https://bercher.net/publications/2011/Bercher2011Preferences.pdf},\n  url_Slides = {https://bercher.net/publications/2011/Bercher2011PreferencesSlides.pdf}\n}\n\n
\n
\n\n\n
\n This paper is concerned with the problem of finding preferred plans in a hybrid planning setting, which is the fusion of classical and hierarchical planning. Here, we define preferences as weighted soft goals – facts one would like to see satisfied in a goal state, but which do not have to hold necessarily. We present a branch-and-bound algorithm that allows a broad variety of search strategies, as opposed to the majority of existing planning systems which usually perform progression. The algorithm prunes task networks from the search space which will never lead to a better solution than the best solution found so far. To this end, we developed an admissible heuristic, based on a combination of the h^2 heuristic and delete relaxation, which takes as input a task network and estimates the best quality of any solution that can be developed from it.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n
\n
\n  \n 2010\n \n \n (1)\n \n \n
\n
\n \n \n
\n \n\n \n \n \n \n \n \n Exploiting Landmarks for Hybrid Planning.\n \n \n \n \n\n\n \n Mohamed Elkawkagy; Pascal Bercher; Bernd Schattenberg; and Susanne Biundo.\n\n\n \n\n\n\n In 25th PuK Workshop \"Planen, Scheduling und Konfigurieren, Entwerfen\" (PuK 2010), 2010. \n \n\n\n\n
\n\n\n\n \n \n \"Exploiting paper\n  \n \n\n \n\n \n link\n  \n \n\n bibtex\n \n\n \n  \n \n abstract \n \n\n \n  \n \n 1 download\n \n \n\n \n \n \n \n \n \n \n\n  \n \n \n\n\n\n
\n
@InProceedings{Elkawkagy2010LandmarksInHybrid,\n  author    = {Mohamed Elkawkagy and Pascal Bercher and Bernd Schattenberg and Susanne Biundo},\n  title     = {Exploiting Landmarks for Hybrid Planning},\n  booktitle = {25th {PuK} Workshop "Planen, Scheduling und Konfigurieren, Entwerfen" ({PuK} 2010)},\n  year      = {2010},\n  abstract  = {Very recently, the well-known concept of landmarks has been adapted from the classical planning setting to hierarchical planning. It was shown how a pre-processing step that extracts local landmarks from a planning domain and problem description can be used in order to prune the search space that is to be explored before the actual search is performed. This pruning technique eliminates all branches of the task decomposition tree, for which can be proven that they will never lead to a solution. In this paper, we investigate this technique in more detail and extend it by introducing search strategies which use these local landmarks in order to guide the planning process more effectively towards a solution. Our empirical evaluation shows that the pre-processing step dramatically improves performance because dead ends can be detected much earlier than without pruning and that our search strategies using the local landmarks outperform many other possible search strategies.},\n  url_Paper = {https://bercher.net/publications/2010/Elkawkagy2010LandmarksInHybrid.pdf}\n}\n
\n
\n\n\n
\n Very recently, the well-known concept of landmarks has been adapted from the classical planning setting to hierarchical planning. It was shown how a pre-processing step that extracts local landmarks from a planning domain and problem description can be used in order to prune the search space that is to be explored before the actual search is performed. This pruning technique eliminates all branches of the task decomposition tree, for which can be proven that they will never lead to a solution. In this paper, we investigate this technique in more detail and extend it by introducing search strategies which use these local landmarks in order to guide the planning process more effectively towards a solution. Our empirical evaluation shows that the pre-processing step dramatically improves performance because dead ends can be detected much earlier than without pruning and that our search strategies using the local landmarks outperform many other possible search strategies.\n
\n\n\n
\n\n\n\n\n\n
\n
\n\n\n\n\n
\n\n\n \n\n \n \n \n \n\n
\n"}; document.write(bibbase_data.data);