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

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

Paperback(2012)

$59.99
Eligible for FREE SHIPPING
  • Want it by Wednesday, October 24  Order now and choose Expedited Shipping during checkout.

Overview

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

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.

Product Details

ISBN-13: 9783642291128
Publisher: Springer Berlin Heidelberg
Publication date: 03/27/2012
Series: Lecture Notes in Computer Science , #7169
Edition description: 2012
Pages: 153
Product dimensions: 6.10(w) x 9.25(h) x 0.03(d)

Table of Contents

DALT 2011 Papers

Control and Delegation Wiebe van der Hoek 1

Plan Indexing for State-Based Plans Louise A. Dennis 3

An Integrated Formal Framework for Reasoning about Goal Interactions Michael Winikoff 16

Probing Attacks on Multi-Agent Systems Using Electronic Institutions Shahriar Bijani David Robertson David Aspinall 33

Detecting Conflicts in Commitments Akin Günay Pinar Yolum 51

Formalizing Commitments Using Action Languages Tran Cao Son Enrico Pontelli Chiaki Sakama 67

Best of DALT

Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective David Robertson 84

The Evolution of Interoperability Amit K. Chopra Munindar P. Singh 90

1000 Years of Coo-BDI Viviana Mascardi Davide Ancona 95

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 102

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 111

Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review Nicoletta Fornara Marco Colombetti 117

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language Paolo Torroni Federico Chesani Paola Mello Marco Montali 120

DALT Spring School 2011

Web Service Composition via Organisation-Based (Re)Planning David Corsar Alison Chorley Wamberto W. Vasconcelos 128

Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification (Extended Abstract) Rafael H. Bordini 149

Author Index 153

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews