Applications of Declarative Programming and Knowledge Management : 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers - Salvador Abreu, Dietmar Seipel ((Lecture Notes in Computer Science))