© 2008

Computational Logic in Multi-Agent Systems

8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers

  • Fariba Sadri
  • Ken Satoh
Conference proceedings CLIMA 2007

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

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

Table of contents

  1. Front Matter
  2. Invited Paper

    1. J. Renze Steenhuisen, Cees Witteveen, Yingqian Zhang
      Pages 1-21
  3. Regular Papers

    1. Arjen Hommersom, Peter Lucas
      Pages 22-41
    2. Wojciech Jamroga, Nils Bulling
      Pages 42-61
    3. David Pereira, Eugénio Oliveira, Nelma Moreira
      Pages 62-81
    4. Raul Hakli, Sara Negri
      Pages 100-116
    5. Martin Slota, João Leite
      Pages 117-136
    6. Louise Dennis, Michael Fisher, Anthony Hepple
      Pages 137-156
    7. Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
      Pages 157-176
    8. Stefania Costantini, Arianna Tocchio, Panagiota Tsintza
      Pages 177-192
    9. Armin Hezart, Abhaya Nayak, Mehmet Orgun
      Pages 193-213
    10. Ruben Stranders, Mathijs de Weerdt, Cees Witteveen
      Pages 214-230
    11. Francesco Belardinelli, Alessio Lomuscio
      Pages 248-267
    12. Rajeev Goré, Linh Anh Nguyen
      Pages 268-287
  4. System Description Paper

    1. Martin Slota, João Leite
      Pages 288-298
  5. Back Matter

About these proceedings


This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming.

The 14 revised full technical papers and 1 system description paper presented together with 1 invited paper were carefully selected from 33 submissions and went through at least two rounds of reviewing and improvement. The regular papers address topics such as interdependencies and co-ordination of task-based planning in multi-agent systems, interval temporal logic, game theoretic concepts for reasoning about rational agents, proof theory for multi-agent epistemic logic, transformational semantics for evolving logic programs (EVOLP), programming languages based on BDI models, agent oriented early requirements engineering framework, heuristic algorithms for agent negotiation, as well as argumentation.


AI logics BDI agents MAS Multi-agent system agent communication agent cooperation agent learning agent planning agents algorithms complex tasks computational logic knowledge processing programming language proof theory

Editors and affiliations

  • Fariba Sadri
    • 1
  • Ken Satoh
    • 2
  1. 1.Department of ComputingImperial College LondonLondonUK
  2. 2.National Institute of InformaticsSokendaiJapan

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences