host ::
| Hlavní stránka > Zprávy > Výzkumné zprávy > Reasoning about Bang3 Multi-agent Systems in KR-Hyper |
Název:
Reasoning about Bang3 Multi-agent Systems in KR-Hyper
Autoři: Beuster, G. ; Neruda, Roman ; Pelzer, B.
Typ dokumentu: Výzkumné zprávy
Rok: 2006
Jazyk: eng
Edice: Technical Report, svazek: V-955
Klíčová slova: agents; bang; deduction; description logics; first order logics; KR-HYPER; logic; MAS
Číslo projektu: CEZ:AV0Z10300504 (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/0149556
Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-37525
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
Autoři: Beuster, G. ; Neruda, Roman ; Pelzer, B.
Typ dokumentu: Výzkumné zprávy
Rok: 2006
Jazyk: eng
Edice: Technical Report, svazek: V-955
Klíčová slova: agents; bang; deduction; description logics; first order logics; KR-HYPER; logic; MAS
Číslo projektu: CEZ:AV0Z10300504 (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/0149556
Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-37525
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
Záznam vytvořen dne 2011-07-01, naposledy upraven 2024-01-26.
Plný tet:
PDFPlný text:
Pokud se vám dokument nezobrazí v prohlížeči, uložte jej na svůj PC a otevřete jej v příslušném programu.