عنوان

Declarative agent languages and technologies IX :

(Number (ISBN

3642291120

(Number (ISBN

3642291139

(Number (ISBN

9783642291128

(Number (ISBN

9783642291135

Number

b598165

Title Proper

Declarative agent languages and technologies IX :

General Material Designation

[Book]

Other Title Information

9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers

First Statement of Responsibility

Chiaki Sakama [and others] (eds.).

Place of Publication, Distribution, etc.

Berlin ; New York

Name of Publisher, Distributor, etc.

Springer

Date of Publication, Distribution, etc.

©2012.

Specific Material Designation and Extent of Item

(xii, 151 pages)

Series Title

Lecture notes in computer science., Lecture notes in artificial intelligence ;, 7169.; Lecture notes in computer science.; LNCS sublibrary., SL 7,, Artificial intelligence.

Text of Note

Control and Delegation / Wiebe van der Hoek --; Plan Indexing for State-Based Plans / Louise A. Dennis --; An Integrated Formal Framework for Reasoning about Goal Interactions / Michael Winikoff --; Probing Attacks on Multi-Agent Systems Using Electronic Institutions / Shahriar Bijani, David Robertson and David Aspinall --; Detecting Conflicts in Commitments / Akın Günay and Pınar Yolum --; Formalizing Commitments Using Action Languages / Tran Cao Son, Enrico Pontelli and Chiaki Sakama --; Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective / David Robertson --; The Evolution of Interoperability / Amit K. Chopra and Munindar P. Singh --; 1000 Years of Coo-BDI / Viviana Mascardi and Davide Ancona --; A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective / Andrés García-Camino, Juan-Antonio Rodríguez-Aguilar, Carles Sierra and Wamberto W. Vasconcelos --; Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages / Álvaro F. Moreira, Renata Vieira and Rafael H. Bordini --; Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review / Nicoletta Fornara and Marco Colombetti --; A Retrospective on the Reactive Event Calculus and Commitment Modeling Language / Paolo Torroni, Federico Chesani, Paola Mello and Marco Montali --; Web Service Composition via Organisation-Based (Re)Planning / David Corsar, Alison Chorley and Wamberto W. Vasconcelos --; Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification / Extended Abstract for a Course at DALT Spring School 2011 / Rafael H. Bordini.

Text of Note

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

Parallel Title

Declarative agent languages and technologies 9; DALT 2011

Declarative programming languages -- Congresses.

Informatique.

Intelligent agents (Computer software) -- Congresses.

Class number

Book number

Chiaki Sakama [and others] (eds.).

Chiaki Sakama

Electronic name

[Book]

Y