On Similarities Between Workflow Verification and Grammar Checking
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332068" target="_blank" >RIV/00216208:11320/16:10332068 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12946/12634" target="_blank" >http://www.aaai.org/ocs/index.php/FLAIRS/FLAIRS16/paper/view/12946/12634</a>
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
On Similarities Between Workflow Verification and Grammar Checking
Popis výsledku v původním jazyce
The paper investigates the similarities in the application of attribute grammars to two seemingly different research areas, namely the area of formal description of workflows and the area of checking the syntactic correctness of natural languages. It uses existing models and formalisms and tries to find a common ground which would enable to exploit mutually the experience gained in both individual fields. It shows how a slight adaptation of a grammar formalism used for grammar checking of languages with a high degree of word-order freedom may lead to a tool useful for a workflow verification.
Název v anglickém jazyce
On Similarities Between Workflow Verification and Grammar Checking
Popis výsledku anglicky
The paper investigates the similarities in the application of attribute grammars to two seemingly different research areas, namely the area of formal description of workflows and the area of checking the syntactic correctness of natural languages. It uses existing models and formalisms and tries to find a common ground which would enable to exploit mutually the experience gained in both individual fields. It shows how a slight adaptation of a grammar formalism used for grammar checking of languages with a high degree of word-order freedom may lead to a tool useful for a workflow verification.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA15-19877S" target="_blank" >GA15-19877S: Automatické modelování znalostí a plánů pro autonomní roboty</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2016
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2016
ISBN
978-1-57735-756-8
ISSN
2334-0754
e-ISSN
—
Počet stran výsledku
6
Strana od-do
585-590
Název nakladatele
AAAI Press
Místo vydání
Menlo Park, CA, USA
Místo konání akce
Key Largo, Florida
Datum konání akce
16. 5. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—