Computational logic in multi-agent systems : 4th International Workshop, CLIMA IV, Fort Lauderdale, FL., USA, January 6-7, 2004 : revised selected and invited papers - CLIMA (Conference) 2004 : Fort Lauderdale, Fla.); Dix, J. (Jürgen), 1961-; Leite, João Alexandre (Berlin ; New York : Springer, 2004)
Includes bibliographical references and index.
Keywords: Computer logic -- Congresses