Computational Logic in Multi-Agent Systems - Dix, Jürgen (Springer Berlin Heidelberg, 2010)