84 citations · 221 across the 14 of their papers we have counts for
1 paper · 1 filter
Heng Zhang, Yan Zhang
The stable model semantics had been recently generalized to non-Herbrand structures by several works, which provides a unified framework and solid logical foundations for answer se…