[CEUR Workshop Proceedings] Vol-494

Copyright © 2009 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. Re-publication of material from this volume requires permission by the copyright owners. This volume is published by its editors.



MALLOW'009
Multi-Agent Logics, Languages, and Organisations Federated Workshops


Proceedings of the Second Multi-Agent Logics, Languages, and Organisations Federated Workshops

Turin, Italy, September 7-10, 2009.


Edited by

Matteo Baldoni a
Cristina Baroglio a
Jamal Bentahar b
Guido Boella a
Massimo Cossentino c
Mehdi Dastani d
Barbara Dunin-Keplicz e, f
Giancarlo Fortino g
Marie-Peirre Gleizes h
João Leite i
Viviana Mascardi j
Julian Padget k
Juan Pavón l
Axel Polleres m
Amal El Fallah Seghrouchni n
Paolo Torroni o
Rineke Verbrugge p

a Dipartimento di Informatica, Università degli Studi di Torino, c.so Svizzera, 185 - I-10149 Torino, Italy

b Concordia Institute for Information Systems Engineering, Concordia University, 1515 Ste-Catherine Street West, EV7.630, Montreal, Quebec, H3G 2W1, Canada

c ICAR/CNR, Italy

d Department of Information and Computing Sciences, Utrecht University, P.O.Box 80.089, 3508 TB, Utrecht, The Netherlands

e Institute of Informatics, Warsaw University, Banacha 2, 02-097 Warsaw, Poland

f Institute of Computer Science, Polish Academy of Sciences Ordona 21, 01-237 Warsaw, Poland

g Department of Electronics, Informatics and Systems (DEIS) Università della Calabria, Italy

h IRIT - Université Paul Sabatier, France

i Departamento de Informatica, Faculdade de Ciencias e Tecnologia, FCT-UNL - Universidade Nova de Lisboa, Lisboa, Portugal

j Dipartimento di Informatica e Scienze dell'Informazione, Università degli Studi di Genova, Via Dodecaneso, 35, 16146 Genova, Italy

k Department of Computer Science, University of Bath, Bath BA2 7AY, United Kingdom

l Dep. Ingeniería del Software e Inteligencia Artificial, Universidad Complutense Madrid, Spain

m Digital Enterprise Research Institute, National University of Ireland, Galway

n LIP6 - University Pierre and Marie Curie, 104, Avenue du Président Kennedy - 75016, Paris, France

o Dipartimento di Informatica, Elettronica e Sistemistica, Università di Bologna, V.le Risorgimento, 2, 40136 BOLOGNA, Italy

p Institute of Artificial Intelligence, University of Groningen PO Box 407, 9700 AK Groningen, The Netherlands



Complete volume as one file (~17.5 MB).

Table of Contents

