Applications of circumscription to formalizing common sense knowledge - McCarthy, John 1927-2011 (Dep. of Computer Science, 1985)