Computational Logic in Multi-Agent Systems : 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers - João Leite, Paolo Torroni ((Lecture Notes in Computer Science))