Validation of hierarchical plans via parsing of attribute grammars

Kód výsledku v 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>

Výsledek na webu

<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

—

Jazyk výsledku

angličtina

Název v původním jazyce

Validation of hierarchical plans via parsing of attribute grammars

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Validation of hierarchical plans via parsing of attribute grammars

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2018

Kód důvěrnosti údajů

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

Název statě ve sborníku

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

ISBN

978-1-57735-797-1

ISSN

2334-0835

e-ISSN

neuvedeno

Počet stran výsledku

9

Strana od-do

11-19

Název nakladatele

AAAI Press

Místo vydání

Palo Alto

Místo konání akce

Delft, Holandsko

Datum konání akce

24. 6. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—