Classical negation in logic programs and disjunctive databases

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

The well-founded semantics for general logic programs

Allen Van Gelder, Kenneth A. Ross, John S. Schlipf · Journal of the ACM · 1991 · 1.7K citations

Computing, Computer Science, Logic +4

A kripke-kleene semantics for logic programs*

Melvin Fitting · The Journal of Logic Programming · 1985 · 539 citations

Language Studies, Computer Science, Mathematics +12

Logic programs with classical negation

Michael Gelfond, Vladimir Lifschitz · International Conference on Lightning Protection · 1990 · 483 citations

Computing, Computer Science, Formal Methods +9