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