Table Of ContentLecture Notes in Artificial Intelligence 5244
EditedbyR.Goebel,J.Siekmann,andW.Wahlster
Subseries of Lecture Notes in Computer Science
Ralph Bergmann Gabriela Lindemann
Stefan Kirn Michal Peˇchoucˇek (Eds.)
Multiagent
System Technologies
6th German Conference, MATES 2008
Kaiserslautern,Germany,September23-26,2008
Proceedings
1 3
SeriesEditors
RandyGoebel,UniversityofAlberta,Edmonton,Canada
JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany
WolfgangWahlster,DFKIandUniversityofSaarland,Saarbrücken,Germany
VolumeEditors
RalphBergmann
UniversityofTrier
DepartmentofBusinessInformationSystemsII
Trier,Germany
E-mail:[email protected]
GabrielaLindemann
Humboldt-UniversityBerlin,InstituteforComputerScience
Berlin,Germany
E-mail:[email protected]
StefanKirn
UniversityofHohenheim,Stuttgart,Germany
E-mail:wi2offi[email protected]
MichalPeˇchoucˇek
CzechTechnicalUniversity,DepartmentofCybernetics
Prague,CzechRepublic
E-mail:[email protected]
LibraryofCongressControlNumber:Appliedfor
CRSubjectClassification(1998):I.2.11,I.2,C.2.4,D.2.12,D.1.3,J.1
LNCSSublibrary:SL7–ArtificialIntelligence
ISSN 0302-9743
ISBN-10 3-540-87804-1SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-540-87804-9SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
SpringerisapartofSpringerScience+BusinessMedia
springer.com
©Springer-VerlagBerlinHeidelberg2008
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper SPIN:12530519 06/3180 543210
Preface
For the sixth time, the German special interest group on Distributed Artificial
Intelligence in cooperation with the Steering Committee of MATES organized
the German Conference on Multiagent System Technologies – MATES 2008.
Thisconference,whichtookplaceduringSeptember23–26,2008inKaiserslaut-
ern,followedaseriesofsuccessfulpredecessorconferencesinErfurt(2003,2004,
and 2006), Koblenz (2005), and Leipzig (2007). MATES 2008 was co-located
with the 31st German Conference on Artificial Intelligence (KI 2008) and was
hostedby the UniversityofKaiserslauternandthe GermanResearchCenterfor
Artificial Intelligence (DFKI).
As in recent years, MATES 2008 provided a distinguished, lively, and in-
terdisciplinary forum for researchers, users, and developers of agent technology
to present and discuss the latest advances of research and development in the
area of autonomous agents and multiagent systems. Accordingly, the topics of
MATES 2008coveredthe whole range:from the theory to applications of agent
and multiagent technology. In all, 35 papers were submitted from authors from
11 countries. The accepted 16 full papers included in this proceedings volume
and presented as talks at the conference were chosen based on a thorough and
highly selective review process. Each paper was reviewed and discussed by at
least three Program Committee members and revised according to their com-
ments. We believe that the papers of this volume are a representative snapshot
of current research and contribute to both theoretical and applied aspects of
autonomous agents and multiagent systems.
The conference program also included two invited talks by Sascha Ossowski
(University Rey Juan Carlos, Madrid, Spain) and Michael Wooldridge (Univer-
sity of Liverpool, UK). In his talk, Sascha Ossowski examined different stances
on coordination and outlined various research issues related to coordination in
multiagent systems. Michael Wooldridge’s talk put a focus on knowledge rep-
resentation and reasoning related to the specification and verification of social
choice mechanisms and coordination mechanisms such as social laws.
Additionally,MATES2008alsoprovidedadoctoralmentoringprogram,ded-
icated to PhD students at advanced stages of their research.This programgave
students an opportunity to interact closely with established researchersin their
fields, to receive feedback on their work, and to get advice on managing their
careers.
Particular thanks goes to the Program Committee and additional reviewers
for their efforts andhardworkin the reviewingandselectionprocess.We thank
all the authors who submitted papers to the conference, making this program
successful. We express our special thanks to the two invited speakers Sascha
Ossowski and Michael Wooldridge. Finally, we like to thank the organization
VI Preface
team ofKI 2008for providingvaluable supportand for all the effortinvolvedin
the local organizationof MATES.
This volume was produced using the EasyChair system1. We would like to
expressourgratitudetoits authorAndreiVoronkov.Finally,wethank Springer
for their continuing support in publishing this series of conference proceedings.
July 2008 Ralph Bergmann
Gabriela Lindemann
Stefan Kirn
Michal Pˇechouˇcek
1 http://www.easychair.org
Organization
General Co-chairs
Stefan Kirn Universita¨t Hohenheim, Germany
Michal Pˇechouˇcek Czech Technical University, Czech Republic
Program Co-chairs
Ralph Bergmann Universita¨t Trier, Germany
Gabriela Lindemann Humboldt Universita¨t zu Berlin, Germany
Steering Committee
Hans-Dieter Burkhard Humboldt-Universit¨at zu Berlin, Germany
Stefan Kirn Universita¨t Hohenheim, Germany
Matthias Klusch DFKI, Germany
Jo¨rg P. Mu¨ller TU Clausthal, Germany
Rainer Unland Universita¨t Duisburg-Essen, Germany
Gerhard Weiss SCCH Hagenberg, Austria
Program Committee
Klaus-Dieter Althoff Universita¨t Hildesheim, Germany
Bernhard Bauer Universita¨t Augsburg, Germany
Federico Bergenti Universit`a degli Studi di Parma, Italy
Michael Berger Siemens AG, Germany
Ralph Bergmann Universita¨t Trier, Germany
Lars Braubach Universita¨t Hamburg , Germany
Gerhard Brewka Universita¨t Leipzig, Germany
Hans-Dieter Burkhard Humboldt-Universit¨at zu Berlin, Germany
Monique Calisti Whitestein Technologies, Switzerland
Mehdi Dastani Universiteit Utrecht, The Netherlands
Jo¨rg Denzinger University of Calgary, Canada
Ju¨rgen Dix Technische Universita¨t Clausthal, Germany
Torsten Eymann Universita¨t Bayreuth, Germany
Jean-Pierre George Universit´e Paul Sabatier, France
Paolo Giorgini Universita` degli Studi di Trento, Italy
Heikki Helin TeliaSonera, Finland
Stefan Kirn Universita¨t Hohenheim, Germany
Matthias Klusch DFKI, Germany
VIII Organization
Franziska Klu¨gl Universita¨t Wu¨rzburg, Germany
Ryszard Kowalczyk Swinburne University of Technology, Australia
Daniel Kudenko University of York, UK
Winfried Lamersdorf Universita¨t Hamburg, Germany
Ju¨rgen Lind iteratec GmbH, Germany
Gabriela Lindemann Humboldt-Universit¨at zu Berlin, Germany
Stefano Lodi Universita` di Bologna, Italy
Beatriz Lopez Universitat de Girona, Spain
Mirjam Minor Universita¨t Trier, Germany
Heinz-Ju¨rgen Mu¨ller Berufsakademie Mannheim , Germany
Jo¨rg P. Mu¨ller Technische Universita¨t Clausthal, Germany
Volker Nissen Technische Universit¨at Ilmenau, Germany
Andrea Omicini Universita` di Bologna, Italy
Michal Pˇechouˇcek Czech Technical University, Prague
Wolfgang Renz HAW Hamburg, Germany
Abdel Badeh Salem Ain Shams University, Egypt
Von-Wun Soo National Tsing Hua University, Taiwan
Steffen Staab Universita¨t Koblenz-Landau, Germany
Ingo Timm Universit¨at Frankfurt, Germany
Robert Tolksdorf Freie Universit¨at Berlin, Germany
Adelinde Uhrmacher Universita¨t Rostock, Germany
Rainer Unland Universita¨t Duisburg-Essen, Germany
Wiebe Van der Hoek University of Liverpool, UK
Laszlo Zsolt Varga MTA SZTAKI, Hungary
Danny Weyns Katholieke Universiteit Leuven, The Netherlands
Cees Witteveen TU Delft, The Netherlands
Georg Weichhart Profactor,Austria
Additional Reviewers
Sameh Abdel Naby Dirk Bade Tina Balke
Tristan Behrens Ralf Berger Lars Braubach
Didac Busquets Thomas Hubauer Stefan K¨onig
Andreas Lattner Christoph Niemann Peter Novak
Alexander Pokahr Meike Reichle Christoph Ringelstein
Thorsten Schoeler Fernando Silva Parreiras Sergej Sizov
Danny Weyns Sonja Zaplata
Table of Contents
Invited Talks
Logic for Automated Mechanism Design and Analysis ................ 1
Michael Wooldridge
Coordination in Multi-Agent Systems: Towards a Technology of
Agreement ...................................................... 2
Sascha Ossowski
Research Papers
Optimistic-Pessimistic Q-Learning Algorithm for Multi-Agent
Systems ........................................................ 13
Natalia Akchurina
How to ProgramOrganizations and Roles in the JADE Framework..... 25
Matteo Baldoni, Guido Boella, Valerio Genovese,
Roberto Grenna, and Leendert van der Torre
Agent Models for Concurrent Software Systems ...................... 37
Lawrence Cabac, Till Do¨rges, Michael Duvigneau, Daniel Moldt,
Christine Reese, and Matthias Wester-Ebbinghaus
Filtering Algorithm for Agent-Based Incident Communication Support
in Mobile Human Surveillance ..................................... 49
Duco N. Ferro and Catholijn M. Jonker
Joint Equilibrium Policy Search for Multi-Agent Scheduling
Problems ....................................................... 61
Thomas Gabel and Martin Riedmiller
Making Allocations Collectively: Iterative Group Decision Making
under Uncertainty ............................................... 73
Christian Guttmann
Compiling GOAL Agent Programs into Jazzyk Behavioural State
Machines ....................................................... 86
Koen Hindriks and Peter Nov´ak
Knowledge and Strategic Ability for Model Checking: A Refined
Approach ....................................................... 99
Wojciech Jamroga
Agent Learning Instead of Behavior Implementation for
Simulations – A Case Study Using Classifier Systems ................. 111
Franziska Klu¨gl, Reinhard Hatko, and Martin V. Butz
X Table of Contents
Providing Integrated Development Environments for Multi-Agent
Systems ........................................................ 123
Simon Lynch and Keerthi Rajendran
Implementing Organisations in JADE .............................. 135
Cristi´an Madrigal-Mora, Esteban Leo´n-Soto, and Klaus Fischer
A Fair Mechanism for Recurrent Multi-unit Auctions ................. 147
Javier Murillo, V´ıctor Mun˜oz, Beatriz Lo´pez, and D´ıdac Busquets
Multi-Agent Reinforcement Learning for Intrusion Detection: A Case
Study and Evaluation ............................................ 159
Arturo Servin and Daniel Kudenko
Teaching Distributed Artificial Intelligence with RoboRally............ 171
Ingo J. Timm, Tjorben Bogon, Andreas D. Lattner, and
Ren´e Schumann
Refactoring in Multi Agent System Development..................... 183
Ali Murat Tiryaki, Erdem Eser Ekinci, and Oguz Dikenelli
Autonomous Scheduling with Unbounded and Bounded Agents ........ 195
Chetan Yadati, Cees Witteveen, Yingqian Zhang,
Mengxiao Wu, and Han la Poutre
Author Index.................................................. 207
