| Vol-627 urn:nbn:de:0074-627-1 Copyright © 2010 for the individual papers by the papers' authors. Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.

# MALLOW-2010
The Multi-Agent Logics, Languages, and Organisations Federated Workshops 2010

### Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010)

### Lyon, France, August 30 - September 2, 2010.

Edited by

### Olivier Boissier *
Amal El Fallah Seghrouchni **
Salima Hassas ***
Nicolas Maudet ****

* ENSM, 42000 Saint-Etienne, France
** LIP6, 75005 Paris, France
*** LIESP, 69621 Villeurbanne, France
**** LAMSADE, 75775 Paris Cedex 16, France

## Table of Contents

- Preface

### Workshop 1: COIN

1. COIN : Preface
2. Normative Monitoring: Semantics and Implementation
   Sergio Alvarez-Napagao, Huib Aldewereld, Javier Vazquez, Frank Dignum
3. Controlling Multi-Party Interaction within Normative Multi-Agent Organizations
   Olivier Boissier, Flavien Balbo, Fabien Badeig
4. Norm Refinement and Design through Inductive Learning
   Domenico Corapi, Marina De Vos, Julian Padget, Alessandra Russo, Ken Satoh
5. Norm Enforceability in Electronic Institutions?
   Natalia Criado, Estefania Argente, Antonio Garrido, Juan A. Gimeno, Francesc Igual, Vicente Botti, Pablo Noriega, Adriana Giret
6. Towards a Normative BDI Architecture for Norm Compliance
   Natalia Criado, Estefania Argente, Pablo Noriega, Vicent Botti
7. Generating Executable MAS-Prototypes from SONAR Specifications
   Michael Köhler-Bußmeier, Matthias Wester-Ebbinghaus, Daniel Moldt
8. Embodied Organizations: a Unifying Perspective in Programming Agents, Organizations and Environments
   Michele Piunti, Olivier Boissier, Jomi F. Hübner, Alessandro Ricci
9. Group Intention = Social Choice + Commitment
   Marija Slavkovik, Guido Boella, Gabriella Pigozzi, Leon van der Torre
10. MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems
    Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi, Andrea Santi
11. Contextual Integrity and Privacy Enforcing Norms for Virtual Communities
    Yann Krupa, Laurent Vercouter

### Workshop 2: DPDF WG

12. DPDF WG : Preface
13. Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition
    Sara Casare, Zahia Guessoum, Anarosa Brandão, Jaime Sichman
14. A Glimpse of the ASPECS Process documented with the FIPA DPDF Template
    Massimo Cossentino, Stéphane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
15. Process Documentation Standardization: An Initial Evaluation
    Massimo Cossentino, Juan Carlos González Moreno, Alma Gómez Rodríguez, Andrea Omicini, Ambra Molesini
16. Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template
    Sergio Esparcia, Estefania Argente, Vicente Botti
17. The O-MaSE Process: a Standard View
    Juan C. Garcia-Ojeda, Scott DeLoach
18. Applying Process Document Standarization to INGENIAS
    Juan Carlos González Moreno, Alma Gómez Rodríguez
19. Exploring the Boundaries: when Method Fragmentation is not Convenient
    Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro

### Workshop 3: LADS

20. LADS : Preface
21. ACRE: Agent Communication Reasoning Engine
    David Lillis, Rem Collier
22. OperettA: Organization-Oriented Development Environment
    Virginia Dignum, Huib Aldewereld
23. A Dialogic Dimension for the MOISE+ Organizational Model
    Alexandre Hübner, Graçaliz Dimuro, Antonio Carlos da Rocha Costa, Viviane Mattos
24. From Signed Information to Belief in Multi-Agent Systems
    Laurent Perrussel, Emiliano Lorini, Jean-Marc Thévenin
25. Towards Efficient Multi-Agent Abduction Protocols
    Gauvain Bourgne, Katsumi Inoue, Nicolas Maudet
26. Validation of Agile Workflows using Simulation
    Kai Jander, Lars Braubach, Alexander Pokahr, Winfried Lamersdorf
27. JaCa-Android: An Agent-based Platform for Building Smart Mobile Applications
    Andrea Santi, Marco Guidi, Alessandro Ricci
28. Exploiting Agent-Oriented Programming for Building Advanced Web 2.0 Applications
    Mattia Minotti, Alessandro Ricci, Andrea Santi
29. Using HDS for Realizing Multi-Agent Applications
    Federico Bergenti, Enrico Franchi, Agostino Poggi

### Workshop 4: LRBA

30. LRBA Preface
31. Computationally Grounded Account of Belief and Awareness for AI Agents
    Natasha Alechina, Brian Logan
32. Logic Meets Cognition: Empirical Reasoning in Games
    Sujata Ghosh, Ben Meijering, Rineke Verbrugge
33. An Extension of RB-ATL
    Nguyen Hoang Nga
34. Abduction for (Non-Omniscient) Agents
    Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
35. Dynamic Epistemic Logic for Implicit and Explicit Beliefs
    Fernando R. Velázquez-Quesada
36. A Construction of Logic-Constrained Functions with Respect to Awareness
    Susumu Yamasaki

### Workshop 5: MASS

37. MASS Preface
38. The Impact of Market Preferences on the Evolution of Market Price and Product Quality
    Hongliang Liu, Enda Howley, Jim Duggan
39. Learning Virtual Agents for Decision-Making in Business Simulators
    Javier Garcia, Fernando Borrajo, Fernando Fernandez
40. Looking for the Self-fulfilling Prophecy Effect in a Double Auction Artificial Stock Market
    Albert Meco, Javier Arroyo, Juan Pavón, Javier Pajares
41. BDI Agents with Fuzzy Perception for Simulating Decision Making in Environments with Imperfect Information
    Giovani Farias, Graçaliz Dimuro, Antonio Carlos Costa
42. When Will I See you Again: Modelling the Influence of Social Networks on Social Activities
    Nicole Ronald, Virginia Dignum, Catholijn Jonker
43. Human Behaviours Simulation in Ubiquitous Computing Environments
    Teresa García-Valverde, Francisco Campuzano, Emilio Serrano, Juan A. Botía
44. A Survey on Coordination Methodologies for Simulated Robotic Soccer Teams
    Fernando Almeida, Nuno Lau, Luis Paulo Reis
45. ELDAMeth: A Methodology for Simulation-based Prototyping of Distributed Agent Systems
    Giancarlo Fortino, Wilma Russo
46. Design and Simulation of a Wave-like Self-Organization Strategy for Resource-Flow Systems
    Jan Sudeikat, Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler, Peter Salchow
47. Generating Inspiration for Multi-Agent Simulation Design by Q-Learning
    Robert Junges, Franziska Klügl

The whole proceedings can also be downloaded as a single file (pdf).

27-Aug-2010: submitted by Samir Aknine, Salima Hassas
27-Aug-2010: published on CEUR-WS.org