Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar Colloquia - Computer Science

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

11 February 2015


Wednesday, February 11th 2015


Prof.dr. Angelo Montanari, University of Udine


5161.0267 (Bernoulliborg)



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


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 ) and
Prof.dr. M. Biehl (e-mail: M.Biehl )

Last modified:07 June 2018 10.59 a.m.

More news