Declarative Agent Languages and Technologies IX

by Sakama, Chiaki; Sardina, Sebastian; Vasconcelos, Wamberto; Winikoff, Michael

• ISBN13: 9783642291128
• ISBN10: 3642291120
• Format: Paperback
• Copyright: 2012-03-27
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the thoroughly refereed post-proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies, DALT 2011, held in Taipei, Taiwan, in May 2011. The volume contains 6 revised selected presented at DALT 2011, 7 best papers from the DALT series over the years, explaining how the research developed and how it influenced and impacted the community, the state-of-the-art and subsequent work, and two invited papers from the DALT Spring School, which took place in April 2011.

Table of Contents

DALT 2011 Papers
Control and Delegation	p. 1
Plan Indexing for State-Based Plans	p. 3
An Integrated Formal Framework for Reasoning about Goal Interactions	p. 16
Probing Attacks on Multi-Agent Systems Using Electronic Institutions	p. 33
Detecting Conflicts in Commitments	p. 51
Formalizing Commitments Using Action Languages	p. 67
Best of DALT
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective	p. 84
The Evolution of Interoperability	p. 90
1000 Years of Coo-BDI	p. 95
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective	p. 102
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages	p. 111
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review	p. 117
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language	p. 120
DALT Spring School 2011
Web Service Composition via Organisation-Based (Re)Planning	p. 128
Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification (Extended Abstract)	p. 149
Author Index	p. 153
Table of Contents provided by Ingram. All Rights Reserved.