Skip to main content
SpringerLink
Log in

Declarative Agent Languages and Technologies IX

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

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Chiaki Sakama

    1. Department of computer and Communication Sciences, Wakayama University, Wakayama, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Sebastian Sardina

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Wamberto Vasconcelos

    1. Department of Computing Science, University of Aberdeen, Aberdeen, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Michael Winikoff

    1. Department of Information Science, University of Otago, Dunedin, New Zealand

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: DALT 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

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

    Download chapter PDF
Back to top

Other volumes

  1. Declarative Agent Languages and Technologies IX

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation