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