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 experiences on formal approaches, programming languages, methodologies, tools and techniques supporting the development and deployment of multi-agent systems. From a theoretical point of view, LADS 2009 aimed at addressing issues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability and verification. Formal declarative models and approaches have the potential of offering solutions for the specification and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and dis- cussion on how multi-agent system specifications and designs can be effectively 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 and methodologies, social interaction models, development tools and applications of multi-agent systems.

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

TORRONI, PAOLO
2010

Abstract

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 experiences on formal approaches, programming languages, methodologies, tools and techniques supporting the development and deployment of multi-agent systems. From a theoretical point of view, LADS 2009 aimed at addressing issues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability and verification. Formal declarative models and approaches have the potential of offering solutions for the specification and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and dis- cussion on how multi-agent system specifications and designs can be effectively 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 and methodologies, social interaction models, development tools and applications of multi-agent systems.
193
9783642133374
M. Dastani; A. El-fallah Seghrouchni; J. Leite; P. Torroni
File in questo prodotto:
Eventuali allegati, non sono esposti

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11585/94960
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact