3 citations · 3 across the 1 of their papers we have counts for
1 paper
Paolo Ferraris, Vladimir Lifschitz
We compare two recent extensions of the answer set (stable model) semantics of logic programs. One of them, due to Lifschitz, Tang and Turner, allows the bodies and heads of rules…