Advertisement

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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-29113-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • 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