References
Allen, J.F., A.M. Frisch, and D.J. Litman, "ARGOT: The Rochester Dialogue
System," Proc., National Conference on Artificial Intelligence, AAAI-82,
Pittsburgh, PA, August 1982. Allen, J.F. and H.A. Kautz, "A model of naive temporal reasoning," to appear in
J.R. Hobbs and R. Moore (Ed). Vol. 1 of Series entitled Contributions in
Artificial Intelligence. Ablex Publishing Company, 1983. Allen, J.F. and J.A. Koomen, "Planning using a temporal world model," submitted
to 8th IJCAI, August 1983. Bruce, B.C., "A model for temporal references and its application in a question
answering program," Artificial Intelligence 3, 1-25, 1972. Bubenko, J.A., Jr., "Information modeling in the context of system development,"
Proc., IFIP Congress 80, October 1980. Doyle, J., "A truth maintenance system," Artificial Intelligence 12, 3, November
1979. Fikes, R.E. and N.J. Nilsson, "STRIPS: A new approach to the application of
theorem proving to problem solving," Artificial Intelligence 2, 189-205, 1971. Foderaro, J.K, The FRANZ LISP Manual. 1980. Freuder, E.C., "A sufficient condition for backtrack-free search," JACM 29, 1, 24-32,
January 1982. Hayes, P.J., "The Naive Physics manifesto," in D. Michie (Ed). Expert Systems.
Edinburgh U, Press, 1979. Hayes, P.J., "Naive Physics I: Ontology for liquids," Working Paper 63, Institut pour
les Etudes Semantiques et Cognitives, Geneva, 1978. Hendrix, G.G., "Modeling simultaneous actions and continuous processes," Artificial
Intelligence 4, 3, 1973. Kahn, K.M. and A.G. Gorry, "Mechanizing temporal knowledge," ArtificialIntelligence 9, 2, 87-108, 1977. McCarthy, J. and P. Hayes, "Some philosophical problems from the standpiont of
artificial intelligence," Machine Intelligence 4, Edinburgh U. Press., 1969. McDermott, D., "A temporal logic for reasoning about processes and plans,"
Cognitive Science 6, 101-155, 1982. Rescher, N. and A. Urquhart. Temporal Logic. New York: Springer Verlag, 1971. Sacerdoti, E.D. A Structure for Plans and Behavior. New York: Elsevier NorthHolland, Inc., 1977. Vilain, M., "A system for reasoning about time," Proc., AAAI, Pittsburgh, PA,
August 1982.