References

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 http://www.cs.utoronto.ca/ 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.