On kernels, defaults and even graphs

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Computing, Computer Science, Artificial Intelligence +11

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Computing, Computer Science, Formal Methods +10

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

Graph theoretical structures in logic programs and default theories

Yannis Dimopoulos · Theoretical Computer Science · 1996 · 178 citations · Full text

Computing, Computer Science, Logic +14

A Graph-Theoretic Approach to Default Logic

Yannis Dimopoulos, Vangelis F. Magirou · Information and Computation · 1994 · 26 citations · Full text

Computing, Computer Science, Computational Linguistics +12