LPNMR 2007 (2007 Tempe, Ariz.)

• Logic programming and nonmonotonic reasoning