Splitting Answer Set Programs with Respect to Intensionality Statements
Keywords:KRR: Logic Programming, KRR: Nonmonotonic Reasoning
AbstractSplitting 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 not only dependencies between predicates but also their arguments and context. This allows splitting programs commonly used in practice to which previous results were not applicable.
How to Cite
Fandinno, J., & Lierler, Y. (2023). Splitting Answer Set Programs with Respect to Intensionality Statements. Proceedings of the AAAI Conference on Artificial Intelligence, 37(5), 6338-6345. https://doi.org/10.1609/aaai.v37i5.25780
AAAI Technical Track on Knowledge Representation and Reasoning