APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMON SENSE
Applications of
Circumscription to Formalizing Common Sense Knowledge was
first published in Artificial Intelligence in 1986. A
preliminary version was given at the 1984 Mohonk conference on
nonmonotonic reasoning. .dvi,
.pdf and .ps versions are also available.
The formalsm of this paper mainly supersedes that of
Circumscription - A Form of Nonmonotonic Reasoning.
In particular this paper properly treats
variables that are not minimized.
@article{McC86,
author = "John McCarthy",
title = "Applications of Circumscription to Formalizing Common Sense
Knowledge",
note = {Reprinted in \cite{McC90}},
journal = {Artificial Intelligence},
year = 1986,
volume = 28,
pages = "89--116"}
Up to: McCarthy home page
I welcome comments, and you can send them by clicking on
[Turn on JavaScript to see the email address].