@InProceedings{Ondrckova2022ParsingWithGoal,
  author           = {Simona Ondr\v{c}kov\'{a} and Roman Bart{\'a}k and Pascal Bercher and Gregor Behnke},
  booktitle        = {Proceedings of the 35th International Florida Artificial Intelligence Research Society Conference ({FLAIRS} 2022)},
  title            = {On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task},
  year             = {2022},
  abstract         = {Verification of hierarchical plans deals with the problem if a given action sequence is a valid hierarchical plan - the action sequence can be obtained by decomposing a particular (goal) task using given decomposition methods. The existing parsing-based verification approach greedily composes actions until it obtains the goal task. Greediness implies that this approach also generates tasks unrelated to the goal task. In this paper, we study the use of heuristics when creating new tasks. We also ask whether the prior knowledge of the goal task improves efficiency.},
  url_Paper        = {https://bercher.net/publications/2022/Ondrckova2022ParsingWithGoal.pdf},
  url_FLAIRS-Paper = {https://journals.flvc.org/FLAIRS/article/view/130606/133897},
  doi              = {10.32473/flairs.v35i.130606},
  keywords         = {conference}
}

{"_id":"5imndjpAbnfxoomZz","bibbaseid":"ondrkov-bartk-bercher-behnke-onheuristicsforparsingbasedverificationofhierarchicalplanswithagoaltask-2022","author_short":["Ondrčková, S.","Barták, R.","Bercher, P.","Behnke, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Simona"],"propositions":[],"lastnames":["Ondrčková"],"suffixes":[]},{"firstnames":["Roman"],"propositions":[],"lastnames":["Barták"],"suffixes":[]},{"firstnames":["Pascal"],"propositions":[],"lastnames":["Bercher"],"suffixes":[]},{"firstnames":["Gregor"],"propositions":[],"lastnames":["Behnke"],"suffixes":[]}],"booktitle":"Proceedings of the 35th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2022)","title":"On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task","year":"2022","abstract":"Verification of hierarchical plans deals with the problem if a given action sequence is a valid hierarchical plan - the action sequence can be obtained by decomposing a particular (goal) task using given decomposition methods. The existing parsing-based verification approach greedily composes actions until it obtains the goal task. Greediness implies that this approach also generates tasks unrelated to the goal task. In this paper, we study the use of heuristics when creating new tasks. We also ask whether the prior knowledge of the goal task improves efficiency.","url_paper":"https://bercher.net/publications/2022/Ondrckova2022ParsingWithGoal.pdf","url_flairs-paper":"https://journals.flvc.org/FLAIRS/article/view/130606/133897","doi":"10.32473/flairs.v35i.130606","keywords":"conference","bibtex":"@InProceedings{Ondrckova2022ParsingWithGoal,\n author = {Simona Ondr\\v{c}kov\\'{a} and Roman Bart{\\'a}k and Pascal Bercher and Gregor Behnke},\n booktitle = {Proceedings of the 35th International Florida Artificial Intelligence Research Society Conference ({FLAIRS} 2022)},\n title = {On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task},\n year = {2022},\n abstract = {Verification of hierarchical plans deals with the problem if a given action sequence is a valid hierarchical plan - the action sequence can be obtained by decomposing a particular (goal) task using given decomposition methods. The existing parsing-based verification approach greedily composes actions until it obtains the goal task. Greediness implies that this approach also generates tasks unrelated to the goal task. In this paper, we study the use of heuristics when creating new tasks. We also ask whether the prior knowledge of the goal task improves efficiency.},\n url_Paper = {https://bercher.net/publications/2022/Ondrckova2022ParsingWithGoal.pdf},\n url_FLAIRS-Paper = {https://journals.flvc.org/FLAIRS/article/view/130606/133897},\n doi = {10.32473/flairs.v35i.130606},\n keywords = {conference}\n}\n\n","author_short":["Ondrčková, S.","Barták, R.","Bercher, P.","Behnke, G."],"key":"Ondrckova2022ParsingWithGoal","id":"Ondrckova2022ParsingWithGoal","bibbaseid":"ondrkov-bartk-bercher-behnke-onheuristicsforparsingbasedverificationofhierarchicalplanswithagoaltask-2022","role":"author","urls":{" paper":"https://bercher.net/publications/2022/Ondrckova2022ParsingWithGoal.pdf"," flairs-paper":"https://journals.flvc.org/FLAIRS/article/view/130606/133897"},"keyword":["conference"],"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://bercher.net/bibtex/bibliography.bib","dataSources":["zKgS72cAu6Ez7npdh","bPpsmYWjffAy6QHP5","wYF8yPQT6a4TgShWe"],"keywords":["conference"],"search_terms":["heuristics","parsing","based","verification","hierarchical","plans","goal","task","ondrčková","barták","bercher","behnke"],"title":"On Heuristics for Parsing-based Verification of Hierarchical Plans with a Goal Task","year":2022,"downloads":1}