host ::
přihlásit
Digitální repozitář
Hledej
Nový záznam
Nápověda
O repozitáři
Hlavní stránka
>
Zprávy
>
Výzkumné zprávy
> Reasoning about Bang3 Multi-agent Systems in KR-Hyper
Informace
Soubory
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
Záznam vytvořen dne 2011-07-01, naposledy upraven 2024-01-26.
Podobné záznamy
Plný tet:
PDF
[Stáhnout]
Plný text:
PDF
[Stáhnout]
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.
Exportovat ve formátu
DC
,
NUŠL
,
RIS
Sdílet