Applications of Circumscription to Formalizing Common-Sense Knowledge.

John McCarthy Applications of Circumscription to Formalizing Common-Sense Knowledge. 89-116 1986 28 Artif. Intell. 1 db/journals/ai/ai28.html#McCarthy86 http://www-formal.stanford.edu/jmc/applications.html