2023
Splitting Answer Set Programs with Respect to Intensionality Statements
AAAI 2023technical
Splitting a logic program allows us to reduce the task of computing its stable models to similar tasks for its subprograms. This can be used to increase solving performance and to prove the correctness of programs. We generalize the conditions under which this technique is applicable, by considering…