Počet záznamů: 1
Reasoning about Computational Agents in FOL
SYS 0345160 LBL 00878^^^^^2200193^^^450 005 20240103193631.6 014 $a 000282085200001 $2 WOS 100 $a 20100630d m y slo 03 ba 101 0-
$a eng 102 $a GB 200 1-
$a Reasoning about Computational Agents in FOL 215 $a 6 s. 463 -1
$1 001 cav_un_epca*0345159 $1 010 $a 978-1-84626-155-8 $1 200 1 $a Proceedings of the Third International Conference on Modelling and Simulation $v S. 1-6 $1 210 $a Mill Lane $c World Academic Union $d 2010 $1 225 $a Modelling and Simulation $1 702 1 $a Yiang $b Y. $4 340 $1 702 1 $a Yu $b J. $4 340 610 0-
$a ontology 610 0-
$a multi agent systems 610 0-
$a first order logics 700 -1
$3 cav_un_auth*0100794 $a Neruda $b Roman $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $w Department of Machine Learning $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1