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órmul...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Smith, Clara Patricia, Fournier, Gastón, Otonelo, Leonardo
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2015
Materias:
Ciencias Informáticas
Modal logic
Multiagent systems
Models
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/52017
http://44jaiio.sadio.org.ar/sites/default/files/asai17-24.pdf
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-52017
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Modal logic
Multiagent systems
Models
spellingShingle Ciencias Informáticas
Modal logic
Multiagent systems
Models
Smith, Clara Patricia
Fournier, Gastón
Otonelo, Leonardo
Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
topic_facet Ciencias Informáticas
Modal logic
Multiagent systems
Models
description 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.
format Objeto de conferencia
Objeto de conferencia
author Smith, Clara Patricia
Fournier, Gastón
Otonelo, Leonardo
author_facet Smith, Clara Patricia
Fournier, Gastón
Otonelo, Leonardo
author_sort Smith, Clara Patricia
title Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
title_short Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
title_full Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
title_fullStr Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
title_full_unstemmed Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
title_sort implementación java de un chequeador de modelos para un sistema multiagente multimodal
publishDate 2015
url http://sedici.unlp.edu.ar/handle/10915/52017
http://44jaiio.sadio.org.ar/sites/default/files/asai17-24.pdf
work_keys_str_mv AT smithclarapatricia implementacionjavadeunchequeadordemodelosparaunsistemamultiagentemultimodal
AT fourniergaston implementacionjavadeunchequeadordemodelosparaunsistemamultiagentemultimodal
AT otoneloleonardo implementacionjavadeunchequeadordemodelosparaunsistemamultiagentemultimodal
bdutipo_str Repositorios
_version_ 1764820476377432067

Ejemplares similares