The Refined Extension Principle for Semantics of Dynamic Logic Programming

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

Representing action and change by logic programs

Michael Gelfond, Vladimir Lifschitz · The Journal of Logic Programming · 1993 · 516 citations

Computing, Computer Science, Formal Methods +10

Logic programming and negation: A survey

Krzysztof R. Apt, Roland Bol · The Journal of Logic Programming · 1994 · 421 citations

Computing, Computer Science, Formal Methods +11

Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

Ilkka Niemelä, Patrik Simons · International Conference on Logic Programming · 1997 · 262 citations

Computing, Computer Science, Algorithms +4