Preface 0 1 Held with The Multi-Agent Logics , Languages, and Organisations Federated Workshops, MALLOW 2010 Mehdi Dastani, Utrecht University, The Netherlands Amal El Fallah Seghrouchni, University of Paris VI, France Jomi F. Hu ̈bner, Federal University of Santa Catarina, Brazil Jo ̃ao Leite, New University of Lisbon , Lisbon -

MALLOW 2010

Organised by These are the pre-proceedings of the third international workshop on languages, methodologies and development tools for multi-agent systems (LADS’010). LADS’010 workshop aims to address both theoretical and practical issues related to developing and deploying multi-agent systems. In particular, it will constitute a rich forum where leading researchers from both academia and industry share their experiences on formal approaches, programming languages, methodologies, tools and techniques that support the development and deployment of multiagent systems. From theoretical point of view, LADS’010 aims to address issues related to theories, models, and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability and verifications. From practical point of view, the workshop aims at stimulating research and discussion on how multi-agent system specifications and designs can be effectively implemented and tested. LADS’010 workshop promises to provide interesting discussion and exchange of ideas concerning theories, methodologies, techniques and principles that are important for multi- agent programming technology. The programme of the workshop consists of three sessions covering models, theories and tools for multi-agent systems. More details on the programme can be found at: http://www.cs.uu.nl/lads2010.

The co-chairs of this workshop would like to thank all authors, programme committee members, and additional reviewers for their outstanding contribution to the success of LADS’010. The co-chairs would also like to thank all the sponsors and Springer. We are particularly grateful to MALLOW 2010 organisers, Olivier Boissier, Amal El Fallah Seghrouchni, Salima Hassas, and Nicolas Maudet, for their technical support and for hosting the workshop.

 LADS’010 Programme Co-chairs Mehdi Dastani Amal El Fallah Seghrouchni Jomi F. Hu¨bner Jo˜ao Leite Organising Committee Mehdi Dastani Amal El Fallah Seghrouchni Jomi F. Hu¨bner Jo˜ao Leite Steering Committee Mehdi Dastani Amal El Fallah Seghrouchni Jo˜ao Leite Paolo Torroni Program Committee Additional Reviewers Natasha Alechina Cristina Baroglio Tristan Behrens Akin Gunay

Ozgur Kafali Yasuyuki Tahara Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 14 21 27 34 41 48 55 62