COIN@ Nicoletta Fornara, George Vouros (eds.) 11th International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems Lyon, France, 30 August - 2nd September 2010 th Workshop Notes COIN@MALLOW 2010 web site http://ai-lab-webserver.aegean.gr/coin@mallow2010/ Preface The development of complex distributed AI systems with heterogeneous and diverse knowledge is a challenge. System components must interact, coordinate and collaborate to manage scale and complexity of task environments targeting persistency and maybe, evolution of systems. Managing scale and complexity requires organized intelligence; in particular intelligence manifested in organiza- tions of agents, by individual strategies or collective behaviour. System archi- tects have to consider: the inter-operation of heterogeneously designed, devel- oped or discovered components (agents, objects/artefacts, services provided in an open environment); inter-connection which cross legal, temporal, or organi- zational boundaries; the absence of global objects or centralised controllers; the possibility that components will not comply with the given specifications; and embedding in an environment which is likely to change, with possible impact on individual and collective objectives. The convergence of the requirement for intelligence with these operational constraints demands: coordination, the collective ability of heterogeneous and autonomous components to arrange or synchronise the performance of specified actions in sequential or temporal order; rational and open organization, a formal structure supporting or producing intentional forms of coordination, capable of managing changes in the environment in which it operates; institution, an organization where the performance of designated actions by empowered agents produces conventional outcomes; and norms, standards or patterns of behaviour in an institution established by decree, agreement, emergence, and so on. The automation and distribution of intelligence is the subject of study in autonomous agents and multi-agent systems; the automation and distribution of intelligence for coordination, organization, institutions and norms is the in- terest of this workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN), in its eleventh edition. The COIN@MALLOW 2010 workshop is part of the COIN series of workshops http://www.pcs.usp.br/ coin/. This edition of COIN received fourteen high quality submissions, describ- ing works by researchers coming from nine different countries, eight of which have been selected by the Programme Committee as regular papers and two of which have been selected by the Programme Committee as position papers. Each paper received at least three reviews in order to supply the authors with helpful feedback that could stimulate the research as well as foster discussion. COIN@AAMAS2010 and COIN@MALLOW2010 post-proceedings will be pub- lished soon in a single Springer LNCS volume. We would like to thank all authors for their contributions, the members of the Steering Committee for the valuable suggestions and support, and the mem- bers of the Programme Committee for their excellent work during the reviewing phase. August 4th , 2010 Nicoletta Fornara, George Vouros Workshop Organisers Nicoletta Fornara University of Lugano, Switzerland George Vouros University of the Aegean, Greece Programme Committee Alexander Artikis National Centre for Scientific Research Demokritos, Greece Guido Boella University of Torino, Italy Olivier Boissier ENS Mines Saint-Etienne, France Rafael Bordini Federal University of Rio Grande do Sul, Brazil Amit Chopra University of Trento, Italy Antonio Carlos da Rocha Costa Univ. Federal do Rio Grande FURG, Brazil Marina De Vos University of Bath, UK Virginia Dignum Delft University of Technology, The Netherlands Jomi Fred Hubner Federal University of Santa Catarina, Brazil Christian Lemaitre Universidad Autonoma Metropolitana, Mexico Henrique Lopes Cardoso Universidade do Porto, Portugal Eric Matson Purdue, USA John-Jules Meyer Utrecht University, The Netherlands Pablo Noriega IIIA-CSI, Spain Eugenio Oliveira Universidade do Porto, Portugal Andrea Omicini University of Bologna, Italy Sascha Ossowski URJC, Spain Julian Padget University of Bath, UK Jeremy Pitt Imperial College, London, UK Juan Antonio Rodriguez Aguilar IIIA-CSIC, Spain Jaime Sichman University of Sao Paulo, Brazil Munindar P. Singh North Carolina State University, USA Viviane Torres da Silva Universidade Federal Fluminente, Brazil Kostas Stathis Royal Holloway, University of London, UK Paolo Torroni University of Bologna, Italy Leon van der Torre University of Luxembourg, Luxembourg Birna van Riemsdijk Delf University of Technology, The Netherlands Wamberto Vasconcelos University of Aberdeen, UK Javier Vazquez-Salceda University Politecnica de Catalunya, Spain Mario Verdicchio University of Bergamo, Italy Danny Weyns Katholieke Universiteit Leuven, Germany Pinar Yolum Bogazici University, Turkey Additional Reviewers Luciano Coutinho Universidade de Campinas, Brazil Akin Gunay Bogazici University, Turkey Ozgur Kafali Bogazici University, Turkey Steering Committee Guido Boella University of Torino, Italy Olivier Boissier ENS Mines Saint-Etienne, France Nicoletta Fornara University of Lugano, Switzerland Christian Lemaitre Universidad Autonoma Metropolitana, Mexico Eric Matson Purdue University, USA Pablo Noriega Artficial Intelligence Research Institute, Spain Sascha Ossowski Universidad Rey Juan Carlos, Spain Julian Padget University of Bath, UK Jeremy Pitt Imperial College London, UK Jaime Sichman University of Sao Paulo, Brazil Wamberto Vasconcelos University of Aberdeen, UK Javier Vzquez Salceda Universitat Politecnica de Catalunya, Spain George Vouros University of the Aegean, Greece Table of Contents Normative Monitoring: Semantics and Implementation . . . . . . . . . . . . . . . . . 1 Sergio Alvarez-Napagao, Huib Aldewereld, Javier Vazquez, Frank Dignum Controlling multi-party interaction within normative multi-agent organizations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 Olivier Boissier, Flavien Balbo, Fabien Badeig Norm Refinement and Design through Inductive Learning . . . . . . . . . . . . . . 33 Domenico Corapi, Marina De Vos, Julian Padget, Alessandra Russo, Ken Satoh Norm enforceability in Electronic Institutions? . . . . . . . . . . . . . . . . . . . . . . . . 49 Natalia Criado, Estefania Argente, Antonio Garrido, Juan A. Gimeno, Francesc Igual, Vicente Botti, Pablo Noriega, Adriana Giret Towards a Normative BDI Architecture for Norm Compliance . . . . . . . . . . 65 Natalia Criado, Estefania Argente, Pablo Noriega, Vicent Botti Generating Executable MAS-Prototypes from SONAR Specifications . . . . 82 Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt Embodied Organizations: a unifying perspective in programming Agents, Organizations and Environments . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98 Michele Piunti, Olivier Boissier, Jomi F. Hüubner, Alessandro Ricci Group intention = social choice + commitment . . . . . . . . . . . . . . . . . . . . . . . 115 Marija Slavkovik, Guido Boella, Gabriella Pigozzi, Leon van der Torre Position Papers MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems . . . . . . . . . . . . . . . . . . . . . 134 Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Bocca- latte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi Contextual Integrity and Privacy Enforcing Norms for Virtual Communities . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150 Yann Krupa, Laurent Vercouter