Computational Logic in Multi-Agent Systems : 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers - Francesca Toni, Paolo Torroni ((Lecture Notes in Computer Science))