© 2012

Programming Multi-Agent Systems

9th International Workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, Revised Selected Papers

  • Louise Dennis
  • Olivier Boissier
  • Rafael H. Bordini


  • Fast-track conference proceedings

  • State-of-the-art research

  • Up-to-date results

Conference proceedings ProMAS 2011

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

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

Table of contents

  1. Front Matter
  2. Foundations of Agent Programming Languages

    1. Front Matter
      Pages 1-1
    2. Pankaj R. Telang, Munindar P. Singh, Neil Yorke-Smith
      Pages 22-37
  3. Multi-Agent Oriented Programming

    1. Front Matter
      Pages 39-39
    2. Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti, María R. Galli
      Pages 41-57
    3. Radek Píbil, Peter Novák, Cyril Brom, Jakub Gemrot
      Pages 58-73
    4. Surangika Ranathunga, Stephen Cranefield, Martin Purvis
      Pages 74-91
  4. Model Checking

    1. Front Matter
      Pages 93-93
    2. Michael Köster, Peter Lohmann
      Pages 95-113
    3. Ammar Mohammed, Ulrich Furbach
      Pages 114-132
    4. Sung-Shik T. Q. Jongmans, Koen V. Hindriks, M. Birna van Riemsdijk
      Pages 133-151
  5. Multi-Agent Programming Contest

    1. Front Matter
      Pages 153-153
    2. Tristan Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix, Jomi F. Hübner
      Pages 155-172
    3. Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen, Joris van den Oever, Jeff Smits et al.
      Pages 173-184
    4. Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen
      Pages 185-196
    5. Dominic Carr, Sean Russell, Balazs Pete, G. M. P. O’Hare, Rem W. Collier
      Pages 197-207
    6. Sahar Mirzayi, Vahid Nateghi, Fatemeh Eskandari
      Pages 208-216
  6. Back Matter

About these proceedings


This book constitutes the proceedings of the 9th International Workshop on Programming Multi-Agent Systems held in Taipei, Taiwan, in May 2011 in conjunction with AAMAS 2011, the 10th International Joint Conference on Autonomous Agents and Multiagent Systems. The 12 revised full papers presented together with 1 invited paper were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of agent programming languages; multi-agent oriented programming; model checking; and papers of the participants of the multi-agent programming contest.


BDI commitments coordination knowledge management semantics

Editors and affiliations

  • Louise Dennis
    • 1
  • Olivier Boissier
    • 2
  • Rafael H. Bordini
    • 3
  1. 1.Department of Computer ScienceUniversity of LiverpoolLiverpoolUK
  2. 2.ENS Mines Saint-EtienneSaint-EtienneFrance
  3. 3.Faculty of Informatics (FACIN)PUCRSPorto AlegreBrazil

Bibliographic information

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