Computational Logic in Multi-Agent Systems

10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

  • Jürgen Dix
  • Michael Fisher
  • Peter Novák
Conference proceedings CLIMA 2009

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

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

Table of contents

  1. Front Matter
  2. Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen
    Pages 1-21
  3. Louise Dennis, Nick Tinnemeier, John-Jules Meyer
    Pages 64-82
  4. Mehdi Dastani, Bas R. Steunebrink
    Pages 83-101
  5. Luke Hopton, Owen Cliffe, Marina De Vos, Julian Padget
    Pages 102-121
  6. Chiaki Sakama, Tran Cao Son
    Pages 122-140
  7. Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker
    Pages 141-157
  8. Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh
    Pages 178-195
  9. Back Matter

About these proceedings


AI logics BDI agents agent communication agent cooperation agent negotiation agent planning argumentation complex tasks computational logic constraint logic decision making formal reasoning incomplete information knowledge processing logic p

Editors and affiliations

  • Jürgen Dix
    • 1
  • Michael Fisher
    • 2
  • Peter Novák
    • 1
  1. 1.Institut für InformatikTechnische Universität ClausthalClausthal-ZellerfeldGermany
  2. 2.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK

Bibliographic information