Computational Logic in Multi-Agent Systems

5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers

  • João Leite
  • Paolo Torroni
Conference proceedings CLIMA 2004

DOI: 10.1007/11533092

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

Table of contents

  1. Front Matter
  2. Foundations

    1. Bożena Woźna, Alessio Lomuscio
      Pages 1-15
    2. M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer
      Pages 16-32
    3. Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
      Pages 33-51
    4. José Júlio Alferes, Federico Banti, Antonio Brogi
      Pages 52-77
  3. Architectures

    1. Antonis Kakas, Paolo Mancarella, Fariba Sadri, Kostas Stathis, Francesca Toni
      Pages 96-110
    2. Konstantine Arkoudas, Selmer Bringsjord
      Pages 111-125
    3. Ana Casali, Lluís Godo, Carles Sierra
      Pages 126-143
  4. Interaction

    1. Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert van der Torre
      Pages 144-160
    2. Chiaki Sakama, Katsumi Inoue
      Pages 161-177
    3. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa
      Pages 178-195
    4. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella
      Pages 196-212
  5. Planning and Applications

    1. Paolo Mancarella, Fariba Sadri, Giacomo Terreni, Francesca Toni
      Pages 230-248
    2. David C. Han, K. Suzanne Barber
      Pages 249-264
    3. Benjamin Hirsch, Michael Fisher, Chiara Ghidini, Paolo Busetta
      Pages 265-280
  6. Back Matter

About these proceedings

Introduction

The notion of agency has recently increased its in?uence in the research and - velopment of computational logic based systems, while at the same time sign- cantly gaining from decades of research in computational logic. Computational logic provides a well-de?ned, general, and rigorous framework for studying s- tax, semantics and procedures, for implementations, environments, tools, and standards, facilitating the ever important link between speci?cation and ver- cation of computational systems. The purpose of the Computational Logic in Multi-agent Systems (CLIMA) international workshop series is to discuss techniques, based on computational logic, for representing, programming, and reasoning about multi-agent systems in a formal way. Former CLIMA editions were conducted in conjunction with other major computational logic and AI events such as CL in July 2000, ICLP in December 2001, FLoC in August 2002, and LPNMR and AI-Math in January 2004. The ?fth edition of CLIMA was held Lisbon, Portugal, in September 29–30, 2004.We,asorganizers,andinagreementwiththeCLIMASteeringCommittee, opted for co-location with the 9th European Conference on Logics in Arti?cial Intelligence (JELIA 2004), wishing to promote the CLIMA research topics in the broader community of logics in AI, a community whose growing interest in multi-agent issues has been demonstrated by the large number of agent-related papers submitted to recent editions of JELIA. The workshop received 35 submissions – a sensible increase from the previous edition.Thesubmittedpapersshowedthatthelogicalfoundationsofmulti-agent systems are felt by a large community to be a very important research topic, upon which classical AI and agent-related issues are to be addressed.

Keywords

agent communication agent cooperation agent learning agent negotiation agents ai logics artificial intelligence bdi agents computational logic intelligence logic logic programming mas multi-agent system semantics

Editors and affiliations

  • João Leite
    • 1
  • Paolo Torroni
    • 2
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal
  2. 2.DEISUniversity of BolognaBolognaItaly

Bibliographic information

  • Copyright Information Springer-Verlag Berlin Heidelberg 2005
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-28060-6
  • Online ISBN 978-3-540-31857-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349