Towards a general theory of action and time
Artificial Intelligence
Specification of time dependencies and synthesis of concurrent processes
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Maintaining knowledge about temporal intervals
Communications of the ACM
A conceptual model of fuzzy temporal databases: algebra
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Models of axioms for time intervals
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Models of axioms for time intervals
AAAI'87 Proceedings of the sixth National conference on Artificial intelligence - Volume 1
Weak representations of interval algebras
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
On generalized interval calculi
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Temporal representation and reasoning in artificial intelligence: A review
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.00 |
James Allen defined a calculus of time intervals by identifying time intervals as pairs of real numbers, and considering binary relations that can hold between such pairs [Alll83]. We call this the Interval Calculus. We consider the system of interval time units defined in [Lad86.2] (the TUS), which was intended for the natural representation of real clock time on any scale. We introduce the convex part of the TUS, and show that it may be regarded as a canonical model of the Interval Calculus. We discuss the consequences of this result.