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.

Lif93

Vladimir Lifschitz. Circumscription. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford University Press, 1993.

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.

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

McC80

John McCarthy. Circumscription--A Form of Non-Monotonic Reasoning. Artificial Intelligence, 13:27-39, 1980. Reprinted in [McC90].

McC86

John McCarthy. Applications of Circumscription to Formalizing Common Sense Knowledge. Artificial Intelligence, 28:89-116, 1986. Reprinted in [McC90].

McC90

John McCarthy. Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, 355 Chestnut Street, Norwood, NJ 07648, 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 1999.

McC96c

John McCarthy. Missionaries and Cannibals: Making it Elaboration Tolerant. In McCarthy's web page, 1996. Available as http://www-formal.stanford.edu/jmc/cs323/missionaries.ps.

McC97

John McCarthy. Elaboration Tolerance. In McCarthy's web page, 1997.

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.

Rei80

Raymond Reiter. A Logic for Default Reasoning. Artificial Intelligence, 13 (1-2):81-132, 1980.

SS94

Erik Sandewall and Yoav Shoham. Nonmonotonic Temporal Reasoning. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Reasoning. Oxford University Press, 1994.