Ulrich Geske, Hans-Joachim Goltz (auth.), Dietmar Seipel, Michael Hanus, Armin Wolf (eds.)

Applications of Declarative Programming and Knowledge Management: 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers