Circumscription - A form of non-monotonic reasoning

Open in new window