Computational Logic in Multi-Agent Systems 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings - Dix, Jürgen; Leite, João; Governatori, Guido; Jamroga, Wojtek (Springer Berlin Heidelberg, 2010)