Advertisement

Computational Logic in Multi-Agent Systems

7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers

  • Editors
  • Katsumi Inoue
  • Ken Satoh
  • Francesca Toni
Conference proceedings CLIMA 2006

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

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

Table of contents

  1. Front Matter
  2. Regular Papers

    1. Tomoyuki Yamada
      Pages 1-19
    2. Davy Van Nieuwenborgh, Marina De Vos, Stijn Heymans, Dirk Vermeir
      Pages 20-40
    3. Akira Fusaoka, Katsunori Nakamura, Mitsunari Sato
      Pages 41-59
    4. Owen Cliffe, Marina De Vos, Julian Padget
      Pages 60-79
    5. Zining Cao
      Pages 80-94
    6. M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer
      Pages 95-114
    7. Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance
      Pages 151-170
    8. Stijn De Saeger, Atsushi Shimojima
      Pages 171-190
    9. Iara Carnevale de Almeida, José Júlio Alferes
      Pages 191-210
    10. Shingo Hagiwara, Mikito Kobayashi, Satoshi Tojo
      Pages 211-225
    11. Henning Christiansen
      Pages 226-245
    12. João Leite, Luís Soares
      Pages 246-265
  3. Contest Papers

    1. Mehdi Dastani, Jürgen Dix, Peter Novák
      Pages 266-283
    2. Carlos Cares, Xavier Franch, Enric Mayol
      Pages 284-293
    3. Stephan Schiffel, Michael Thielscher
      Pages 294-303
    4. Rafael H. Bordini, Jomi F. Hübner, Daniel M. Tralamazza
      Pages 304-313
  4. Back Matter

About these proceedings

Keywords

autonom autonomous agents communication logic multi-agent system probabilistic reasoning semantics verification

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-69619-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69618-6
  • Online ISBN 978-3-540-69619-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site