Estadísticas del PDF: Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal

Implementación Java de un Chequeador de Modelos

para un Sistema Multiagente Multimodal

Clara Smith1, Gastón Fournier1, and Leonardo Otonelo1

1 Facultad de Informática, Universidad Nacional de La Plata

calle 50 esq. 120, 1900 La Plata, Argentina

{csmith,gfournier,lotonelo}@info.unlp.edu.ar

Resumen. En este trabajo acercamos conceptos de la lógica modal -cuando es
usada como herramienta para la modelización de sistemas multiagentes- al
lenguaje de programación Java. Co...