Splitting Answer Set Programs with Respect to Intensionality Statements

AAAI 2023 pp. 6338-6345

doi:10.1609/AAAI.V37I5.25780 /aaai/2023/fandinno2023aaai-splitting/

Abstract

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 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.

PDF AAAI Semantic Scholar

Cite

Text

Fandinno and Lierler. "Splitting Answer Set Programs with Respect to Intensionality Statements." AAAI Conference on Artificial Intelligence, 2023. doi:10.1609/AAAI.V37I5.25780

Markdown

[Fandinno and Lierler. "Splitting Answer Set Programs with Respect to Intensionality Statements." AAAI Conference on Artificial Intelligence, 2023.](https://mlanthology.org/aaai/2023/fandinno2023aaai-splitting/) doi:10.1609/AAAI.V37I5.25780

BibTeX

@inproceedings{fandinno2023aaai-splitting,
  title     = {{Splitting Answer Set Programs with Respect to Intensionality Statements}},
  author    = {Fandinno, Jorge and Lierler, Yuliya},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2023},
  pages     = {6338-6345},
  doi       = {10.1609/AAAI.V37I5.25780},
  url       = {https://mlanthology.org/aaai/2023/fandinno2023aaai-splitting/}
}