Relating defeasible and normal logic programming through transformation properties

A logic for default reasoning

Raymond Reiter · Artificial Intelligence · 1980 · 3.9K citations

Reasoning, Engineering, Reasoning System +6

The stable model semantics for logic programming

Michael Gelfond, Vladimir Lifschitz · 1988 · 3.4K citations

Classical negation in logic programs and disjunctive databases

Michael Gelfond, Vladimir Lifschitz · New Generation Computing · 1991 · 2.3K citations

Non-classical Logic, Engineering, Automated Reasoning +6

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

Applied Logic, Engineering, Data Science +11

An abstract, argumentation-theoretic approach to default reasoning

A. G. Bondarenko, Phan Minh Dũng, Robert Kowalski et al. · Artificial Intelligence · 1997 · 665 citations

Engineering, Reasoning System, Automated Reasoning +5