Subir material

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

 

Mostrar el registro sencillo del ítem

dc.date.accessioned 2022-09-19T15:37:39Z
dc.date.available 2022-09-19T15:37:39Z
dc.date.issued 2011
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/142314
dc.description.abstract We provide technical details for both a fibring and an independent combination of normal and a non-normal logics underlying a normative multi-agent system (normative MAS). Such combinations lead to different levels of expressiveness of the system. Based on the fibring, we give a possible structure for a combined model checker for the MAS. The independent combination provides: (i) an ontology of pairs (mental configuration-visible behavior), which can be understood as a structural account to supporting non-monotonicity; and (ii) a logics where to write and test the validity of a wider set of well-formed formulas. en
dc.format.extent 171-185 es
dc.language en es
dc.subject modal logics es
dc.subject combination of logics es
dc.subject model checking es
dc.subject normative multi-agent systems es
dc.title Combinations of Normal and Non-normal Modal Logics for Normative Multi-Agent Systems en
dc.type Objeto de conferencia es
sedici.identifier.uri https://40jaiio.sadio.org.ar/sites/default/files/T2011/EST/TrabFinales/570.pdf es
sedici.identifier.issn 1850-2946 es
sedici.creator.person Ambrossio, Agustín es
sedici.creator.person Mendoza, Leandro 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 es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/4.0/
sedici.date.exposure 2011-08
sedici.relation.event XIV Concurso de Trabajos Estudiantiles (EST 2011) (XL JAIIO, Córdoba, 29 de agosto al 2 de septiembre de 2011) es
sedici.description.peerReview peer-review es


Descargar archivos

Thumbnail
Documento completo
Descargar archivo (781.2Kb) - PDF
Icon
Enlace externo

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

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