next up previous
Next: About this document Up: SYLLABUS FOR 2000 Previous: SYLLABUS FOR 2000


Joseph Y. Halpern. Reasoning about Knowledge. In D. Gabbay, editor, Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.4. Oxford University Press, 1995.

Vladimir Lifschitz. Formalizing Common Sense Knowledge: an Introduction. Unpublished manuscript, the ps file has only pages 1-7 (among 12), 1987.

Vladimir Lifschitz. First and Second-Order Logic. Unpublished manuscript, 1996.

Vladimir Lifschitz. Formalizing Common Sense Knowledge and Reasoning: an Example. Unpublished manuscript, 1996.

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

John McCarthy. Formalization of two puzzles involving knowledge, 1978. Reprinted in [McC90].

John McCarthy. Ascribing mental qualities to machines. In Martin Ringle, editor, Philosophical Perspectives in Artificial Intelligence. Harvester Press, 1979. Reprinted in [McC90].

John McCarthy. First Order Theories of Individual Concepts and Propositions. In Donald Michie, editor, Machine Intelligence, volume 9. Edinburgh University Press, Edinburgh, 1979. Reprinted in [McC90].

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

John McCarthy. Notes on Formalizing Context. In IJCAI-93, 1993.

John McCarthy. From Here to Human-Level AI. In KR96 Proceedings, 1996. Available as

John McCarthy. Making Robots Conscious of their Mental States. In Stephen Muggleton, editor, Machine Intelligence 15. Oxford University Press, 1996. to appear in 2000. The web version is improved from that presented at Machine Intelligence 15 in 1995.

John McCarthy. appearance and reality. web only for now, and perhaps for the future, 1999. not fully publishable on paper, because it contains an essential imbedded applet.

John McCarthy. Elaboration tolerance. to appear, 1999.

John McCarthy. Philosophical and Scientific Presuppositions of Logical AI. In H. J. Levesque and F. Pirri, editors, Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter, pages 72-78. Springer-Verlag, 1999.

John McCarthy. Approximate objects and approximate theories. In Anthony G. Cohn, Fausto Giunchiglia, and Bart Selman, editors, KR2000: Principles of Knowledge Representation and Reasoning,Proceedings of the Seventh International conference, pages 519-526. Morgan-Kaufman, 2000.

John McCarthy and Patrick J. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463-502. Edinburgh University Press, 1969.

Murray Shanahan. Solving the Frame Problem, a mathematical investigation of the common sense law of inertia. M.I.T. Press, 1997.

Aarati Parmar
Thu Sep 28 11:54:38 PDT 2000