Skip to main content
  • Conference proceedings
  • © 2012

Programming Multi-Agents Systems

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

  • Fast-track conference proceedings

  • State-of-the-art research

  • Up-to-date results

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): ProMAS: International Workshop on Programming Multi-Agent Systems

Conference proceedings info: ProMAS 2011.

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

  1. Front Matter

  2. Foundations of Agent Programming Languages

    1. Front Matter

      Pages 1-1
    2. Relating Goal and Commitment Semantics

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

    1. Front Matter

      Pages 39-39
    2. Developing a Knowledge Management Multi-Agent System Using JaCaMo

      • Carlos M. Toledo, Rafael H. Bordini, Omar Chiotti, María R. Galli
      Pages 41-57
    3. Notes on Pragmatic Agent-Programming with Jason

      • Radek Píbil, Peter Novák, Cyril Brom, Jakub Gemrot
      Pages 58-73
    4. Integrating Expectation Monitoring into BDI Agents

      • Surangika Ranathunga, Stephen Cranefield, Martin Purvis
      Pages 74-91
  4. Model Checking

    1. Front Matter

      Pages 93-93
    2. Abstraction for Model Checking Modular Interpreted Systems over ATL

      • Michael Köster, Peter Lohmann
      Pages 95-113
    3. MAS: Qualitative and Quantitative Reasoning

      • Ammar Mohammed, Ulrich Furbach
      Pages 114-132
    4. State Space Reduction for Model Checking Agent Programs

      • 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. The Multi-agent Programming Contest 2011: A Résumé

      • Tristan Behrens, Michael Köster, Federico Schlesinger, Jürgen Dix, Jomi F. Hübner
      Pages 155-172
    3. HactarV2: An Agent Team Strategy Based on Implicit Coordination

      • Marc Dekker, Pieter Hameete, Michiel Hegemans, Sebastiaan Leysen, Joris van den Oever, Jeff Smits et al.
      Pages 173-184
    4. Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach

      • Mikko Berggren Ettienne, Steen Vester, Jørgen Villadsen
      Pages 185-196
    5. Bogtrotters in Space

      • Dominic Carr, Sean Russell, Balazs Pete, G. M. P. O’Hare, Rem W. Collier
      Pages 197-207
    6. A Gaia-Driven Approach for Competitive Multi-Agent Systems

      • Sahar Mirzayi, Vahid Nateghi, Fatemeh Eskandari
      Pages 208-216
  6. Back Matter

Other Volumes

  1. Programming Multi-Agent Systems

About this book

Fast-track conference proceedings State-of-the-art research Up-to-date results

Keywords

  • BDI
  • commitments
  • coordination
  • knowledge management
  • semantics

Editors and Affiliations

  • Department of Computer Science, University of Liverpool, Liverpool, UK

    Louise Dennis

  • ENS Mines Saint-Etienne, Saint-Etienne, France

    Olivier Boissier

  • Faculty of Informatics (FACIN), PUCRS, Porto Alegre, Brazil

    Rafael H. Bordini

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions