Note on a Lemma of Ladkin

Journal of Logic and Computation

Volumn 6, Issue 1, 1996, Pages 1-4

  Galton, Antony ^a  

^a UNIVERSITY OF EXETER   (United Kingdom)

Author keywords

Axiomatization; Intervals

Indexed keywords

EID: 8844259790     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/6.1.1     Document Type: Article

References (4)

1. J. F. Allen and P. J. Hayes. A common-sense theory of time. In Proceedings of the 9th International Joint Conference on Artificial Intelligence, pp. 528-531, International Conferences on Artificial Intelligence Inc., 1985.
2. J. F. Allen and P. J. Hayes. Short time periods. In Proceedings of the 10th International Joint Conference on Artificial Intelligence, pp. 981-983, International Conferences on Artificial Intelligence Inc., 1987.
3. J. F. Allen and P. J. Hayes. Moments and points in an interval-based temporal logic. Computational Intelligence, 5, 225-238, 1989.
4. P. Ladkin. Models of axioms for time intervals. In Proceedings of the Sixth National Conference on Artificial Intelligence, pp. 234-239, American Association for Artificial Intelligence, 1987.