BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CS-TR-80-788
       ENTRY:: June 08, 1995
ORGANIZATION:: Stanford University, Department of Computer Science
       TITLE:: Circumscription - a form of non-monotonic reasoning
        TYPE:: Technical Report
      AUTHOR:: McCarthy, John
        DATE:: February 1980
       PAGES:: 17
    ABSTRACT:: 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.
               Circumscripion formalizes such conjectural reasoning.
       NOTES:: [Adminitrivia V1/Prg/19950608]
         END:: STAN//CS-TR-80-788