The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2005)
Burlington, Vermont
June 23, 2005 to June 25, 2005
ISSN: 1530-1311
ISBN: 0-7695-2370-6
pp: 201-203
Angelo Montanari , Università degli Studi di Udine
ABSTRACT
In this paper we focus our attention on the problem of finding propositional interval temporal logics which are expressive enough to express meaningful statements about time intervals and decidable.
INDEX TERMS
null
CITATION
Angelo Montanari, "Propositional Interval Temporal Logics: Some Promising Paths", Temporal Representation and Reasoning, International Syposium on, vol. 00, no. , pp. 201-203, 2005, doi:10.1109/TIME.2005.30
78 ms
(Ver 3.3 (11022016))