Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

✍ Scribed by Konstantin Vikhorev, Natasha Alechina, Brian Logan (auth.), Mehdi Dastani, Amal El Fallah Segrouchni, João Leite, Paolo Torroni (eds.)

• Publisher: Springer-Verlag Berlin Heidelberg
• Year: 2010
• Tongue: English
• Leaves: 192
• Series: Lecture Notes in Computer Science 6039 : Lecture Notes in Artificial Intelligence
• Edition: 1
• Category: Library

✦ Synopsis

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.

✦ Table of Contents

Front Matter....Pages -
The ARTS Real-Time Agent Architecture....Pages 1-15
Reducing Agent Plans to Workflows....Pages 16-34
Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming....Pages 35-54
Temporal Planning in Dynamic Environments for P-CLAIM Agents....Pages 55-71
Data Driven Language for Agents Secure Interaction....Pages 72-91
Programming Social Middleware through Social Interaction Types....Pages 92-111
Detecting Exceptions in Commitment Protocols: Discovering Hidden States....Pages 112-127
Verifiable Semantic Model for Agent Interactions Using Social Commitments....Pages 128-152
Call Graph Profiling for Multi Agent Systems....Pages 153-167
A Methodology for Developing Self-explaining Agents for Virtual Training....Pages 168-182
Back Matter....Pages -

✦ Subjects

Artificial Intelligence (incl. Robotics); Simulation and Modeling; Models and Principles; Information Systems Applications (incl.Internet); Antibodies