Applications of Declarative Programming and Knowledge Management 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers - Abreu, Salvador; Seipel, Dietmar (Springer Berlin Heidelberg : Imprint: Springer, 2011)