Colloquium Computer Science, Professor Angelo Montanari (University of Udine)

Title: Past, present, and future of Interval Temporal Logics  

Abstract:

In this talk, I describe a family of modal logics for reasoning about
relational structures of intervals over (usually) linear orders, with modal
operators associated with the various binary relations between such
intervals, known as Allen's interval relations. The formulae of these
logics are evaluated at intervals rather than points and the main
effect of that semantic feature is substantially higher expressive power
and computational complexity of interval temporal logics as compared to
point-based ones. Without purporting to provide a comprehensive
survey of the field, I take the audience to a journey through past,
present, and future of interval temporal logics. After a short introduction
to the field, I present the main developments over the past 10 years,
outlining some landmark results on expressiveness and
(un)decidability / complexity of the satisfiability problem for the
family of interval logics, and I discuss current and future research
work, with a special attention to the model checking problem.

Colloquium coordinators are Prof.dr. M. Aiello (e-mail : M.Aiello rug.nl ) and
Prof.dr. M. Biehl (e-mail: M.Biehl rug.nl )

http://www.rug.nl/research/jbi/news/colloquia/computerscience