|
|
|
|
| LEADER |
00000naa a2200000 a 4500 |
| 003 |
AR-LpUFIB |
| 005 |
20250311170420.0 |
| 008 |
230201s2012 xx o 000 0 eng d |
| 024 |
8 |
|
|a DIF-M6650
|b 6788
|z DIF006064
|
| 040 |
|
|
|a AR-LpUFIB
|b spa
|c AR-LpUFIB
|
| 100 |
1 |
|
|a Smith, Clara Patricia
|
| 245 |
1 |
0 |
|a Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS
|
| 300 |
|
|
|a 1 archivo (269,3 kB)
|
| 500 |
|
|
|a Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
|
| 520 |
|
|
|a We provide technical details for combining normal and a non-normal logics for the notion of collective trust. Such combinations lead to different levels of expressiveness of the system. We give a possible structure for a combined model checker for one of the logic resulting from such combinations.
|
| 534 |
|
|
|a International Workshop AICOL-III, Held as Part of the 25th IVR Congress. (25ª:2011, Ago. 15-16:Frankfurt, Alemania), Berlin:Springer; 2012 (Lecture Notes in Computer Science; 7639), pp. 189-203.
|
| 650 |
|
4 |
|a MODELOS
|
| 700 |
1 |
|
|a Ambrossio, Agustín
|
| 700 |
1 |
|
|a Mendoza, Leandro
|
| 700 |
1 |
|
|a Rotolo, Antonino
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-642-35731-2_13
|
| 942 |
|
|
|c CP
|
| 952 |
|
|
|0 0
|1 0
|4 0
|6 A0405
|7 3
|8 BD
|9 81020
|a DIF
|b DIF
|d 2025-03-11
|l 0
|o A0405
|r 2025-03-11 17:04:20
|u http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=679
|w 2025-03-11
|y CP
|
| 999 |
|
|
|c 55846
|d 55846
|
