wpu.nu

Sida:Ann-1983 JBC25001-00 James Allen - Maintaining knowledge about temporal intervals.pdf/29

Från wpu.nu

Den här sidan har inte korrekturlästs


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.