A Novel Parsing-based Approach for Verification of Hierarchical Plans
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F20%3A10424788" target="_blank" >RIV/00216208:11320/20:10424788 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.1109/ICTAI50040.2020.00029" target="_blank" >https://doi.org/10.1109/ICTAI50040.2020.00029</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/ICTAI50040.2020.00029" target="_blank" >10.1109/ICTAI50040.2020.00029</a>
Alternative languages
Result language
angličtina
Original language name
A Novel Parsing-based Approach for Verification of Hierarchical Plans
Original language description
Hierarchical planning is a practically important approach to automated planning based on encoding abstract plans as hierarchical task networks (HTNs) [1], [2]. The network describes how compound tasks are decomposed, via decomposition methods, to sub-tasks and eventually to actions forming a plan. Depending on the chosen HTN formalization, the decomposition methods may specify additional constraints among the sub-tasks such as partial ordering, state constraints, or causal links. The obtained sequence of actions must be executable in the classical sense, but also adhere to the constraints specified by the decomposition methods.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA18-07252S" target="_blank" >GA18-07252S: MoRePlan: Modeling and Reformulating Planning Problems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2020
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
2020 IEEE 32nd International Conference on Tools for Artificial Intelligence (ICTAI)
ISBN
978-1-72819-228-4
ISSN
2375-0197
e-ISSN
—
Number of pages
6
Pages from-to
23-28
Publisher name
IEEE
Place of publication
Neuveden
Event location
Baltimore, MD, USA
Event date
Nov 9, 2020
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—