Pre-Proceedings of the Third International Workshop on LAnguages, methodologies and Development tools for multi-agent systemS LADS @ MALLOW 2010 Organised by Mehdi Dastani, Utrecht University, The Netherlands Amal El Fallah Seghrouchni, University of Paris VI, France Jomi F. Hübner, Federal University of Santa Catarina, Brazil João Leite, New University of Lisbon, Lisbon Held with The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), August 30th - September 2nd, Lyon, France Preface 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 multi- agent systems. From theoretical point of view, LADS’010 aims to address issues related to theories, models, and approaches that are needed to facilitate the de- velopment of multi-agent systems ensuring their predictability and verifications. From practical point of view, the workshop aims at stimulating research and dis- cussion 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 contribu- tion 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 organ- isers, 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. Hübner João Leite August 31, 2010 Organisation Organising Committee Mehdi Dastani Utrecht University, The Netherlands Amal El Fallah Seghrouchni University of Paris VI, France Jomi F. Hübner Federal University of Santa Catarina, Brazil João Leite New University of Lisbon, Lisbon Steering Committee Mehdi Dastani Utrecht University, The Netherlands Amal El Fallah Seghrouchni University of Paris VI, France João Leite New University of Lisbon, Lisbon Paolo Torroni University of Bologna, Italy Program Committee Marco Alberti New University of Lisbon, Portugal José Júlio Alferes New University of Lisbon, Portugal Matteo Baldoni University of Torino, Italy Juan A. Botı́a Murcia University, Spain Lars Braubach University of Hamburg, Germany Yves Demazeau Institut IMAG, Grenoble, France Juergen Dix Clausthal University, Germany Paolo Giorgini University of Trento, Italy Koen Hindriks Delft University, The Netherlands Shinichi Honiden NII, Tokyo, Japan Wojtek Jamroga Clausthal University, Germany Peep Küngas SOA Trader, Ltd., Tallin, Estonia Brian Logan University of Nottingham, UK Alessio Lomuscio Imperial College London, UK Viviana Mascardi University of Genova, Italy John-Jules Meyer Utrecht University, The Netherlands Alexander Pokahr University of Hamburg, Germany Alessandro Ricci University of Bologna, Italy Patrick Taillibert Thales Airborne Systems, Elancourt, France Paolo Torroni University of Bologna, Italy Leon van der Torre University of Luxembourg, Luxembourg M. Birna van Riemsdijk Delft University, The Netherlands Pinar Yolum Bogazici University, Istanbul, Turkey Yingqian Zhang Delft University, The Netherlands Additional Reviewers Natasha Alechina Cristina Baroglio Tristan Behrens Akin Gunay Ozgur Kafali Yasuyuki Tahara Table of Contents ACRE: Agent Communication Reasoning Engine . . . . . . . . . . . . . . . . . . . . . . 7 David Lillis, Rem Collier OperettA: Organization-Oriented Development Environment . . . . . . . . . . . 14 Virginia Dignum, Huib Aldewereld A Dialogic Dimension for the MOISE+ Organizational Model . . . . . . . . . . 21 Alexandre Hübner, Graçaliz Dimuro, Antonio Carlos da Rocha Costa, Viviane Mattos From Signed Information to Belief in Multi-Agent Systems . . . . . . . . . . . . . 27 Laurent Perrussel, Emiliano Lorini, Jean-Marc Thévenin Towards efficient multi-agent abduction protocols . . . . . . . . . . . . . . . . . . . . . 34 Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet Validation of Agile Workflows using Simulation . . . . . . . . . . . . . . . . . . . . . . . 41 Kai Jander, Lars Braubach, Alexander Pokahr, Winfried Lamersdorf JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 Andrea Santi, Marco Guidi, Alessandro Ricci Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55 Mattia Minotti, Alessandro Ricci, Andrea Santi Using HDS for Realizing Multi-Agent Applications . . . . . . . . . . . . . . . . . . . . 62 Federico Bergenti, Enrico Franchi, Agostino Poggi Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69