Vše

Co hledáte?

Vše
Projekty
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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