Declarative Agent Languages and Technologies IX: 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

Description

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. Front Matter....Pages - Control and Delegation....Pages 1-2 Plan Indexing for State-Based Plans....Pages 3-15 An Integrated Formal Framework for Reasoning about Goal Interactions....Pages 16-32 Probing Attacks on Multi-Agent Systems Using Electronic Institutions....Pages 33-50 Detecting Conflicts in Commitments....Pages 51-66 Formalizing Commitments Using Action Languages....Pages 67-83 Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective....Pages 84-89 The Evolution of Interoperability....Pages 90-94 1000 Years of Coo-BDI....Pages 95-101 A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective....Pages 102-110 Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages....Pages 111-116 Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review....Pages 117-119 A Retrospective on the Reactive Event Calculus and Commitment Modeling Language....Pages 120-127 Web Service Composition via Organisation-Based (Re)Planning....Pages 128-148 Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification....Pages 149-151 Back Matter....Pages -