Applications of Declarative Programming and Knowledge Management - Tompits (Springer Berlin Heidelberg, 2013)