@inproceedings{2e6c4ec5c8334e2d9b92b5efb285b8cf,
title = "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 firstorder 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.",
author = "Paolo Ferraris and Joohyung Lee and Vladimir Lifschitz and Ravi Palla",
year = "2009",
month = jan,
day = "1",
language = "English (US)",
isbn = "9781577354260",
series = "IJCAI International Joint Conference on Artificial Intelligence",
publisher = "International Joint Conferences on Artificial Intelligence",
pages = "797--803",
booktitle = "IJCAI-09 - Proceedings of the 21st International Joint Conference on Artificial Intelligence",
note = "21st International Joint Conference on Artificial Intelligence, IJCAI 2009 ; Conference date: 11-07-2009 Through 16-07-2009",
}