34 citations · 60 across the 4 of their papers we have counts for
1 paper · 2 filters
Joost Vennekens, David Gilis, Marc Denecker
It is well known that, under certain conditions, it is possible to split logic programs under stable model semantics, i.e. to divide such a program into a number of different "leve…