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.; Leite, João Alexandre. (Springer,, 2004)