Non-monotonic reasoning : formalization of commonsense reasoning

Elements of monotonic logics foundations of non-monotonic reasoning approaches to non-monotonic reasoning modal non-monotonic logics default logic default logic circumscription approaches to closed world assumptions.