next up previous
Next: About this document Up: Book Review Previous: The Degenerating Research Program


Buvac and Mason, 1993
Sasa Buvac and Ian A. Mason.: ``Propositional logic of context'', in Proceedings of the Eleventh National Conference on Artificial Intelligence, 1993, to appear.

Gelfond, Lifschitz and Rabinov, 1991
Gelfond, M., Lifschitz, V. and A. Rabinov.: ``What Are the Limitations of the Situation Calculus?'', in Automated Reasoning: Essays in Honor of Woody Bledsoe, Robert S. Boyer, (ed.), Kluwer Academic Publishers, Dordrecht, Boston and London.

Ginsberg, 1987
Ginsberg, Matthew. Readings in Non-Monotonic Reasoning. Los Altos, CA: Morgan Kaufmann.

Guha, 1991
Guha, R. V.: Contexts: A Formalization and Some Applications, Stanford PhD Thesis, 1991.

Lenat and Guha, 1990
Lenat, Douglas and R. V. Guha: ``"Building Large Knowledge Based Systems: Representation and Inference in the Cyc Project'', Addison-Wesley, 1990.

Lifschitz, 1993
Lifschitz, Vladimir ``Circumscription'', in Handbook of Logic for Artificial Intelligence and Logic Programming, Vol. 3, Oxford University Press, 1993.

McCarthy, 1959
McCarthy, John (1959): ``Programs with Common Sense'', in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, Her Majesty's Stationery Office, London.

McCarthy, 1977
McCarthy, John (1977): ``Epistemological Problems of Artificial Intelligence'', in Proceedings of the Fifth International Joint Conference on Artificial Intelligence, M.I.T., Cambridge, Mass.

McCarthy, 1987
McCarthy, John (1987): ``Generality in Artificial Intelligence'', Communications of the ACM. Vol. 30, No. 12, pp. 1030-1035. Also in ACM Turing Award Lectures, The First Twenty Years, ACM Press, 1987. Reprinted in [McCarthy, 1990].

McCarthy, 1990
McCarthy, John: Formalizing Common Sense, Ablex, Norwood, New Jersey, 1990.

McCarthy, 1993
McCarthy, John: ``Notes on the Formalization of Context'',Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, Los Altos, CA, Morgan-Kaufmann.

Minsky, 1975
Minsky, Marvin: ``A Framework for Representing Knowledge'', in Winston, Patrick (ed.) The Psychology of Computer Vision, 211-277, New York, McGraw-Hill.

Newell, 1982
Newell, Allen: ``The Knowledge Level'', Artificial Intelligence 18 pp. 87-127.

Newell, 1992
Newell, Allen: Unified Theories of Cognition, Harvard 1992.

Newell, 1992
Newell, Allen: ``Reflections on the Knowledge Level'', Artificial Intelligence 59 pp. 31-38.

/ begun 1993 Mar 3, LaTeXed

JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0

John McCarthy
Tue Jun 13 01:06:06 PDT 2000