Circumscription--A Form of Non-Monotonic Reasoning

Open in new window