Splitting an operator: Algebraic modularity results for logics with fixpoint semantics

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…