Applications of circumscription to common sense reasoning