Foundations of Information and Knowledge Systems - Link, Sebastian; Prade, Henri (Springer Berlin Heidelberg, 2010)