James F. Allen
References
- 1 Allen, J. F., Frisch, A. M., and Litman, D. J. ARGOT: The Rochester dialogue system, Proc. Nat. Conf. on Artificial Intelligence, AAAI 82, Pittsburgh, Pa., Aug. 1982.Google Scholar
- 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.Google Scholar
- 3 Allen, J. F., and Koomen, 1- A. Planning using a temporal world model. Submitted to 8th Int. Joint Conf. Artificial Intelligence, Aug. 1983.Google Scholar
- 4 Bruce, B. C. A model for temporal references and its application in a question answering program. Artificial Intelligence 3 (1972), 1-25.Google ScholarDigital Library
- 5 Bubenko, J. A., Jr. Information modeling in the context of system development. Proc. IFIP Congress 80, Oct. 1980, North-Holland, Amsterdam.Google Scholar
- 6 Doyle, J. A truth maintenance system. Artificial Intelligence 12, 3, (Nov. 1979), 231-272.Google ScholarCross Ref
- 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.Google ScholarDigital Library
- 8 Foderaro, J. K. The FRANZ LISP Manual. Dept. of Computer Science, U. of California, Berkeley, 1980.Google Scholar
- 9 Freuder, E. C. A sufficient condition for backtrack-flee search. J. ACM 29, 1 (Jan. 1982), 24-32. Google ScholarDigital Library
- 10 Hayes, P. J. The Naive Physics manifesto. In Expert Systems, D. Michie (Ed.), Edinburgh U. Press, 1979.Google Scholar
- 11 Hayes, P. J. Naive Physics I: Ontology for liquids. Working Paper 63, lnstitut pour les Etudes Semantiques et Cognitives, Geneva, 1978.Google Scholar
- 12 Hendrix, G. G. Modeling simultaneous actions and continuous processes, Artificial Intelligence 4, 3 (1973), 145-180.Google ScholarCross Ref
- 13 Kahn, K. M., and Gorry, A. G. Mechanizing temporal knowledge. Artificial Intelligence 9, 2 (1977). 87-108.Google ScholarDigital Library
- 14 McCarthy, J., and Hayes, P. Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, Edinburgh U. Press, 1969.Google Scholar
- 15 McDermott, D. A temporal logic for reasoning about processes and plans. Cognitive Science 6, (1982), 101-155.Google ScholarCross Ref
- 16 Rescher, N., and Urquhart, A. Temporal Logic. Springer-Verlag, New York, 1971.Google ScholarCross Ref
- 17 Sacerdoti, E. D. A Structure for Plans and Behavior. Elsevier North- Holland, New York, 1977.Google Scholar
- 18 Vilain, M. A system for reasoning about time. Proc. AAAI 82, Pittsburgh, Pa., Aug. 1982.Google Scholar
Index Terms
Maintaining knowledge about temporal intervals
Comments