Declarative Agent Languages and Technologies IX

1. Front Matter

   PDF

2. DALT 2011 Papers

   1. Control and Delegation

      • Wiebe van der Hoek

      Pages 1-2

   2. Plan Indexing for State-Based Plans

      • Louise A. Dennis

      Pages 3-15

   3. An Integrated Formal Framework for Reasoning about Goal Interactions

      • Michael Winikoff

      Pages 16-32

   4. Probing Attacks on Multi-Agent Systems Using Electronic Institutions

      • Shahriar Bijani, David Robertson, David Aspinall

      Pages 33-50

   5. Detecting Conflicts in Commitments

      • Akın Günay, Pınar Yolum

      Pages 51-66

   6. Formalizing Commitments Using Action Languages

      • Tran Cao Son, Enrico Pontelli, Chiaki Sakama

      Pages 67-83

3. Best of DALT

   1. Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective

      • David Robertson

      Pages 84-89

   2. The Evolution of Interoperability

      • Amit K. Chopra, Munindar P. Singh

      Pages 90-94

   3. 1000 Years of Coo-BDI

      • Viviana Mascardi, Davide Ancona

      Pages 95-101

   4. A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective

      • Andrés García-Camino, Juan-Antonio Rodríguez-Aguilar, Carles Sierra, Wamberto W. Vasconcelos

      Pages 102-110

   5. Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages

      • Álvaro F. Moreira, Renata Vieira, Rafael H. Bordini

      Pages 111-116

   6. Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review

      • Nicoletta Fornara, Marco Colombetti

      Pages 117-119

   7. A Retrospective on the Reactive Event Calculus and Commitment Modeling Language

      • Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali

      Pages 120-127

4. DALT Spring School 2011

   1. Web Service Composition via Organisation-Based (Re)Planning

      • David Corsar, Alison Chorley, Wamberto W. Vasconcelos

      Pages 128-148

   2. Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification

      • Rafael H. Bordini

      Pages 149-151

5. Back Matter

   PDF

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.

• declarative formalisms
• interaction models
• multi-agent systems
• verification techniques
• virtual agents

• Department of computer and Communication Sciences, Wakayama University, Wakayama, Japan

  Chiaki Sakama

• School of Computer Science and Information Technology, RMIT University, Melbourne, Australia

  Sebastian Sardina

• Department of Computing Science, University of Aberdeen, Aberdeen, UK

  Wamberto Vasconcelos

• Department of Information Science, University of Otago, Dunedin, New Zealand

  Michael Winikoff

Policies and ethics