Košík

    1.
    0087811 - ÚI 2008 SIGLE CZ eng V - Výzkumná zpráva
    Beuster, G. - Neruda, Roman - Pelzer, B.
    Reasoning about Bang3 Multi-agent Systems in KR-Hyper.
    Prague: ICS AS CR, 2006. 23 s. Technical Report, V-955.
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: MAS * bang * KR-HYPER * logic * deduction * description logics * first order logics * agents
    Trvalý link: http://hdl.handle.net/11104/0149556
    Název souboruStaženoVelikostKomentářVerzePřístup
    v955-06.pdf15196.2 KBJinápovolen
     
     

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše