Validation of hierarchical plans via parsing of attribute grammars

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10391919" target="_blank" >RIV/00216208:11320/18:10391919 - isvavai.cz</a>

Result on the web

<a href="https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17748/16957" target="_blank" >https://www.aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17748/16957</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Validation of hierarchical plans via parsing of attribute grammars

Original language description

An important problem of automated planning is validating if a plan complies with the domain model. Such validation is straightforward for classical sequential planning but until recently there was no plan validation approach for Hierarchical Task Networks (HTN). In this paper we propose a novel technique for validating HTN plans by parsing of attribute grammars with the timeline constraint.

Czech name

—

Czech description

—

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)

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)

Publication year

2018

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling

ISBN

978-1-57735-797-1

ISSN

2334-0835

e-ISSN

neuvedeno

Number of pages

9

Pages from-to

11-19

Publisher name

AAAI Press

Place of publication

Palo Alto

Event location

Delft, Holandsko

Event date

Jun 24, 2018

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—