39 citations · 97 across the 16 of their papers we have counts for
1 paper · 1 filter
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.…