Proceedings of the 7th International Conference on Logic Programming and Nonmonotonic Reasoning (2004)
Lifschitz, Vladimir and Niemelä, Ilkka