On the correctness of unfold/fold transformation of normal and extended logic programs

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

Phan Minh Dũng · Artificial Intelligence · 1995 · 4.3K citations

Humanities, Computer Science, Philosophy +17

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

Logic programs with classical negation

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

Computing, Computer Science, Formal Methods +9

Unfold/fold Transformation of Logic Programs

Hisao Tamaki, Taisuke Sato · International Conference on Lightning Protection · 1984 · 292 citations

Computing, Computer Science, Compilers +7