next up previous
Next: About this document Up: Review of Shadows of Previous: Modes of Reasoning


Abelson and Sussman, 1985
Abelson, Harold and Gerald Sussman: Structure and Interpretation of Computer Programs, M.I.T. Press, 1985.

Feferman, 1988
Feferman, Solomon: ``Turing in the land of O(z). In The Universal Turing Machine: a Half-century Survey (ed. R. Herken). Oxford University Press, 1988.

Gödel, 1940
Gödel, Kurt: The Consistency of The Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Princeton University Press, 1940.

McCarthy and Hayes, 1969
McCarthy, John and P.J. Hayes: ``Some Philosophical Problems from the Standpoint of Artificial Intelligence'', in D. Michie (ed), Machine Intelligence 4, American Elsevier, New York, NY, 1969. Reprinted in [McCarthy, 1990].

McCarthy, 1989
McCarthy, John (1989): ``Artificial Intelligence and Logic'' in Thomason, Richmond (ed.) Philosophical Logic and Artificial Intelligence (Dordrecht ; Kluwer Academic, c1989). Also accessible from

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

McCarthy, 1990a
McCarthy, John (1990a): Review of The Emperor's New Mind by Roger Penrose, in Bulletin of the American Mathematical Society, Volume 23, Number 2, October 1990, pp. 606-616. Also accessible from

McCarthy, 1993
McCarthy, John (1993): ``Notes on Formalizing Context'' IJCAI-93. Morgan-Kauffman. Also accessible from

McCarthy, 1995
McCarthy, John (1995): ``Making Robots Conscious of their Mental States''. Invited lecture at the Symposium on Consciousness, AAAI, Spring 1995. Also accessible from

/ begun 1995 Jan 16, latexed

JanFebMarAprMayJun JulAugSepOctNovDec at :< 10 0

John McCarthy
Sun Apr 18 22:27:26 PDT 1999