Computational Logic in Multi-Agent Systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers - Jürgen Dix, João Leite ((Lecture Notes in Computer Science))