Computational Logic in Multi-Agent Systems 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers / [electronic resource] :
edited by Jürgen Dix, João Leite.
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
- v.: digital
- Lecture Notes in Computer Science, 3259 0302-9743 ; .
9783540302001
Computer science Computer Communication Networks Artificial intelligence Computer Science Artificial Intelligence (incl. Robotics) Computer Communication Networks Mathematical Logic and Formal Languages