14th International Symposium on Temporal Representation and Reasoning (TIME'07) Relational Temporal Machines Alicante, Spain June 28-June 30 ISBN: 0-7695-2836-8
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TIME.2007.58
The paper introduces and investigates relational temporal machine (RTM) as a general abstract model for generic temporal querying. The RTM devices subsume most temporal query languages that have emerged in the literature. A first contribution of the paper is to provide two simplified forms for our machines, namely extended onetape RTMs and one-tape RTMs. Another contribution is to establish connections between RTMs and the T-WHILE and TS-WHILE extensions of FO based on complexity criteria.
Citation:
Nicole Bidoit, Francois Hantry, "Relational Temporal Machines," time, pp.23-34, 14th International Symposium on Temporal Representation and Reasoning (TIME'07), 2007 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||