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

Keywords

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

  • DOI https://doi.org/10.1007/978-3-642-16867-3
  • Copyright Information Springer Berlin Heidelberg 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-16866-6
  • Online ISBN 978-3-642-16867-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book