A short walk through interval temporal logics

Supervisor
Angelo Montanari - Università di Udine
Date and time
Thursday, December 1, 2011 at 4:45 PM - 16:45 rinfresco; 17:00 inizio seminario.
Place
Ca' Vignal - Piramide, Floor 0, Hall Verde
Programme Director
Davide Bresolin
External reference
Publication date
November 14, 2011
Department
Computer Science  

Summary

Interval temporal logics are a family of modal logics for reasoning about relational interval structures over linear orders. The set of all possible binary relations between such intervals is known as the set of Allen's interval relations. A distinct modal operator can be associated with each of them.
Formulae of interval temporal logics are evaluated at time intervals rather than time points. This results in a substantially higher expressiveness and computational complexity of interval temporal logics as compared to point-based ones. Our talk is a short walk through interval temporal logics aimed at illustrating the main achievements of research in the field.






© 2002 - 2021  Verona University
Via dell'Artigliere 8, 37129 Verona  |  P. I.V.A. 01541040232  |  C. FISCALE 93009870234