Advertisement

Computational Logic in Multi-Agent Systems

11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings

  • Jürgen Dix
  • João Leite
  • Guido Governatori
  • Wojtek Jamroga
Conference proceedings CLIMA 2010

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

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

Table of contents

  1. Front Matter
  2. Invited Talks

  3. Regular Papers

    1. Sara Miner More, Pavel Naumov
      Pages 15-32
    2. Christoph Benzmüller
      Pages 33-48
    3. Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh
      Pages 49-64
    4. Pedro Arturo Góngora, Eric Ufferman, Francisco Hernández-Quiroz
      Pages 65-81
    5. Özgür Kafalı, Federico Chesani, Paolo Torroni
      Pages 82-98
    6. Davide D’Aprile, Laura Giordano, Valentina Gliozzi, Alberto Martelli, Gian Luca Pozzato, Daniele Theseider Dupré
      Pages 99-116
    7. Jomi F. Hübner, Olivier Boissier, Rafael H. Bordini
      Pages 117-134
    8. Jan Calta, Dmitry Shkatov, Holger Schlingloff
      Pages 135-152
    9. Sujata Ghosh, R. Ramanujam, Sunil Simon
      Pages 153-170
    10. Alessandro Bianco, Marco Faella, Fabio Mogavero, Aniello Murano
      Pages 171-185
    11. Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk
      Pages 219-237
  4. Back Matter

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA-XI, held in Lisbon, Portugal in August 2010. 
The 14 papers included in this volume were carefully reviewed and selected from 31 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. CLIMA 2010 featured two thematic special sessions on norms and normative multi-agent systems and logics for games and strategic reasoning. 

Keywords

Multi-agent system agent interaction agents computational complexity normative programming programming satisfiability temporal logic

Editors and affiliations

  • Jürgen Dix
    • 1
  • João Leite
    • 2
  • Guido Governatori
    • 3
  • Wojtek Jamroga
    • 4
  1. 1.Clausthal University of TechnologyClausthal-ZellerfeldGermany
  2. 2.Departamento de InformáticaUniversidade Nova de Lisboa, Faculdade de Ciências de TecnologiaCaparicaPortugal
  3. 3.NICTA,St LuciaAustralia
  4. 4.University of Luxembourg, Campus Kirchberg, 6, rue, Richard Coudenhove-KalergiLuxembourgLuxembourg

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-14977-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-14976-4
  • Online ISBN 978-3-642-14977-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Chemical Manufacturing
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering