Circumscription - A Form of Non-Monotonic Reasoning (1980)

by J McCarthy
Venue:Artificial Intelligence