next up previous contents
Next: About this document Up: Making Robots Conscious Previous: Acknowledgements


Brewka, 1991
Brewka, G. (1991). Nonmonotonic Reasoning: Logical Foundations of Common Sense. Cambridge University Press.

Crick, 1995
Crick, F. (1995). The Astonishing Hypothesis: The Scientific Search for Soul. Scribners.

Dennett, 1978
Dennett, D. (1978). Brainstorms: Philosophical Essays on Mind and Psychology. Bradford Books/MIT Press, Cambridge.

Dennett, 1991
Dennett, D. (1991). Consciousness Explained. Little, Brown and Co., Boston.

Dennett, 1971
Dennett, D. C. (1971). Intentional systems. The Journal of Philosophy, 68(4):87-106.

Feferman, 1962
Feferman, S. (1962). Transfinite recursive progressions of axiomatic theories. J. Symbolic Logic, 27:259-316.

Flavell and O'Donnell, 1999
Flavell, J. H. and O'Donnell, A. K. (1999). Development of intuitions about mental experiences. Enfance. in press.

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

Gödel, 1965
Gödel, K. (1965). On undecidable propositions of formal mathematical systems. In Davis, M., editor, The Undecidable. Raven Press. This is the famous 1931 paper.

John H. Flavell and Flavell, 2000
John H. Flavell, F. L. G. and Flavell, E. R. (2000). Development of children's awareness of their own thoughts. Journal of Cognition and Development, 1:97-112.

Kraus et al., 1991
Kraus, S., Perlis, D., and Horty, J. (1991). Reasoning about ignorance: A note on the Bush-Gorbachev problem. Fundamenta Informatica, XV:325-332.

Lifschitz, 1994
Lifschitz, V. (1994). Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford University Press.

McCarthy, 1959
McCarthy, J. (1959). Programs with Common Sense. In Mechanisation of Thought Processes, Proceedings of the Symposium of the National Physics Laboratory, pages 77-84, London, U.K. Her Majesty's Stationery Office. Reprinted in [McCarthy, 1990].

McCarthy, 1963
McCarthy, J. (1963). A Basis for a Mathematical Theory of Computation. In Braffort, P. and Hirschberg, D., editors, Computer Programming and Formal Systems, pages 33-70. North-Holland, Amsterdam.

McCarthy, 1979a
McCarthy, J. (1979a). Ascribing mental qualities to machines. In Ringle, M., editor, Philosophical Perspectives in Artificial Intelligence. Harvester Press. Reprinted in [McCarthy, 1990].

McCarthy, 1979b
McCarthy, J. (1979b). First Order Theories of Individual Concepts and Propositions. In Michie, D., editor, Machine Intelligence, volume 9. Edinburgh University Press, Edinburgh. Reprinted in [McCarthy, 1990].

McCarthy, 1980
McCarthy, J. (1980). Circumscription--A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13:27-39. Reprinted in [McCarthy, 1990].

McCarthy, 1986
McCarthy, J. (1986). Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence, 28:89-116. Reprinted in [McCarthy, 1990].

McCarthy, 1987
McCarthy, J. (1987). Generality in artificial intelligence. Communications of the Association for Computing Machinery, 30:1030-1035. Reprinted in [McCarthy, 1990].

McCarthy, 1989
McCarthy, J. (1989). Artificial Intelligence, Logic and Formalizing Common Sense. In Thomason, R., editor, Philosophical Logic and Artificial Intelligence. Klüver Academic.

McCarthy, 1990
McCarthy, J. (1990). Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation.

McCarthy, 1993
McCarthy, J. (1993). Notes on Formalizing Context. In IJCAI-93.

McCarthy, 1995
McCarthy, J. (1995). Situation Calculus with Concurrent Events and Narrative. Web only, partly superseded by [McCarthy and Costello, 1998].

McCarthy, 1996
McCarthy, J. (1996). Making Robots Conscious of their Mental States. In Muggleton, S., editor, Machine Intelligence 15. Oxford University Press. Appeared in 2000. The web version is improved from that presented at Machine Intelligence 15 in 1995.

McCarthy, 1999
McCarthy, J. (1999). Parameterizing models of propositional calculus formulas. web only for now.

McCarthy and Buvac, 1998
McCarthy, J. and Buvac, S. (1998). Formalizing Context (Expanded Notes). In Aliseda, A., Glabbeek, R. v., and Westerståhl, D., editors, Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13-50. Center for the Study of Language and Information, Stanford University.

McCarthy and Costello, 1998
McCarthy, J. and Costello, T. (1998). Combining narratives. In Proceedings of Sixth Intl. Conference on Principles of Knowledge Representation and Reasoning, pages 48-59. Morgan-Kaufman.

McCarthy and Hayes, 1969a
McCarthy, J. and Hayes, P. J. (1969a). Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Meltzer, B. and Michie, D., editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press. Reprinted in [McCarthy, 1990].

McCarthy and Hayes, 1969b
McCarthy, J. and Hayes, P. J. (1969b). Some Philosophical Problems from the Standpoint of Artificial Intelligence. In Meltzer, B. and Michie, D., editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press. Reprinted in [McCarthy, 1990].

Montague, 1963
Montague, R. (1963). Syntactical treatments of modality, with corollaries on reflexion principles and finite axiomatizability. Acta Philosophica Fennica, 16:153-167. Reprinted in [Montague, 1974].

Montague, 1974
Montague, R. (1974). Formal Philosophy. Yale University Press.

Nagel, 1974
Nagel, T. (1974). What is it like to be a bat? Philosophical Review, 83(4):435-50.

Newell, 1980
Newell, A. (1980). Physical symbol systems. Cognitive Science, 4:135-183.

Reiter, 1993
Reiter, R. (1993). Proving properties of states in the situation calculus. Artificial Intelligence, 64:337-351. available from cogrobo.

Shankar, 1986
Shankar, N. (1986). Proof-Checking Metamathematics. PhD thesis, Computer Science Department, University of Texas at Austin.

Sloman, 1985
Sloman, A. (1985). What enables a machine to understand? In Proceedings 9th International Joint Conference on AI, pages 995-1001. Morgan-Kaufman.

Sloman and Croucher, 1981
Sloman, A. and Croucher, M. (1981). Why robots will have emotions. In Proceedings 7th International Joint Conference on AI. Morgan-Kaufman.

Turing, 1950
Turing, A. (1950). Computing machinery and intelligence. Mind.

Turing, 1939
Turing, A. M. (1939). Systems of logic based on ordinals. Proc Lond Math Soc (2), 45.

John McCarthy
Mon Jul 15 13:06:22 PDT 2002