TY  - BOOK
AU  - Ambrossio,Agustín
AU  - Mendoza,Leandro
AU  - Fernández,Alejandro
AU  - Smith,Clara Patricia
TI  - Completitud e implementación de modalidades en MAS
PY  - 2011///
KW  - LÓGICA MODAL
KW  - SISTEMAS MULTIAGENTES
KW  - combinación de lógicas
KW  - decidibilidad
KW  - completitud
KW  - chequeador de modelos
N1  -  Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2011;  1. introducción -- 2. Sistemas multi-agentes y lógica modal -- 3. Completitud de una lógica de confianza colectiva -- 4. Combinación de lógicas -- 5. Lógicas unidas -- 6. Implementación -- 7. Implementación en SPINdle -- 8. Conclusiones -- A. Código PROLOG -- B. Código SPINdle
UR  -  http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=371
ER  -