Colloquium Computer Science, Professor Angelo Montanari (University of Udine)
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...
-
21 May 2024
Results of 2024 University elections
The votes have been counted and the results of the University elections are in!