next up previous
Next: About this document Up: FROM HERE TO Previous: Conclusion


Buvac, 1996
Buvac, S. (1996). Quantificational logic of context. In Proceedings of the Thirteenth National Conference on Artificial Intelligence.

Buvac et al., 1995
Buvac, S., Buvac, V., and Mason, I. A. (1995). Metamathematics of contexts. Fundamenta Informaticae, 23(3).

David Poole and Goebel, 1998
David Poole, A. M. and Goebel, R. (1998). Computational Intelligence. Oxford.

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 McC90.

McCarthy, 1979
McCarthy, J. (1979). Ascribing mental qualities to machines. In Ringle, M., editor, Philosophical Perspectives in Artificial Intelligence. Harvester Press. 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, 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). Formalization of common sense, papers by John McCarthy edited by V. Lifschitz. Ablex.

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

McCarthy, 1995
McCarthy, J. (1995). Situation Calculus with Concurrent Events and Narrative. Contents subject to change. Reference will remain.

McCarthy, 1996
McCarthy, J. (1996). Making Robots Conscious of their Mental States. In Muggleton, S., editor, Machine Intelligence 15. Oxford University Press.

McCarthy and Hayes, 1969
McCarthy, J. and Hayes, P. J. (1969). 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.

Newell, 1981
Newell, A. (1981). The knowledge level. AI Magazine, 2(2):1-20. Originally delivered as the Presidential Address, American Association for Artificial Intelligence, AAAI80, Stanford, CA, August 1980.

Newell, 1993
Newell, A. (1993). Reflections on the knowledge level. Artificial Intelligence, 59(1-2):31-38.

Newell and Simon, 1972
Newell, A. and Simon, H. A. (1972). Human Problem Solving. Prentice-Hall, Englewood Cliffs, NJ.

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

Turing, 1947
Turing, A. M. (1947). Lecture to the london mathematical society. In The Collected Works of A. M. Turing, volume Mechanical Intelligence. North-Holland. This was apparently the first public introduction of AI, typescript in the King's College archive, the book is 1992.

John McCarthy
Sun Apr 19 15:21:34 PDT 1998