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

This book constitutes the thoroughly refereed proceedings of the 5th International Workshop on Programming Multi-Agent Systems, ProMAS 2007, held in Honolulu, HI, USA, in May 2007 as an associated event of AAMAS 2007, the 6th International Joint Conference on Autonomous Agents and Multiagent Systems.
The 11 revised full papers presented together with 2 invited articles address current issues in the areas of agent platforms, environment and interaction, agent programming languages, and analysis of MAS.

Invited Papers.- Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods.- The Goal Oriented Teams (GORITE) Framework.- Regular Papers.- Agents Do It for Money - Accounting Features in Agents.- From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions.- Interoperability for Bayesian Agents in the Semantic Web.- The A&A Programming Model and Technology for Developing Agent Environments in MAS.- A Practical Agent Programming Language.- A Common Semantic Basis for BDI Languages.- Adding Structure to Agent Programming Languages.- Modules as Policy-Based Intentions: Modular Agent Programming in GOAL.- Specifying and Verifying a MAS:The Robots on Mars Case Study.- Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs.- Hybrid Multiagent Systems with Timed Synchronization – Specification and Model Checking.- Agent Contest Competition.- Agent Contest Competition: 3rd Edition.- Developing a Team of Gold Miners Using Jason.- Going for Gold with 2APL.- Collecting Gold.- JIAC IV in Multi-Agent Programming Contest 2007.- An Agent Team Based on FLUX for the ProMAS Contest 2007.