Symmetric Splitting in the General Theory of Stable Models
Abstract
Splitting a logic program allows us to reduce the task of computing its stable models to similar tasks for smaller programs. This idea is extended here to the general theory of stable models that replaces traditional logic programs by arbitrary first-order sentences and distinguishes between intensional and extensional predicates. We discuss two kinds of splitting: a set of intensional predicates can be split into subsets, and a formula can be split into its conjunctive terms. Paolo Ferraris, Joohyung Lee, Vladimir Lifschitz, Ravi Palla
Cite
Text
Ferraris et al. "Symmetric Splitting in the General Theory of Stable Models." International Joint Conference on Artificial Intelligence, 2009.Markdown
[Ferraris et al. "Symmetric Splitting in the General Theory of Stable Models." International Joint Conference on Artificial Intelligence, 2009.](https://mlanthology.org/ijcai/2009/ferraris2009ijcai-symmetric/)BibTeX
@inproceedings{ferraris2009ijcai-symmetric,
title = {{Symmetric Splitting in the General Theory of Stable Models}},
author = {Ferraris, Paolo and Lee, Joohyung and Lifschitz, Vladimir and Palla, Ravi},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2009},
pages = {797-803},
url = {https://mlanthology.org/ijcai/2009/ferraris2009ijcai-symmetric/}
}