References

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 http://www-formal.stanford.edu/jmc/.

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.