Primitives and Units for Time Specification

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 1986, Pages 354-359

  Ladkin, Peter ^a  

^a KESTREL INSTITUTE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

FORMALISATION; HORN CLAUSE; SETS THEORY; TIME UNITS;

BIOMINERALIZATION;

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

References (16)

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. Dowty, D.R. Word Meaning and Montague Grammar, Reidel, 1979.
6. Humberstone, I.L., Interval Semantics for Tense Logic: Some Remarks, J. Philosophical Logic 8, 1979, 171-196.
7. Jonsson, B. and Tarski, A., Boolean Algebras with Operators I, American J. Mathematics (73), 1951.
8. Jonsson, B. and Tarski, A., Boolean Algebras with Operators II, American J. Mathematics (74), 1952, 127-162.
9. Ladkin, P.B., Comments on the Representation of Time, Proceedings of the 1985 Distributed Artificial Intelligence Workshop, Sea Ranch, California.
10. Ladkin, P.B., Time Representation: A Taxonomy of Interval Relations, Proceedings of AAAI-86 (this volume).
11. Ladkin, P.B. and Maddux, R.D. The Algebra of Time Intervals, in preparation.
12. Maddux, R.D., Topics in Relation Algebras, Ph. D. Thesis, University of California at Berkeley, 1978.
13. McDermott, D., A Temporal Logic for Reasoning about Actions and Plans, Cognitive Science 6 (2), April-June 1982, 71-109.
14. McDermott, D., Reasoning about Plans, in Hobbs, J.R. and Moore, R.C., editors, Formal Theories of the Commonsense World, Ablex 1985.
15. McTaggart, J.M.E., The Unreality of Time, Mind, 1908, 457-474.
16. van Benthem, J.F.A.K., The Logic of Time, Reidel 1983.