5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.LO2013★ 5 cited
Lloyd-Topor Completion and General Stable Models
Vladimir Lifschitz, Fangkai Yang
We investigate the relationship between the generalization of program completion defined in 1984 by Lloyd and Topor and the generalization of the stable model semantics introduced…
cs.LO2012
Relational Theories with Null Values and Non-Herbrand Stable Models
Vladimir Lifschitz, Karl Pichotta, Fangkai Yang
Generalized relational theories with null values in the sense of Reiter are first-order theories that provide a semantics for relational databases with incomplete information. In t…