Applications of Declarative Programming and Knowledge Management: proceedings of the 18th International Conference, INAP 2009 - Abreu, Salvador; Seipel, Dietmar (Springer, 2011)