Skip to main content
  • Conference proceedings
  • © 2008

Programming Multi-Agent Systems

Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers

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

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 2007.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
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 (19 papers)

  1. Front Matter

  2. Invited Papers

    1. The Goal Oriented Teams (GORITE) Framework

      • Ralph Rönnquist
      Pages 27-41
  3. Regular Papers

    1. Agents Do It for Money - Accounting Features in Agents

      • Jan Keiser, Benjamin Hirsch, Sahin Albayrak
      Pages 42-56
    2. From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions

      • Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer
      Pages 57-72
    3. Interoperability for Bayesian Agents in the Semantic Web

      • Elder Rizzon Santos, Moser Silva Fagundes, Rosa Maria Vicari
      Pages 73-88
    4. The A&A Programming Model and Technology for Developing Agent Environments in MAS

      • Alessandro Ricci, Mirko Viroli, Andrea Omicini
      Pages 89-106
    5. A Practical Agent Programming Language

      • Mehdi Dastani, John-Jules Ch. Meyer
      Pages 107-123
    6. A Common Semantic Basis for BDI Languages

      • Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge
      Pages 124-139
    7. Adding Structure to Agent Programming Languages

      • Peter Novák, Jürgen Dix
      Pages 140-155
    8. Specifying and Verifying a MAS:The Robots on Mars Case Study

      • Bruno Mermet, Gaële Simon, Bruno Zanuttini, Arnaud Saval
      Pages 172-189
    9. Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking

      • Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg
      Pages 205-220
  4. Agent Contest Competition

    1. Agent Contest Competition: 3rd Edition

      • Mehdi Dastani, Jürgen Dix, Peter Novák
      Pages 221-240
    2. Developing a Team of Gold Miners Using Jason

      • Jomi F. Hübner, Rafael H. Bordini
      Pages 241-245
    3. Going for Gold with 2APL

      • L. Astefanoaei, C. P. Mol, M. P. Sindlar, N. A. M. Tinnemeier
      Pages 246-250
    4. Collecting Gold

      • Erdene-Ochir Tuguldur, Marcel Patzlaff
      Pages 251-255
    5. JIAC IV in Multi-Agent Programming Contest 2007

      • Axel Hessler, Benjamin Hirsch, Jan Keiser
      Pages 256-260
    6. An Agent Team Based on FLUX for the ProMAS Contest 2007

      • Stephan Schiffel, Michael Thielscher, Doan Thu Trang
      Pages 261-265

Other Volumes

  1. Programming Multi-Agent Systems

Keywords

  • agent architectures
  • agent interaction
  • agent programming
  • agent systems implementation
  • agent-based simulation
  • agent-oriented programming
  • agent-oriented programming languages
  • agent-oriented software engineering
  • agents
  • model checking
  • modeling
  • programming
  • programming language
  • semantic web
  • visualization

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
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