Languages, Methodologies, and Development Tools for Multi-Agent Systems

1. Front Matter

   PDF

2. Agent Architectures

   1. The ARTS Real-Time Agent Architecture

      • Konstantin Vikhorev, Natasha Alechina, Brian Logan

      Pages 1-15

   2. Reducing Agent Plans to Workflows

      • Tayfun Gokmen Halaç, Övünç Çetin, Erdem Eser Ekinci, Rıza Cenk Erdur, Oğuz Dikenelli

      Pages 16-34

3. Agent Programming Languages and Methodologies

   1. Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming

      • Alessandro Ricci, Michele Piunti, Mirko Viroli

      Pages 35-54

   2. Temporal Planning in Dynamic Environments for P-CLAIM Agents

      • Muhammad Adnan Hashmi, Amal El Fallah Seghrouchni

      Pages 55-71

   3. Data Driven Language for Agents Secure Interaction

      • Mahdi Zargayouna, Flavien Balbo, Serge Haddad

      Pages 72-91

   4. Programming Social Middleware through Social Interaction Types

      • Juan Manuel Serrano, Sergio Saugar

      Pages 92-111

4. Social Interaction Models

   1. Detecting Exceptions in Commitment Protocols: Discovering Hidden States

      • Özgür Kafalı, Pınar Yolum

      Pages 112-127

   2. Verifiable Semantic Model for Agent Interactions Using Social Commitments

      • Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssouli

      Pages 128-152

5. Development Tools for Multi-agent Systems

   1. Call Graph Profiling for Multi Agent Systems

      • Dinh Doan Van Bien, David Lillis, Rem W. Collier

      Pages 153-167

6. Applications

   1. A Methodology for Developing Self-explaining Agents for Virtual Training

      • Maaike Harbers, Karel van den Bosch, John-Jules Meyer

      Pages 168-182

7. Back Matter

   PDF

This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7–9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical and practical issues related to developing and deploying multi-agent systems. It constituted a rich forum where leading researchers from both academia and industry could share their experiencesonformalapproaches,programminglanguages,methodologies, tools andtechniques supporting the developmentanddeploymentof multi-agent systems.Fromatheoreticalpointofview,LADS2009aimedataddressingissues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability andveri?cation.Formaldeclarativemodelsandapproacheshavethe potentialof o?ering solutions for the speci?cation and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and d- cussion on how multi-agent system speci?cations and designs can be e?ectively implemented and tested. This book is the result of a strict selection and review process. From 14 papers originally submitted to LADS 2009, and after 2 rounds of reviews, we selected 10 high-quality papers covering important topics related to multi-agent programming technology, such as: agent architectures, programming languages andmethodologies,socialinteractionmodels,developmenttoolsandapplications of multi-agent systems.

• AOP Languages
• LA
• Multi-agent system
• accessibility relations
• agent reasoning
• ambient intelligence
• declarative languages
• electronic contracting
• electronic institutions
• grid computing
• model checking
• multi-agent
• pervasive computing
• security
• sema

• Intelligent Systems Group, Utrecht University, Utrecht, The Netherlands

  Mehdi Dastani

• LIP6, University Pierre and Marie Curie, Paris, France

  Amal El Fallah Segrouchni

• Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

  João Leite

• DEIS, University of Bologna, Bologna, Italy

  Paolo Torroni

Policies and ethics