Circumscription—a form of non-monotonic reasoning. (1980)

by J McCarthy
Venue:Artificial Intelligence,