5 citations · 10 across the 8 of their papers we have counts for
1 paper · 2 filters
Heng Zhang, Yan Zhang
This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or arbitrary structures. A translation f…