Motivated action theory: a formal theory of causal reasoning

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

Towards a general theory of action and time

James F. Allen · Artificial Intelligence · 1984 · 2.6K citations

Natural Sciences, Physics, Mathematical Physics +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

A temporal logic for reasoning about processes and plans

Drew McDermott · Cognitive Science · 1982 · 760 citations · Full text

Computing, Computer Science, Artificial Intelligence +14