Formal Reasoning in the Bang3 Multi-Agent System

Počet záznamů: 1

1.

SYSNO ASEP	0405001
Druh ASEP	V - Výzkumná zpráva
Zařazení RIV	Záznam nebyl označen do RIV
Název	Formal Reasoning in the Bang3 Multi-Agent System
Tvůrce(i)	Beuster, Gerd (UIVT-O)
Vyd. údaje	Prague: ICS AS CR, 2003
Edice	Technical Report
Č. sv. edice	V-889
Poč.str.	16 s.
Jazyk dok.	eng - angličtina
Země vyd.	CZ - Česká republika
Klíč. slova	MAS ; bang ; logic ; deduction ; description logics ; agents
CEZ	1030915
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2004

Počet záznamů: 1