An investigation of 'non-intermingling' principles in temporal logic

Journal of Logic and Computation

Volumn 6, Issue 2, 1996, Pages 271-294

  Galton, Antony ^a  

^a UNIVERSITY OF EXETER   (United Kingdom)

Author keywords

Clustered variation; Fuzz; Intermingling; Temporal logic

Indexed keywords

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

References (9)

1. J. Allen. Towards a general theory of action and time. Artificial Intelligence, 23, 123-154, 1984.
2. J. Allen and G. Ferguson. Actions and events in interval temporal logic. Journal of Logic and Computation, 4, 531-579, 1994.
3. J. F. Allen and P. J. Hayes. Moments and points in an interval-based temporal logic. Computational Intelligence, 5, 225-238, 1989.
4. E. Davis. Infinite loops in finite time: some observations. In KR'92: Principles of Knowledge Representation and Reasoning, Proceedings of the Third International Conference, pp. 47-58. Morgan-Kaufmann, 1992.
5. C. L. Hamblin. Instants and intervals. Studium Generale, 24, 127-134, 1971.
6. J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In Machine Intelligence 4, B. Melzer and D. Michie, eds, pp. 463-502. Edinburgh University Press, 1969.
7. D. McDermott. A temporal logic for reasoning about processes and plans. Cognitive Science, 6, 101-155, 1982.
8. A. N. Prior. Past, Present, and Future. Clarendon Press, Oxford, 1967.
9. J. F. Thompson. Tasks and supertasks. Analysis, 15, 1-13, 1954.