Computational Logic in Multi-Agent Systems - Sadri, Fariba (Springer Berlin Heidelberg, 2008)