Subir material

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

 

Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS

Pertenece al libro: AI Approaches to the Complexity of Legal Systems - Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents
Tipo de documento: Objeto de conferencia

Resumen

We provide technical details for combining normal and a non-normal logics for the notion of collective trust. Such combinations lead to different levels of expressiveness of the system. We give a possible structure for a combined model checker for one of the logic resulting from such combinations.

Notas

Lecture Notes in Computer Science book series (LNAI, vol. 7639)

Información general

Fecha de exposición: 2011
Fecha de publicación: 2012
Idioma del documento: Inglés
Evento: International Workshop AICOL-III, held as part of the 25th IVR Congress (Frankfurt am Main, Germany, August 15-16, 2011)
Institución de origen: Facultad de Informática
ISSN: 0302-9743; 1611-3349
ISBN: 978-3-642-35731-2
Páginas: 189-203

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (233.7Kb) - PDF
 
Creado el: 12 de octubre de 2022
Disponible en SEDICI desde: 12 de octubre de 2022
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • https://sedici.unlp.edu.ar/handle/10915/143650
  • https://doi.org/10.1007/978-3-642-35731-2_13

    • 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)