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: 74-82
Nicole Bidoit , L.R.I. UMR 8623 CNRS
Matthieu Objois , L.R.I. UMR 8623 CNRS
We investigate the expressive power of implicit temporal query languages. The initial motivation was refining the results of [1] and enrich them with comparison to µTL [17]. Thus, we address two classes of temporal query languages: µTL-like languages based on TL and T-WHILE-like languages based on WHILE. We provide a two-level hierarchy (w.r.t. expressive power) for these temporal query languages. One of the contributions solves an open problem: the relative expressivity of µTL and T-FIXPOINT [1, 11].
Nicole Bidoit, Matthieu Objois, "Temporal Query Languages Expressive Power: ?TL versus T-WHILE", Temporal Representation and Reasoning, International Syposium on, vol. 00, no. , pp. 74-82, 2005, doi:10.1109/TIME.2005.35
91 ms
(Ver 3.3 (11022016))