Skip to ContentSkip to Navigation
Research Bernoulli Institute Calendar

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

11 February 2015

Date:                      

Wednesday, February 11th 2015

Speaker:

Prof.dr. Angelo Montanari, University of Udine

Room:

5161.0267 (Bernoulliborg)

Time:

16.00

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

Last modified:10 February 2021 1.32 p.m.

More news

  • 10 June 2024

    Swarming around a skyscraper

    Every two weeks, UG Makers puts the spotlight on a researcher who has created something tangible, ranging from homemade measuring equipment for academic research to small or larger products that can change our daily lives. That is how UG...

  • 24 May 2024

    Lustrum 410 in pictures

    Lustrum 410 in pictures: A photo report of the lustrum 2024

  • 21 May 2024

    Results of 2024 University elections

    The votes have been counted and the results of the University elections are in!