Time Representation: A Taxonomy of Interval Relations

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1986, Pages 360-366

  Ladkin, Peter ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY RELATION; COMMONSENSE REASONING; TIME INTERVAL;

TAXONOMIES;

EID: 85027142530     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. Allen, J.F., Towards a General Theory of Action and Time, Artificial Intelligence 23 (2), July 1984, 123-154.
2. Allen, J.F., Maintaining Knowledge about Temporal Intervals, Gomm. A.C.M. 26 (11), November 1983, 832-843.
3. Allen, J.F. and Kautz, H., A Model of Naive Temporal Reasoning, in Hobbs, J.R. and Moore, R.C., editors, Formal Theories of the Commonsense World, Ablex 1985.
4. Allen J.F. and Hayes, P. J., A Commonsense Theory of Time, in Proceedings IJCAI 1985, 528-531.
5. Comer, S.D. Combinatorial Aspects of Relations, Algebra Universalis 18, 1984, 77-94.
6. Dowty, D.R. Word Meaning and Montague Grammar, Reidel, 1979.
7. Freuder, E.C., Synthesizing Constraint Expressions, Comm. A.C.M. 21 (11), November 1978, 958-965.
8. Humberstone, I.L., Interval Semantics for Tense Logic: Some Remarks, J. Philosophical Logic 8, 1979, 171-196.
9. Jonsson, B. and Tarski, A., Boolean Algebras with Operators I, American J. Mathematics (73), 1951.
10. Jonsson, B. and Tarski, A., Boolean Algebras with Operators II, American J. Mathematics (74), 1952, 127-162.
11. Ladkin, P.B., Comments on the Representation of Time, Proceedings of the 1985 Distributed Artificial Intelligence Workshop, Sea Ranch, California.
12. Ladkin, P.B., Primitives and Units for Time Specification, Proceedings of AAAI-86 (this volume).
13. Ladkin, P.B. and Maddux, R.D., The Algebra of Time Intervals, in preparation.
14. Lamport, L., On Interprocess Communication Part I: Basic Formalism, Distributed Computing, to appear.
15. Maddux, R.D., Topics in Relation Algebras, Ph. D. Thesis, University of California at Berkeley, 1978.
16. McDermott, D., A Temporal Logic for Reasoning about Actions and Plans, Cognitive Science 6 (2), April-June 1982, 71-109.
17. McDermott, D., Reasoning about Plans, in Hobbs, J.R. and Moore, R.C., editors, Formal Theories of the Commonsense World, Ablex 1985.
18. van Benthem, J.F.A.K., The Logic of Time, Reidel 1983.