[CEUR Workshop Proceedings] Vol-627

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.

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

    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
  12. Workshop 2: DPDF WG

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

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

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

  41. MASS Preface
  42. The Impact of Market Preferences on the Evolution of Market Price and Product Quality
    Hongliang Liu, Enda Howley, Jim Duggan
  43. Learning Virtual Agents for Decision-Making in Business Simulators
    Javier Garcia, Fernando Borrajo, Fernando Fernandez
  44. Looking for the Self-fulfilling Prophecy Effect in a Double Auction Artificial Stock Market
    Albert Meco, Javier Arroyo, Juan Pavón, Javier Pajares
  45. BDI Agents with Fuzzy Perception for Simulating Decision Making in Environments with Imperfect Information
    Giovani Farias, Graçaliz Dimuro, Antonio Carlos Costa
  46. When Will I See you Again: Modelling the Influence of Social Networks on Social Activities
    Nicole Ronald, Virginia Dignum, Catholijn Jonker
  47. Human Behaviours Simulation in Ubiquitous Computing Environments
    Teresa García-Valverde, Francisco Campuzano, Emilio Serrano, Juan A. Botía
  48. A Survey on Coordination Methodologies for Simulated Robotic Soccer Teams
    Fernando Almeida, Nuno Lau, Luis Paulo Reis
  49. ELDAMeth: A Methodology for Simulation-based Prototyping of Distributed Agent Systems
    Giancarlo Fortino, Wilma Russo
  50. 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
  51. 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