RT Conference Proceedings
T1 Reasoning in Interval Temporal Logics - New Frontiers
A1 Sciavicco, Guido
K1 Decidabilidad (Lógica matemática)
AB In this talk, we are going to survey the basic elements of temporal logics based on intervals instead of points. We shall first give the most fundamentaldefinitions, with particular attention to the parameters that influence the computational properties of logics of time intervals. Then, we shall seethe most important results that we have obtained in the past years. Finally, we shall focus our attention on the currently open problems, and, in particular,those on which we are working on in joint with the University of Malaga. We shall conclude by proposing interesting line of research closely connectedto such problems.
YR 2014
FD 2014-10-27
LK http://hdl.handle.net/10630/8320
UL http://hdl.handle.net/10630/8320
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 21 ene 2026