Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL., USA, January 6-7, 2004 : revised selected and invited papers - Dix, J. (Jürgen), 1961-; Leite, João Alexandre (Hot topics (Berlin, Germany), 2004)