22 citations · 69 across the 13 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.AI2013★ 3 cited
On the Semantics of Gringo
Amelia Harrison, Vladimir Lifschitz, Fangkai Yang
Input languages of answer set solvers are based on the mathematically simple concept of a stable model. But many useful constructs available in these languages, including local var…
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…