Computational Logic in Multi-Agent Systems 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers - Leite, João; Torroni, Paolo (Springer Berlin Heidelberg, 2005)