What to Do if a Plan Does Not Comply with an HTN Model?
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F25%3A10507118" target="_blank" >RIV/00216208:11320/25:10507118 - isvavai.cz</a>
Result on the web
<a href="https://doi.org/10.3233/FAIA251407" target="_blank" >https://doi.org/10.3233/FAIA251407</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.3233/FAIA251407" target="_blank" >10.3233/FAIA251407</a>
Alternative languages
Result language
angličtina
Original language name
What to Do if a Plan Does Not Comply with an HTN Model?
Original language description
Plan verification deals with the problem of checking whether a given sequence of actions is a valid plan according to a planning domain model. If the action sequence is not a valid plan, the next question is where the problem is. This question can be addressed by plan correction - modifying the plan to get a valid plan. The paper presents the first system to correct totally ordered hierarchical plans by action deletion and action insertion. Supporting action insertion, which is the major novelty here, significantly extends the applicability of plan correction to areas such as plan recognition and even planning itself. The new system is also faster than the existing plan correction system when only action deletion is allowed.
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
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2025
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
ECAI 2025
ISBN
978-1-64368-631-8
ISSN
0922-6389
e-ISSN
1879-8314
Number of pages
8
Pages from-to
4953-4960
Publisher name
IOS Press
Place of publication
Neuveden
Event location
Bologna, Italy
Event date
Oct 25, 2025
Type of event by nationality
EUR - Evropská akce
UT code for WoS article
—