Computational Logic in Multi-Agent Systems - Leite, Joo; Torroni, Paolo; van der Torre, Leon; Woltran, Stefan (Springer Berlin Heidelberg, 2013)