Approximating Answer Sets of Unitary Lifschitz-Woo Programs

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.

• Type: Conference
• Year: 2005
• Where: LPNMR
• Authors: Victor W. Marek, Inna Pivkina, Miroslaw Truszczynski
• Keywords: General Logic Programs, LPNMR 2005, Revision Programs, Single Literals