Computational Logic in Multi-Agent Systems

6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers

  • Francesca Toni
  • Paolo Torroni
Conference proceedings CLIMA 2005

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

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

Table of contents

  1. Front Matter
  2. The Logical Way to Be Artificially Intelligent

  3. Foundational Aspects of Agency

    1. Laurence Cholvy, Christophe Garion, Claire Saurel
      Pages 23-36
    2. Bjørnar Solhaug, Arild Waaler
      Pages 77-95
    3. Johan W. Klüwer, Arild Waaler
      Pages 96-111
    4. Regimantas Pliuškevičius, Aida Pliuškevičienė
      Pages 112-128
  4. Agent Programming

    1. Rafael H. Bordini, Jomi F. Hübner
      Pages 143-164
    2. Keith L. Clark, Peter J. Robinson, Silvana Zappacosta Amboldi
      Pages 186-205
    3. Fariba Sadri, Francesca Toni
      Pages 206-225
    4. John Knottenbelt, Keith Clark
      Pages 226-242
  5. Agent Interaction and Normative Systems

    1. Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
      Pages 243-264
    2. Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti
      Pages 265-283
    3. Davide Grossi, Frank Dignum, John-Jules Ch. Meyer
      Pages 284-302
    4. Guido Boella, Leendert van der Torre
      Pages 303-319
    5. Chiaki Sakama, Katsumi Inoue
      Pages 320-339
    6. Martine Ceberio, Hiroshi Hosobe, Ken Satoh
      Pages 340-357

About these proceedings

Keywords

BDI agents Variable abductive reasoning agent communication agent cooperation autonom cognition formal methods logic mathematical logic multi-agent system multi-agent systems programming semantics verification

Editors and affiliations

  • Francesca Toni
    • 1
  • Paolo Torroni
    • 2
  1. 1.Department of ComputingImperial College LondonUK
  2. 2.DEISUniversity of BolognaBolognaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/11750734
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-33996-0
  • Online ISBN 978-3-540-33997-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book