Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal

Autores
Smith, Clara Patricia; Fournier, Gastón; Otonelo, Leonardo
Año de publicación
2015
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
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)
Materia
Ciencias Informáticas
Modal logic
Multiagent systems
Models
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-sa/3.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/52017
Acceder
id SEDICI_ce5916e239a105ddf5101abed8ce6185
oai_identifier_str oai:sedici.unlp.edu.ar:10915/52017
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Implementación Java de un Chequeador de Modelos para un Sistema Multiagente MultimodalSmith, Clara PatriciaFournier, GastónOtonelo, LeonardoCiencias InformáticasModal logicMultiagent systemsModelsEn 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)2015-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf17-24http://sedici.unlp.edu.ar/handle/10915/52017spainfo:eu-repo/semantics/altIdentifier/url/http://44jaiio.sadio.org.ar/sites/default/files/asai17-24.pdfinfo:eu-repo/semantics/altIdentifier/issn/2451-7585info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-sa/3.0/Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-10-22T16:45:58Zoai:sedici.unlp.edu.ar:10915/52017Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-10-22 16:45:58.942SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
title Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
spellingShingle Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal
Smith, Clara Patricia
Ciencias Informáticas
Modal logic
Multiagent systems
Models
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
dc.creator.none.fl_str_mv Smith, Clara Patricia
Fournier, Gastón
Otonelo, Leonardo
author Smith, Clara Patricia
author_facet Smith, Clara Patricia
Fournier, Gastón
Otonelo, Leonardo
author_role author
author2 Fournier, Gastón
Otonelo, Leonardo
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Modal logic
Multiagent systems
Models
topic Ciencias Informáticas
Modal logic
Multiagent systems
Models
dc.description.none.fl_txt_mv 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)
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.
publishDate 2015
dc.date.none.fl_str_mv 2015-09
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/52017
url http://sedici.unlp.edu.ar/handle/10915/52017
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://44jaiio.sadio.org.ar/sites/default/files/asai17-24.pdf
info:eu-repo/semantics/altIdentifier/issn/2451-7585
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-sa/3.0/
Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-sa/3.0/
Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
dc.format.none.fl_str_mv application/pdf
17-24
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1846782980876402688
score 12.982451

Publicaciones similares