Busque entre los 168782 recursos disponibles en el repositorio
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 |