Maintaining Knowledge about Temporal Intervals

Communications of the ACM

Volumn 26, Issue 11, 1983, Pages 832-843

  Allen, James F ^a  

^a UNIVERSITY OF ROCHESTER   (United States)

Author keywords

interval reasoning; interval representation; temporal interval

Indexed keywords

DATABASE SYSTEMS;

EID: 0020849266     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/182.358434     Document Type: Article

References (18)

1. Allen, J. F., Frisch. A. M., and Lilman, D. J. ARGOT: The Rochester dialogue system, Proc. Nat. Conf. on Artificial Intelligence, AAAI 82, Pittsburgh, Pa., Aug, 1982.
2. Allen, J. F., and Kautz, H. A. “A model of naive temporal reasoning.” to appear in J. R. Hobbs and R. Moore (Ed)., Contributions in Artificial Intelligence. Vol. 1, Ablex Pub, Co, Norwood. N.J. 1983.
3. Allen, J. F. and Koomen, H. A. Planning using a temporal world model, Submitted to 8th Int. Joint Conf. Artificial Intelligence. Aug. 1983.
4. Bruce. H. C. A modal for temporal references and its application in a question answering program. Artificial Intelligence 3 (1972). 1-25.
5. Bubenko, J. A., Jr. Information modeling in the context of system development. Proc. IKIP Congress 80. Oct. 1980, North-Holland. Amsterdam.
6. G. Doyle, J. A truth maintenance system. Artificial Intelligence 12, 3, (Nov. 1979), 231-272.
7. Fikes. R E., and Nilsson, N. J. STRIPS: A new approach to the application of theorem proving to problem solving. Artificial intelligence 2, (1971), 189-205.
8. Foderaro, J. K. The FRANZ LJSP Manuel. Dept, of Computer Science, U. of California, Berkeley, 19BD.
9. Freuder, E. C. A sufficient condition for backtrack-free search J. ACM 29. 1 (Jan. 1932), 24-32.
10. Hayes, P. J., The Naive Physics manifesto, In Expert Systems, D. Mi-chis (Ed.), Edinburgh U. Press, 1979.
11. Hayes, P. J. Naive Physics I: Ontology for liquids. Working Paper 63. Institut pour les Etudes Semantiques et Cognitives, Geneva, 1978.
12. Hendrix. G. G., Modeling simultaneous actions and continuous processes. Artificial Intelligence 4, 3 (1973), 145-180.
13. Kahn. K. M., and Garry. A. G., Mechanizing temporal knowledge. Artificial Intelligence 9, 2 (1977), 87-108
14. McCarthy. J. and Hayes, P. Some philosophical problems from the standpoint of artificial intelligence Muchine Intelligence 4, Edinburgh U Press, 19G9
15. McDermott. D. A temporal logic for reasoning about processes and plans. Cognitive Science 6. {1982). 101-155.
16. Rescher, N, and Urquhart, A. Temporal Logic. Springer-Verlag, New York, 1971.
17. Sacerdoti, E. D. A Structure for PJnns and Behavior. Elsevier North-Holland, New York. 1977.
18. Vilain, M A system for reasoning about time, Proc. AAAI 82, Pittsburgh, Pa., Aug 1962.