Bibliography

Ama71

Saul Amarel.
On representation of problems of reasoning about action.
In Donald Michie, editor, Machine Intelligence 3, pages 131-171. Edinburgh University Press, 1971.

Dre92

Hubert Dreyfus.
What Computers still can't Do.
M.I.T. Press, 1992.

Gri89

Paul Grice.
Studies in the Way of Words.
Harvard University Press, 1989.

MC98

John McCarthy and Tom Costello.
Combining narratives.
In Proceedings of Sixth Intl. Conference on Principles of Knowledge Representation and Reasoning, pages 48-59. Morgan-Kaufman, 1998.

McA

David McAllester.
Some Observations on Cognitive Judgements, booktitle = "aaai-91", publisher = "morgan kaufmann publishers", month = jul, year = "1991", pages = "910-915",.

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

McC62

John McCarthy.
Towards a mathematical science of computation.
In Information Processing '62, pages 21-28. North-Holland, 1962.
Proceedings of 1962 IFIP Congress.

McC79a

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

McC79b

John McCarthy.
Ascribing mental qualities to machines.
In Martin Ringle, editor, Philosophical Perspectives in Artificial Intelligence. Harvester Press, 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].

McC88

John McCarthy.
Mathematical logic in artificial intelligence.
Daedalus, 117(1):297-311, 1988.

McC89

John McCarthy.
Artificial Intelligence, Logic and Formalizing Common Sense.
In Richmond Thomason, editor, Philosophical Logic and Artificial Intelligence. Klüver Academic, 1989.

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.

McC95

John McCarthy.
Situation Calculus with Concurrent Events and Narrative.
1995.
Web only, partly superseded by [MC98].

Sha97

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

Sho88

Yoav Shoham.
Chronological ignorance: Experiments in nonmonotonic temporal reasoning.
Artificial Intelligence, 36(3):279-331, 1988.