Proceedings:
Proceedings of the AAAI Conference on Artificial Intelligence, 5
Volume
Issue:
Science
Track:
Knowledge Representation
Downloads:
Abstract:
This paper considers computational aspects of several temporal representation languages. It investigates an interval-based representation, and a point-based one. Computing the consequences of temporal assertions is shown to be computationally intractable in the interval-based representation, but not in the point-based one. However, a fragment of the interval language can be expressed using the point language and benefits from the tractability of the latter.
AAAI
Science