Temporal Reasoning and MAS

In this paper we investigate if it is possible and useful to reason about time within social/normative multi-agent systems (MAS) by taking into account the general guidelines of tense logic. We focus on the combination of special-purpose logics: we provide a formal account in which a minimal tempora...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Smith, Clara Patricia, Rotolo, Antonino, Sartor, Giovanni
Formato: Articulo Documento de trabajo
Lenguaje:Inglés
Publicado: 2011
Materias:
Informática
Ciencias Jurídicas
Hybrid modal logic
Deontic logic
Temporal reasoning
Deadlines
Multi agent systems
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/128481
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares