3 research outputs found
Implementaci贸n Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
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. Construimos un framework para definir estructuras de frames modales y de modelos modales, y chequear en ellos la validez de f贸rmulas bien formadas escritas en un lenguaje de agentes.Sociedad Argentina de Inform谩tica e Investigaci贸n Operativa (SADIO
Implementaci贸n Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
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. Construimos un framework para definir estructuras de frames modales y de modelos modales, y chequear en ellos la validez de f贸rmulas bien formadas escritas en un lenguaje de agentes.Sociedad Argentina de Inform谩tica e Investigaci贸n Operativa (SADIO
Implementaci贸n Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
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. Construimos un framework para definir estructuras de frames modales y de modelos modales, y chequear en ellos la validez de f贸rmulas bien formadas escritas en un lenguaje de agentes.Sociedad Argentina de Inform谩tica e Investigaci贸n Operativa (SADIO