LPNMR 2004 (2004 Fort Lauderdale, Fla)

• Logic programming and nonmonotonic reasoning