Applications of circumscription to formalizing common-sense knowledge

Applications of circumscription to formalizing common-sense knowledge