TY - GEN
T1 - Approximating answer sets of unitary Lifschitz-Woo programs
AU - Marek, Victor W.
AU - Pivkina, Inna
AU - Truszczyński, Mirosław
PY - 2005
Y1 - 2005
N2 - We investigate techniques for approximating answer sets of general logic programs of Lifschitz and Woo, whose rules have single literals as heads. We propose three different methods of approximation and obtain results on the relationship between them. Since general logic programs with single literals as heads are equivalent to revision programs, we obtain results on approximations of justified revisions of databases by revision programs.
AB - We investigate techniques for approximating answer sets of general logic programs of Lifschitz and Woo, whose rules have single literals as heads. We propose three different methods of approximation and obtain results on the relationship between them. Since general logic programs with single literals as heads are equivalent to revision programs, we obtain results on approximations of justified revisions of databases by revision programs.
UR - http://www.scopus.com/inward/record.url?scp=33646056400&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33646056400&partnerID=8YFLogxK
U2 - 10.1007/11546207_6
DO - 10.1007/11546207_6
M3 - Conference contribution
AN - SCOPUS:33646056400
SN - 3540285385
SN - 9783540285380
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 66
EP - 78
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
T2 - 8th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2005
Y2 - 5 September 2005 through 8 September 2005
ER -