Circumscription - A form of non-monotonic reasoning