Alternative approaches to default logic

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

A logical framework for default reasoning

David Poole · Artificial Intelligence · 1988 · 729 citations

Humanities, Computer Science, Philosophy +14

On interacting defaults

Raymond Reiter, Giovanni Criscuolo · 1981 · 207 citations

Computing, Computer Science, Data Structures +6

On inheritance hierarchies with exceptions

David W. Etherington, Raymond Reiter · 1983 · 184 citations

Computing, Computer Science, Algorithms +14

Formalizing nonmonotonic reasoning systems

David W. Etherington · Artificial Intelligence · 1987 · 168 citations

Computing, Computer Science, Formal Methods +9