TY  - GEN
ID  - cogprints410
UR  - http://cogprints.org/410/
A1  - McCarthy, John
TI  - Circumscription - A Form of Non-Monotonic Reasoning
Y1  - 1980///
N2  - 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. 
AV  - public
ER  -

<script src="//archive-bar.soton.ac.uk/archive-bar.js"></script>