References

Ami97

Eyal Amir. Machinery for elaborating action. Unpublished manuscript, 1997.

Hal95

Joseph Y. Halpern. Reasoning about Knowledge. In D. Gabbai, 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.

MA96

John McCarthy and Eyal Amir. Missionaries and Cannibals: Making it Elaboration Tolerant. Amir Web page http://www-formal.stanford.edu/eyal/, 1996. Available as http://www-formal.stanford.edu/eyal/nmr/m4.ps.

McC58

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., 1958. 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. Formalization of common sense, papers by John McCarthy edited by V. Lifschitz. Ablex, 1990.

McC93

John McCarthy. Notes on Formalizing Context. In IJCAI-93, 1993. Available on http://www-formal.stanford.edu/jmc/.

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

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.

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.