title: Circumscription - A Form of Non-Monotonic Reasoning
creator: McCarthy, John
subject: Artificial Intelligence
description: Humans and intelligent computer programs must often jump to the conclusion that the objects they can determine to have certain properties or relations are the only objects that do. Circumscription formalizes such conjectural reasoning. 
date: 1980
type: Preprint
type: NonPeerReviewed
format: application/postscript
identifier: http://cogprints.org/410/2/199801001.ps
identifier:   McCarthy, John  (1980) Circumscription - A Form of Non-Monotonic Reasoning.  [Preprint]     
relation: http://cogprints.org/410/