Applications of Declarative Programming and Knowledge Management - Abreu, Salvador (Springer Berlin Heidelberg, 2011)