A first-order conditional logic for prototypical properties

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Humanities, Psychology, Decision Theory +11

Non-monotonic logic I

Drew McDermott, Jon Doyle · Artificial Intelligence · 1980 · 891 citations · Full text

AN INTRODUCTION TO MODAL LOGIC

J. E. J. Altham · Philosophical Books · 1969 · 786 citations

Humanities, Computer Science, Formal Methods +11

IS SEMANTICS POSSIBLE?*

Hilary Putnam · Metaphilosophy · 1970 · 312 citations