Fages' Theorem and Answer Set Programming

Yuliya Babovich, Esra Erdem, Vladimir Lifschitz

We generalize a theorem by Francois Fages that describes the relationship between the completion semantics and the answer set semantics for logic programs with negation as failure.…