© 2011

Computational Logic in Multi-Agent Systems

12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings

  • João Leite
  • Paolo Torroni
  • Thomas Ågotnes
  • Guido Boella
  • Leon van der Torre
Conference proceedings CLIMA 2011

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

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

Table of contents

  1. Front Matter
  2. Secrets and Trust

    1. Simon Parsons, Yuqing Tang, Kai Cai, Elizabeth Sklar, Peter McBurney
      Pages 1-12
    2. Sara Miner More, Pavel Naumov
      Pages 29-40
  3. Knowledge and Beliefs

    1. Hans van Ditmarsch, Fernando Soler–Toscano
      Pages 41-57
    2. Emiliano Lorini, Laurent Perrussel, Jean-Marc Thévenin
      Pages 58-73
    3. Hans van Ditmarsch, David Fernández-Duque, Wiebe van der Hoek
      Pages 74-87
  4. Logics for Games and Social Choice

    1. Jan van Eijck
      Pages 92-104
    2. Tiago de Lima
      Pages 105-121
    3. Daniele Porello, Ulle Endriss
      Pages 157-170
  5. Cooperation

    1. Özgür Kafalı, Paolo Torroni
      Pages 171-189
    2. Taolue Chen, Marta Kwiatkowska, David Parker, Aistis Simaitis
      Pages 190-207
    3. Samy Sá, João Alcântara
      Pages 208-224
    4. Özgür Kafalı, Francesca Toni, Paolo Torroni
      Pages 225-242
  6. Logic and Languages

    1. Domenico Corapi, Daniel Sykes, Katsumi Inoue, Alessandra Russo
      Pages 243-258
    2. Richard Stocker, Maarten Sierhuis, Louise Dennis, Clare Dixon, Michael Fisher
      Pages 259-274
    3. Alfredo Gabaldon
      Pages 275-292

About these proceedings


This book constitutes the proceedings of the 12th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XII, held in Barcelona, Spain, in July 2011.
The 22 papers presented were carefully reviewed and selected from 43 submissions. 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. This volume features five thematic special sessions: secrets and trust, knowledge and beliefs, logics for games and social choice, cooperation, logic and languages, and norms and normative multi-agent systems.


agent interaction computational complexity normative programming satisfiability temporal logic

Editors and affiliations

  • João Leite
    • 1
  • Paolo Torroni
    • 2
  • Thomas Ågotnes
    • 3
  • Guido Boella
    • 4
  • Leon van der Torre
    • 5
  1. 1.Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia, Departamento de Informática, CENTRIA, Quinta da TorreCaparicaPortugal
  2. 2.Università di Bologna, Laboratorio di Informatica Avanzata, Dipartimento di Informatica, Elettronica e SistemisticaBolognaItaly
  3. 3.Department of Information Science and Media StudiesUniversity of BergenBergenNorway
  4. 4.University of TorinoItaly
  5. 5.Faculté des Sciences, de la Technologie et de la CommunicationUniversité du LuxembourgLuxembourgLuxembourg

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences