5. PROMAS 2007: Honolulu, HI, USA

Mehdi Dastani, Amal El Fallah-Seghrouchni, Alessandro Ricci, Michael Winikoff (Eds.): Programming Multi-Agent Systems, 5th International Workshop, ProMAS 2007, Honolulu, HI, USA, May 15, 2007, Revised and Invited Papers. Lecture Notes in Computer Science 4908 Springer 2008, ISBN 978-3-540-79042-6 BibTeX

Invited Papers

Bernhard Bauer, Jörg P. Müller, Stephan Roser:
Decentralized Business Process Modeling and Enactment: ICT Architecture Topologies and Decision Methods. 1-26
Electronic Edition (link) BibTeX
Ralph Rönnquist:
The Goal Oriented Teams (GORITE) Framework. 27-41
Electronic Edition (link) BibTeX

Regular Papers

Jan Keiser, Benjamin Hirsch, Sahin Albayrak:
Agents Do It for Money - Accounting Features in Agents. 42-56
Electronic Edition (link) BibTeX
Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer:
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. 57-72
Electronic Edition (link) BibTeX
Elder Rizzon Santos, Moser Silva Fagundes, Rosa Maria Vicari:
Interoperability for Bayesian Agents in the Semantic Web. 73-88
Electronic Edition (link) BibTeX
Alessandro Ricci, Mirko Viroli, Andrea Omicini:
The A&AProgramming Model and Technology for Developing Agent Environments in MAS. 89-106
Electronic Edition (link) BibTeX
Mehdi Dastani, John-Jules Ch. Meyer:
A Practical Agent Programming Language. 107-123
Electronic Edition (link) BibTeX
Louise A. Dennis, Berndt Farwer, Rafael H. Bordini, Michael Fisher, Michael Wooldridge:
A Common Semantic Basis for BDI Languages. 124-139
Electronic Edition (link) BibTeX
Peter Novák, Jürgen Dix:
Adding Structure to Agent Programming Languages. 140-155
Electronic Edition (link) BibTeX
Koen V. Hindriks:
Modules as Policy-Based Intentions: Modular Agent Programming in GOAL. 156-171
Electronic Edition (link) BibTeX
Bruno Mermet, Gaële Simon, Bruno Zanuttini, Arnaud Saval:
Specifying and Verifying a MAS: The Robots on MarsCase Study. 172-189
Electronic Edition (link) BibTeX
Guillermo Vigueras, Juan A. Botía:
Tracking Causality by Visualization of Multi-Agent Interactions Using Causality Graphs. 190-204
Electronic Edition (link) BibTeX
Ulrich Furbach, Jan Murray, Falk Schmidsberger, Frieder Stolzenburg:
Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking. 205-220
Electronic Edition (link) BibTeX

Agent Contest Competition

Mehdi Dastani, Jürgen Dix, Peter Novák:
Agent Contest Competition: 3rd Edition. 221-240
Electronic Edition (link) BibTeX
Jomi Fred Hübner, Rafael H. Bordini:
Developing a Team of Gold Miners Using Jason. 241-245
Electronic Edition (link) BibTeX
L. Astefanoaei, C. P. Mol, M. P. Sindlar, Nick A. M. Tinnemeier:
Going for Gold with 2APL. 246-250
Electronic Edition (link) BibTeX
Erdene-Ochir Tuguldur, Marcel Patzlaff:
Collecting Gold. 251-255
Electronic Edition (link) BibTeX
Axel Hessler, Benjamin Hirsch, Jan Keiser:
JIAC IV in Multi-Agent Programming Contest 2007. 256-260
Electronic Edition (link) BibTeX
Stephan Schiffel, Michael Thielscher, Doan Thu Trang:
An Agent Team Based on FLUX for the ProMAS Contest 2007. 261-265
Electronic Edition (link) BibTeX