Computational Logic in Multi-Agent Systems

13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings

  • Michael Fisher
  • Leon van der Torre
  • Mehdi Dastani
  • Guido Governatori
Conference proceedings CLIMA 2012

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7486)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 7486)

Table of contents

  1. Front Matter
  2. Gerhard Lakemeyer
    Pages 25-25
  3. Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe
    Pages 43-60
  4. Frank Dignum, Virginia Dignum
    Pages 61-76
  5. Dimitar P. Guelev, Catalin Dima
    Pages 77-93
  6. Nils Bulling, Michael Köster, Matei Popovici
    Pages 128-145
  7. Martin Homola, Matthias Knorr, João Leite, Martin Slota
    Pages 146-162
  8. Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer
    Pages 181-194
  9. Dov Gabbay, Odinaldo Rodrigues
    Pages 195-212
  10. Back Matter

About these proceedings


This book constitutes the proceedings of the 13th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XIII, held in Montpellier, France, in August 2012. The 11 regular papers were carefully reviewed and selected from 27 submissions and presented with three invited papers. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way.


agent interaction argumentation networks distributed systems formal semantics goals

Editors and affiliations

  • Michael Fisher
    • 1
  • Leon van der Torre
    • 2
  • Mehdi Dastani
    • 3
  • Guido Governatori
    • 4
  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  2. 2.University of LuxembourgLuxembourgLuxembourg
  3. 3.Department of Information and Computing SciencesUtrecht UniversityUtrechtThe Netherlands
  4. 4.Queensland Research LaboratoryNICTASt. LuciaAustralia

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-32896-1
  • Online ISBN 978-3-642-32897-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences