Ebook 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