Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS
| Autor Principal: | |
|---|---|
| Otros autores o Colaboradores: | , , |
| Formato: | Capítulo de libro |
| Lengua: | inglés |
| Temas: | |
| Acceso en línea: | http://dx.doi.org/10.1007/978-3-642-35731-2_13 Consultar en el Cátalogo |
| 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: | Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca) |
| Descripción Física: | 1 archivo (269,3 kB) |
| DOI: | 10.1007/978-3-642-35731-2_13 |