|
|
|||
|
||||
OverviewThis 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. Full Product DetailsAuthor: Mehdi Dastani , Amal El Fallah Seghrouchni , Joao Leite , Paolo TorroniPublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 2010 ed. Volume: 6039 Dimensions: Width: 15.20cm , Height: 1.00cm , Length: 23.40cm Weight: 0.305kg ISBN: 9783642133374ISBN 10: 3642133371 Pages: 183 Publication Date: 09 June 2010 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsAgent Architectures.- The ARTS Real-Time Agent Architecture.- Reducing Agent Plans to Workflows.- Agent Programming Languages and Methodologies.- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming.- Temporal Planning in Dynamic Environments for P-CLAIM Agents.- Data Driven Language for Agents Secure Interaction.- Programming Social Middleware through Social Interaction Types.- Social Interaction Models.- Detecting Exceptions in Commitment Protocols: Discovering Hidden States.- Verifiable Semantic Model for Agent Interactions Using Social Commitments.- Development Tools for Multi-agent Systems.- Call Graph Profiling for Multi Agent Systems.- Applications.- A Methodology for Developing Self-explaining Agents for Virtual Training.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |