A Graph-Theoretic Approach to Default Logic

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

On generating all maximal independent sets

David S. Johnson, Mihalis Yannakakis, Christos H. Papadimitriou · Information Processing Letters · 1988 · 768 citations

Natural Sciences, Mathematics, Combinatorics +5

Autoepistemic logic

Wiktor Marek, Mirosław Truszczyński · Journal of the ACM · 1991 · 422 citations · Full text

Computing, Computer Science, Logic +7

Hard problems for simple default logics

Henry Kautz, Bart Selman · Artificial Intelligence · 1991 · 192 citations

Humanities, Computer Science, Knowledge Representation +12

Formalizing nonmonotonic reasoning systems

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

Computing, Computer Science, Formal Methods +9