Logic Programming and Nonmonotonic Reasoning 7th International Conference, LPNMR 2004 Fort Lauderdale, FL, USA, January 6-8, 2004 Proceedings - Lifschitz, Vladimir; Niemelä, Ilkka (Springer Berlin Heidelberg, 2004)