Computational Logic in Multi-Agent Systems - Nils Bulling, Leendert Torre, Serena Villata, Wojtek Jamroga, Wamberto Vasconcelos; Jamroga, Wojtek; van der Torre, Leendert; van der Torre, Leon; Vasconcelos, Wamberto; Villata, Serena (Springer International Publishing, 2014)