3 citations · 7 across the 3 of their papers we have counts for
3 papers
cs.LO2005★ 1 cited
Temporal Phylogenetic Networks and Logic Programming
Esra Erdem, Vladimir Lifschitz, Don Ringe
The concept of a temporal phylogenetic network is a mathematical model of evolution of a family of natural languages. It takes into account the fact that languages can trade their…
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…