References

Hal95

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.

Lif87

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

Lif96a

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

Lif96b

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

McC59

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

McC78

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

McC79a

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

McC79b

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

McC90

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

McC93

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

McC96a

John McCarthy. From Here to Human-Level AI. In KR96 Proceedings, 1996. Available as http://www-formal.stanford.edu/jmc/human.html.

McC96b

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.

McC99a

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.

McC99b

John McCarthy. Elaboration tolerance. to appear, 1999.

McC99c

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.

McC00

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.

MH69

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.

Sha97

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