Dennett, D.C. (1971): ``Intentional Systems'', Journal of Philosophy, vol. 68, No. 4, Feb. 25.
Dreyfus, Hubert L. (1972): What Computers Can't Do: the Limits of Artificial Intelligence, revised edition 1979, New York : Harper & Row.
Fikes, R, and Nils Nilsson, (1971): ``STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving'', Artificial Intelligence, Volume 2, Numbers 3,4, January, pp. 189-208.
Gelfond, M. (1987): ``On Stratified Autoepistemic Theories'', AAAI-87 1, 207-211.
Ginsberg, M. (ed.) (1987): Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 481 pp.
Green, C., (1969): ``Application of Theorem Proving to Problem Solving,'' First International Joint Conference on Artificial Intelligence, pp. 219-239.
Halpern, J. (ed.) (1986): Reasoning about Knowledge, Morgan Kaufmann, Los Altos, CA.
Hanks, S. and D. McDermott (1986): ``Default Reasoning, Nonmonotonic Logics, and the Frame Problem'', AAAI-86, pp. 328-333.
Haugh, Brian A. (1988): ``Tractable Theories of Multiple Defeasible Inheritance in Ordinary Nonmonotonic Logics'', Proceedings of the Seventh National Conference on Artificial Intelligence (AAAI-88), Morgan Kaufmann.
Hintikka, Jaakko (1964): Knowledge and Belief; an Introduction to the Logic of the Two Notions, Cornell Univ. Press, 179 pp.
Kowalski, Robert (1979): Logic for Problem Solving, North-Holland, Amsterdam.
Kraus, Sarit and Donald Perlis (1988): ``Names and Non-Monotonicity'', UMIACS-TR-88-84, CS-TR-2140, Computer Science Technical Report Series, University of Maryland, College Park, Maryland 20742.
Lifschitz, Vladimir (1987): ``Formal theories of action'', The Frame Problem in Artificial Intelligence, Proceedings of the 1987 Workshop, reprinted in (Ginsberg 1987).
Lifschitz, Vladimir (1989a): Between Circumscription and Autoepistemic Logic, to appear in the Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Morgan Kaufmann.
Lifschitz, Vladimir (1989b): ``Circumscriptive Theories: A Logic-based Framework for Knowledge Representation,'' this collection.
Lifschitz, Vladimir (1989c): ``Benchmark Problems for Formal Nonmonotonic Reasoning'', Non-Monotonic Reasoning, 2nd International Workshop, Grassau, FRG, Springer-Verlag.
McCarthy, John (1959): ``Programs with Common Sense'', Proceedings of the Teddington Conference on the Mechanization of Thought Processes, Her Majesty's Stationery Office, London.
McCarthy, John and P.J. Hayes (1969): ``Some Philosophical Problems from the Standpoint of Artificial Intelligence'', D. Michie (ed.), Machine Intelligence 4, American Elsevier, New York, NY.
McCarthy, John (1977): ``On The Model Theory of Knowledge'' (with M. Sato, S. Igarashi, and T. Hayashi), Proceedings of the Fifth International Joint Conference on Artificial Intelligence, M.I.T., Cambridge, Mass.
McCarthy, John (1977): ``Epistemological Problems of Artificial Intelligence'', Proceedings of the Fifth International Joint Conference on Artificial Intelligence, M.I.T., Cambridge, Mass.
McCarthy, John (1979a): ``Ascribing Mental Qualities to Machines'', Philosophical Perspectives in Artificial Intelligence, Ringle, Martin (ed.), Harvester Press, July 1979.
McCarthy, John (1979b): ``First Order Theories of Individual Concepts and Propositions'', Michie, Donald (ed.), Machine Intelligence 9, (University of Edinburgh Press, Edinburgh).
McCarthy, John (1980): ``Circumscription--A Form of Non-Monotonic Reasoning'', Artificial Intelligence, Volume 13, Numbers 1,2, April.
McCarthy, John (1983): ``Some Expert Systems Need Common Sense'', Computer Culture: The Scientific, Intellectual and Social Impact of the Computer, Heinz Pagels (ed.), vol. 426, Annals of the New York Academy of Sciences.
McCarthy, John (1986): ``Applications of Circumscription to Formalizing Common Sense Knowledge'', Artificial Intelligence, April 1986.
McCarthy, John (1987): ``Mathematical Logic in Artificial Intelligence'', Daedalus, vol. 117, No. 1, American Academy of Arts and Sciences, Winter 1988.
McCarthy, John (1989): ``Two Puzzles Involving Knowledge'', Formalizing Common Sense, Ablex 1989.
McDermott, D. and J. Doyle, (1980): ``Non-Monotonic Logic I'', Artificial Intelligence, Vol. 13, N. 1
Moore, R. (1985): ``Semantical Considerations on Nonmonotonic Logic'', Artificial Intelligence 25 (1), pp. 75-94.
Newell, Allen (1981): ``The Knowledge Level''. AI Magazine, Vol. 2, No. 2.
Perlis, D. (1988): ``Autocircumscription'', Artificial Intelligence, 36 pp. 223-236.
Reiter, Raymond (1980): ``A Logic for Default Reasoning'', Artificial Intelligence, Volume 13, Numbers 1,2, April.
Russell, Bertrand (1913): ``On the Notion of Cause'', Proceedings of the Aristotelian Society, 13, pp. 1-26.
Robinson, J. Allen (1965): ``A Machine-oriented Logic Based on the Resolution Principle'', JACM, 12(1), pp. 23-41.
Sterling, Leon and Ehud Shapiro (1986): The Art of Prolog, MIT Press.
Sussman, Gerald J., Terry Winograd, and Eugene Charniak (1971): ``Micro-planner Reference Manual'', Report AIM-203A, Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge.
Vardi, Moshe (1988): Conference on Theoretical Aspects of Reasoning about Knowledge, Morgan Kaufmann, Los Altos, CA.
Department of Computer Science
Stanford University
Stanford, CA 94305