Preface


    Agents, Web Services and Ontologies, Integrated Methodologies ( MALLOW-AWESOME'009)

    Introductory Essay of MALLOW-AWESOME'009
    Matteo Baldoni, Cristina Baroglio, Jamal Bentahar, Viviana Mascardi

  1. Joint Achievement of Services' Personal Goals
    Matteo Baldoni, Cristina Baroglio, Elisa Marengo, Viviana Patti, Claudio Schifanella
  2. Verifying A-Priori the Composition of Declarative Specified Services
    Federico Chesani, Paola Mello, Marco Montali, Paolo Torroni
  3. Web Services Synchronization in Composition Scenarios
    Hamdi Yahyaoui, Zakaria Maamar, Jamal Bentahar, Khouloud Boukadi
  4. Enhancing Engineering Methodology for Communities of Web Services
    Mohamed Elmenshawy Mohamed, Jamal Bentahar, Rachida Dssouli
  5. Programming SOA/WS Systems with Cognitive Agents and Artifact-Based Environments
    Michele Piunti, Andrea Santi, Alessandro Ricci
  6. Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs
    Viviana Mascardi, Davide Ancona
  7. The CAWE Framework - Enhancing Service Oriented Architecture with Context Awareness (Extended Abstract)
    Liliana Ardissono, Anna Goy, Roberto Furnari, Giovanna Petrone, Marino Segnan
  8. AgentSeeker: an Ontology-based Enterprise Search Engine (Extended Abstract)
    Andrea Passadore, Alberto Grosso, Antonio Boccalatte
  9. WADE: An Open Source Platform for Workflows and Agents (Extended Abstract)
    Giovanni Caire, Elena Quarantotto, Giovanna Sacchi

    Coordination, Organization, Institutions and Norms in Agent Systems & On-line Communities (COIN@MALLOW'009)

    Introductory Essay of COIN@MALLOW'009
    Julian Padget, Axel Polleres

  10. Normative Programming for Organisation Management Infrastructures
    Jomi Fred Hubner, Olivier Boissier, Rafael H. Bordini
  11. Towards an Architecture for Self-regulating Agents: A Case Study in International Trade
    Brigitte Burgemeestre, Joris Hulstijn, Yao-Hua Tan
  12. Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics
    Guido Boella, Leon van der Torre, Serena Villata
  13. Dealing with Incomplete Normative States
    Juan Manuel Serrano, Sergio Saugar
  14. Directing Status Messages to their Audience in Online Communities
    Milan Stankovic, Alexandre Passant, Philippe Laublet
  15. Managing Water Demand as a Regulated Open MAS
    Vicent Botti, Antonio Garrido, Adriana Giret, Pablo Noriega
  16. Open Interaction System Specification and Monitoring Using Semantic Web Technology
    Nicoletta Fornara
  17. SIOC Project: Semantically Interlinked Online Communities
    Uldis Bojars and Alexandre Passant
  18. Norms, Organisations and Semantic Web Services: The ALIVE approach
    Sergio Alvarez-Napagao, Owen Cliffe, Julian Padget, Javier Vazquez

    Formal Approaches to Multi-Agent Systems (FAMAS'09)

    Introductory Essay of FAMAS'09
    Barbara Dunin-Keplicz, Rineke Verbrugge

  19. Redistribution Mechanisms for the Assignment of Heterogeneous Objects
    Sujit Gujar, Y. Narahari
  20. Talking Your Way into Agreement: Belief Merge by Persuasive Communication
    Alexandru Baltag, Sonja Smets
  21. Comparing Strengths of Beliefs Explicitly
    Dick de Jongh, Sujata Ghosh
  22. Knowledge about Lights along a Line
    Francois Schwarzentruber
  23. Games for Learning: A Sabotage Approach
    Nina Gierasimczuk, Lena Kurzen, Fernando R. Velazquez-Queseda
  24. On the Incentive Compatible Core of a Procurement Network Game with Incomplete Information
    Chandrashekar T. Subramanyam, Y. Narahari
  25. Tableau-based Decision Procedure for the Full Coalitional Multiagent Logic of Branching Time
    Valentin Goranko, Dmitry Shkatov
  26. A Framework to Model Norm Dynamics in Answer Set Programming
    Sofia Panagiotidi, Juan Carlos Nieves, Javier Vazquez-Salceda

    LAnguages, methodologies and Development tools for multi-agent systemS (LADS'009)

    Introductory Essay of LADS'009
    Mehdi Dastani, Amal El Fallah Seghrouchni, João Leite, Paolo Torroni

  27. Detecting Exceptions in Commitment Protocols: Discovering Hidden States
    Ozgur Kafali, Pinar Yolum
  28. A Methodology for Developing Self-Explaining Agents for Virtual Training
    Maaike Harbers, Karel Van den Bosch, John-Jules Meyer
  29. An Integrated Semantics of Social Commitments and Associated Operations
    Jamal Bentahar, M El-Menshawy, R. Dssouli
  30. Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent Systems Programming
    Alessandro Ricci, Michele Piunti, Mirko Viroli
  31. Call Graph Profiling for Multi Agent Systems
    Dinh Doan Van Bien, David Lillis, Rem W. Collier
  32. ReSeagent: A Refactoring Tool for Plan Level Refactoring in MAS Development
    Ali Murat Tiryaki, Oguz Dikenelli
  33. Programming Social Middlewares through Social Interaction Types
    Juan Manuel Serrano, Sergio Saugar
  34. Temporal Planning in Dynamic Environments for P-CLAIM Agents
    Adnan Hashmi, Amal El Fallah Seghrouchni
  35. Agents Secure Interaction in Data driven Languages
    Mahdi Zargayouna, Balbo Flavien, Serge Haddad
  36. Executing Agent Plans by Reducing to Workflows
    Tayfun Gokmen Halac, Ovunc Cetin, Erdem Eser Ekinci, R. Cenk Erdur, Oguz Dikenelli
  37. The ARTS Real-Time Agent Architecture
    Konstantin Vikhorev, Natasha Alechina, Brian Logan

    Multi-Agent Systems and Simulation (MAS&S'09)

    Introductory Essay of MAS&S'09
    Giancarlo Fortino, Massimo Cossentino, Juan Pavón, Marie-Pierre Gleizes

  38. An Industry Use Case: Testing SOA Systems with MAS Simulators
    Pier-Giovanni Taranti, Carlos Jose Pereira de Lucena, Ricardo Choren
  39. Electricity Market (Virtual) Agents
    Paulo Trigo, Paulo Marques, Helder Coelho
  40. Users' Collaboration as a Driver for Reputation System Effectiveness: a Simulation Study
    Guido Boella, Marco Remondino, Gianluca Tornese
  41. Exploiting the easyABMS Methodology in the Logistics Domain
    Alfredo Garro, Wilma Russo
  42. Engineering Development of Agents using the Cooperative Behaviour of their Components
    Noélie Bonjean, Carole Bernon, Pierre Glize
  43. Simulation of Alternative Self-Organization Models for an Adaptive Environment
    Stefania Bandini, Andrea Bonomi, Giuseppe Vizzari, Vito Acconci
  44. Verification & Validation of Agent Based Simulations using the VOMAS (Virtual Overlay Multi-agent System) Approach
    Muaz Niazi, Amir Hussain, Mario Kolberg
  45. Agent based Modeling and Simulation of Multi-project Scheduling
    José Alberto Araúzo, Juan Pavón, Adolfo López Paredes and Javier Pajares
  46. Quick Prototyping and Simulation with the INGENIAS Agent Framework
    Jorge Gomez-Sanz, Carlos Rodríguez-Fernández and Juan Pavón
  47. Multiagent Simulation Model Design Strategies
    Franziska Klügl
22-Aug-2009: submitted by Matteo Baldoni
22-Aug-2009: published on CEUR-WS.org