Logic Programming and Nonmonotonic Reasoning : 7th International Conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings - Vladimir Lifschitz, Ilkka Niemelä ((Lecture Notes in Computer Science))