Počet záznamů: 1
Reasoning about Bang3 Multi-agent Systems in KR-Hyper
SYS 0087811 LBL 00712^^^^^2200217^^^450 005 20240103184612.8 100 $a 20071019d m y slo 03 ba 101 0-
$a eng 102 $a CZ 200 1-
$a Reasoning about Bang3 Multi-agent Systems in KR-Hyper 210 $a Prague $c ICS AS CR $d 2006 215 $a 23 s. 225 1-
$a Technical Report $v V-955 610 0-
$a MAS 610 0-
$a bang 610 0-
$a KR-HYPER 610 0-
$a logic 610 0-
$a deduction 610 0-
$a description logics 610 0-
$a first order logics 610 0-
$a agents 700 -1
$3 cav_un_auth*0015357 $a Beuster $b G. $y DE $4 070 701 -1
$3 cav_un_auth*0100794 $a Neruda $b Roman $p UIVT-O $w Department of Machine Learning $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0231448 $a Pelzer $b B. $y DE
Počet záznamů: 1