Název: Formal Reasoning in the Bang3 Multi-Agent System
Autoři: Beuster, Gerd
Typ dokumentu: Výzkumné zprávy
Rok: 2003
Jazyk: eng
Edice: Technical Report, svazek: V-889
Klíčová slova: agents; bang; deduction; description logics; logic; MAS
Číslo projektu: AV0Z1030915 (CEP)
Práva: Dílo je chráněno podle autorského zákona č. 121/2000 Sb.

Instituce: Ústav informatiky AV ČR (web)
Původní záznam: http://hdl.handle.net/11104/0125221

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-34099


Záznam je zařazen do těchto sbírek:
Věda a výzkum > AV ČR > Ústav informatiky
Zprávy > Výzkumné zprávy