Applications of Declarative Programming and Knowledge Management : 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers - Dietmar Seipel, Michael Hanus, Ulrich Geske, Oskar Bartenstein ((Lecture Notes in Computer Science))