Nonmonotonic reasoning, preferential models and cumulative logics

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text

Computing, Computer Science, Mathematics +17

Circumscription—A form of non-monotonic reasoning

John McCarthy · Artificial Intelligence · 1980 · 2K citations

Humanities, Psychology, Decision Theory +11

An axiomatic basis for computer programming

C. A. R. Hoare · Communications of the ACM · 1983 · 1.5K citations

Computing, Computer Science, Mathematics +17

Non-monotonic logic I

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