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