CLIMA XIV 2013: Corunna, Spain

• 
  João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran (Eds.): Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8143 ISBN 978-3-642-40623-2 [ contents ]

CLIMA XIII 2012: Montpellier, France

• 
  Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori (Eds.): Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7486 ISBN 978-3-642-32896-1 [ contents ]

CLIMA XII 2011: Barcelona, Spain

• 
  João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (Eds.): Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6814 ISBN 978-3-642-22358-7 [ contents ]

CLIMA XI 2010: Lisbon, Portugal

• 
  Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (Eds.): Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6245 ISBN 978-3-642-14976-4 [ contents ]

CLIMA X 2009: Hamburg, Germany

• 
  Jürgen Dix, Michael Fisher, Peter Novák (Eds.): Computational Logic in Multi-Agent Systems - 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers. Springer 2010 Lecture Notes in Computer Science 6214 ISBN 978-3-642-16866-6 [ contents ]

CLIMA IX 2008: Dresden, Germany

• 
  Michael Fisher, Fariba Sadri, Michael Thielscher (Eds.): Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Springer 2009 Lecture Notes in Computer Science 5405 ISBN 978-3-642-02733-8 [ contents ]

CLIMA VIII 2007: Porto, Portugal

• 
  Fariba Sadri, Ken Satoh (Eds.): Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers. Springer 2008 Lecture Notes in Computer Science 5056 ISBN 978-3-540-88832-1 [ contents ]

CLIMA VII 2006: Hakodate, Japan

• 
  Katsumi Inoue, Ken Satoh, Francesca Toni (Eds.): Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Springer 2007 Lecture Notes in Computer Science 4371 ISBN 978-3-540-69618-6 [ contents ]

CLIMA VI 2005: London, UK

• 
  Francesca Toni, Paolo Torroni (Eds.): Computational Logic in Multi-Agent Systems, 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers. Springer 2006 Lecture Notes in Computer Science 3900 ISBN 3-540-33996-5 [ contents ]

- CLIMA VI Home Page

CLIMA V 2004: Lisbon, Portugal

• 
  João Alexandre Leite, Paolo Torroni (Eds.): Computational Logic in Multi-Agent Systems, 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers. Springer 2005 Lecture Notes in Computer Science 3487 ISBN 3-540-28060-X [ contents ]

CLIMA IV 2004: Fort Lauderdale, Fl, USA

• 
  Jürgen Dix, João Alexandre Leite (Eds.): Computational Logic in Multi-Agent Systems, 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited Papers. Springer 2004 Lecture Notes in Computer Science 3259 ISBN 3-540-24010-1 [ contents ]

CLIMA III 2002: Copenhagen, Denmark

• 
  Jürgen Dix, João Alexandre Leite, Ken Satoh (Eds.): Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Roskilde University 2002 Datalogiske Skrifter93 [ contents ]

CLIMA I 2000: London, UK

Ken Satoh, Fariba Sadri (Eds.): CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00).
Contents - CLIMA I Home Page