Programming Multi-Agent Systems

These are the post-proceedings of the International Workshop on Programming Multi-Agent Systems (ProMAS 2007), the ?fth of a series of workshops that is attracting increasing attention from researchersand practitioners in multi-agent systems. Multi-agent systems (MAS) constitute a promising software development paradigm for complex and distributed applications. The aim of the ProMAS workshop series is to promote and contribute to the establishment of MAS as a mainstream approach to the development of industrial-strength software. In particular, ProMAS aims to address the technologies that are required for - plementing multi-agentsystems designs or speci?cations e?ectively. We promote the discussion and exchangeof ideas on principles, concepts, requirements, te- niques,andtoolsthatareessentialforprogrammingapproachesandtechnologies speci?cally devised for MAS. Theidea oforganizingthe ?rstworkshopofthe series was?rstdiscussedd- ing the Dagstuhl seminar ProgrammingMulti-Agent Systems Based onLogic , where the focus was on logic-based approaches. It was felt that the scope should be broadened beyond logic-based approaches, thus giving the current scope and aims of ProMAS. After four very successful editions of the ProMAS workshop series, which took place at AAMAS 2003 (Melbourne, Australia), AAMAS 2004 (New York, USA), AAMAS 2005(Utrecht,The Netherlands), and AAMAS 2006(Hakodate, Japan), the ?fth edition took place on May 14 in Honolulu, Hawai i, in c- junction with AAMAS 2007, the main international conference on autonomous agents and MAS. ProMAS 2007 received 17 submissions. These were reviewed by members of the Program Committee, and 11 papers were accepted.

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