170
click to vote
LPNMR
2005
Springer
16 years 3 days ago
2005
Springer
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 method...