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

These are the proceedings of the 11th International Workshop on Compu- tional Logicin Multi-Agent Systems (CLIMA-XI), held during August 16–17,in Lisbon, collocated with the 19th European Conference on Arti?cial Intelligence (ECAI-2010). Multi-agentsystemsarecommunitiesofproblem-solvingentitiesthatcanp- ceive and act upon their environment in order to achieve both their individual goals and their joint goals. The work on such systems integrates many techno- giesandconceptsfromarti?cialintelligenceandotherareasofcomputingaswell as other disciplines. Over recent years, the agent paradigm gained popularity, due to its applicability to a full spectrum of domains, such as search engines, recommendation systems, educational support, e-procurement, simulation and routing,electroniccommerceandtrade,etc.Computationallogicprovidesawe- de?ned, general, and rigorousframeworkfor studying the syntax, semantics and procedures for the various tasks in individual agents, as well as the interaction between, and integration among, agents in multi-agent systems. It also provides tools, techniques and standards for implementations and environments, for li- ing speci?cations to implementations, and for the veri?cation of properties of individual agents, multi-agent systems and their implementations. 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. Former CLIMA editions have been conducted in conjunction with other - jor Computational Logic and AI events such as CL in 2000, ICLP in 2001 and 2007, FLoC in 2002, LPNMR and AI-Math in 2004, JELIA in 2004 and 2008 and MATES in 2009. In 2005 CLIMA was not associated with any major event.

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
  • About this book