Programming Multi-Agent Systems: Fifth International Workshop, ProMAS 2007 Honolulu, HI, USA, May 14-18, 2007 Revised and Invited Papers - Lecture Notes in Artificial Intelligence 2008 edition

Marc Notes: Includes bibliographical references and index.; Also avail. in electronic form. Table of Contents: Invited Papers -- Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods / Bernhard Bauer, Jorg P. Muller, Stephan Roser -- The Goal Oriented Teams (GORITE) Framework / Ralph Ronnquist -- Regular Papers -- Agents Do It for Money - Accounting Features in Agents / Jan Keiser, Benjamin Hirsch, Sahin Albayrak -- From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions / Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer -- Interoperability for Bayesian Agents in the Semantic Web / Elder Rizzon Santos, Moser Silva Fagundes, Rosa Maria Vicari -- The A&A Programming Model and Technology for Developing Agent Environments in MAS / Alessandro Ricci, Mirko Viroli, Andrea Omicini -- A Practical Agent Programming Language / Mehdi Dastani, John-Jules Ch. Meyer -- A Common Semantic Basis for BDI Languages / Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge -- Adding Structure to Agent Programming Languages / Peter Novak, Jurgen Dix -- Modules as Policy-Based Intentions: Modular Agent Programming in GOAL / Koen Hindriks -- Specifying and Verifying a MAS: The Robots on Mars Case Study / Bruno Mermet, Gaele Simon, Bruno Zanuttini, Arnaud Saval -- Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs / Guillermo Vigueras, Juan A. Botia -- Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking / Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg -- Agent Contest Competition -- Agent Contest Competition: 3rd Edition / Mehdi Dastani, Jurgen Dix, Peter Novak -- Developing a Team of Gold Miners Using Jason / Jomi F. Hubner, Rafael H. Bordini -- Going for Gold with 2APL / L. Astefanoaei, C. P. Mol, M. P. Sindlar, N. A. M. Tinnemeier -- Collecting Gold: MicroJIAC Agents in Multi-Agent Programming Contest / Erdene-Ochir Tuguldur, Marcel Patzlaff -- JIAC IV in Multi-Agent Programming Contest 2007 / Axel Hessler, Benjamin Hirsch, Jan Keiser -- An Agent Team Based on FLUX for the ProMAS Contest 2007 / Stephan Schiffel, Michael Thielscher, Doan Thu Trang -- Author Index. Publisher Marketing: 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.