Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Mostrar el registro sencillo del ítem

dc.date 2015 es
dc.date.accessioned 2016-04-04T13:46:59Z
dc.date.available 2016-04-04T13:46:59Z
dc.date.issued 2015
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/52017
dc.description.abstract 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. es
dc.format.extent 17-24 es
dc.language es es
dc.subject Modal logic es
dc.subject Multiagent systems es
dc.subject Models es
dc.title Implementación Java de un Chequeador de Modelos para un Sistema Multiagente Multimodal es
dc.type Objeto de conferencia es
sedici.identifier.uri http://44jaiio.sadio.org.ar/sites/default/files/asai17-24.pdf es
sedici.identifier.issn 2451-7585 es
sedici.creator.person Smith, Clara Patricia es
sedici.creator.person Fournier, Gastón es
sedici.creator.person Otonelo, Leonardo es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Sociedad Argentina de Informática e Investigación Operativa (SADIO) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)
sedici.rights.uri http://creativecommons.org/licenses/by-sa/3.0/
sedici.date.exposure 2015-09
sedici.relation.event Argentine Symposium on Artificial Intelligence (ASAI 2015) - JAIIO 44 (Rosario, 2015) es


Descargar archivos

Este ítem aparece en la(s) siguiente(s) colección(ones)

Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-ShareAlike 3.0 Unported (CC BY-SA 3.0)