3 citations · 7 across the 3 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2003★ 3 cited
Weight Constraints as Nested Expressions
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…
cs.AI2003★ 3 cited
Tight Logic Programs
Esra Erdem, Vladimir Lifschitz
This note is about the relationship between two theories of negation as failure -- one based on program completion, the other based on stable models, or answer sets. Francois Fages…