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

Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers

Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni (Herausgeber)

Buch | Softcover

X, 183 Seiten

2010 | 2010
Springer Berlin (Verlag)
978-3-642-13337-4 (ISBN)

Infos

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.

Inhalt

Agent 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.

Produkt-Details

• Erscheint lt. Verlag: 9.6.2010
• Reihe/Serie: Lecture Notes in Artificial Intelligence
• Reihe/Serie: Lecture Notes in Computer Science
• Zusatzinfo: X, 183 p. 40 illus.
• Verlagsort: Berlin
• Sprache: englisch
• Themenwelt: Mathematik / Informatik ► Informatik
• Themenwelt: Studium ► Querschnittsbereiche ► Infektiologie / Immunologie
• Schlagworte: accessibility relations • agent reasoning • Ambient Intelligence • AOP Languages • Declarative Languages • electronic contracting • Electronic institutions • FIPA-ACL • grid computing • LA • Model Checking • Multi-agent • multi-agent system • Pervasive Computing • security • sema • Semantics • semantic web • social middleware • temporal planning • two and three party operations • Web-based • Web Services
• ISBN-10: 3-642-13337-1 / 3642133371
• ISBN-13: 978-3-642-13337-4 / 9783642133374
• Zustand: Neuware