Počet záznamů: 1
Reasoning about Bang3 Multi-agent Systems in KR-Hyper
- 1.
SYSNO ASEP 0087811 Druh ASEP V - Výzkumná zpráva Zařazení RIV Záznam nebyl označen do RIV Název Reasoning about Bang3 Multi-agent Systems in KR-Hyper Tvůrce(i) Beuster, G. (DE)
Neruda, Roman (UIVT-O) SAI, RID, ORCID
Pelzer, B. (DE)Vyd. údaje Prague: ICS AS CR, 2006 Edice Technical Report Č. sv. edice V-955 Poč.str. 23 s. Jazyk dok. eng - angličtina Země vyd. CZ - Česká republika Klíč. slova MAS ; bang ; KR-HYPER ; logic ; deduction ; description logics ; first order logics ; agents CEZ AV0Z10300504 - UIVT-O (2005-2011) Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2008
Počet záznamů: 1