Logic programming : proceedings - Demoen, Bart; Lifschitz, Vladimir (Lecture notes in computer science : LNCS,, 2004)