Declarative Agent Languages and Technologies IX

9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers

  • Chiaki Sakama
  • Sebastian Sardina
  • Wamberto Vasconcelos
  • Michael Winikoff
Conference proceedings DALT 2011

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7169)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 7169)

Table of contents

  1. Front Matter
  2. DALT 2011 Papers

    1. Wiebe van der Hoek
      Pages 1-2
    2. Louise A. Dennis
      Pages 3-15
    3. Shahriar Bijani, David Robertson, David Aspinall
      Pages 33-50
    4. Akın Günay, Pınar Yolum
      Pages 51-66
    5. Tran Cao Son, Enrico Pontelli, Chiaki Sakama
      Pages 67-83
  3. Best of DALT

    1. Amit K. Chopra, Munindar P. Singh
      Pages 90-94
    2. Viviana Mascardi, Davide Ancona
      Pages 95-101
    3. Andrés García-Camino, Juan-Antonio Rodríguez-Aguilar, Carles Sierra, Wamberto W. Vasconcelos
      Pages 102-110
    4. Paolo Torroni, Federico Chesani, Paola Mello, Marco Montali
      Pages 120-127
  4. DALT Spring School 2011

    1. David Corsar, Alison Chorley, Wamberto W. Vasconcelos
      Pages 128-148
  5. Back Matter

About these proceedings


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

Editors and affiliations

  • Chiaki Sakama
    • 1
  • Sebastian Sardina
    • 2
  • Wamberto Vasconcelos
    • 3
  • Michael Winikoff
    • 4
  1. 1.Department of computer and Communication SciencesWakayama UniversityWakayamaJapan
  2. 2.School of Computer Science and Information TechnologyRMIT UniversityMelbourneAustralia
  3. 3.Department of Computing ScienceUniversity of AberdeenAberdeenUK
  4. 4.Department of Information ScienceUniversity of OtagoDunedinNew Zealand

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-29112-8
  • Online ISBN 978-3-642-29113-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site