Nonmonotonic reasoning and uncertain reasoning - Cabbay, Dov. M.; Hogger, C. J.; Robinson, J. A.; Nute, D. (Handbooks of logic in computer science and artificial intelligence and logic programming, 1994)