Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, January 6-8, 2004 : proceedings / - Lifschitz, Vladimir.; Niemelä, Ilkka, (Springer,, 2004)