Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Named system states"'
Publikováno v:
Artificial Intelligence. 173(15):1367-1405
We introduce Vivid, a domain-independent framework for mechanized heterogeneous reasoning that combines diagrammatic and symbolic representation and inference. The framework is presented in the form of a family of denotational proof languages (DPLs).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c2030719c3b5911425d122de2b3f794
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.