3 citations · 6 across the 5 of their papers we have counts for
1 paper · 1 filter
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…