Computational Logic in Multi-Agent Systems : 11th International Workshop, CLIMAX XI, Lisbon, Portugal, August 16-17, 2010, Proceedings - Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga ((Lecture Notes in Computer Science))