|
" Declarative agent languages and technologies IX : "
Chiaki Sakama [and others] (eds.).
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
778155
|
| Doc. No
|
:
|
b598165
|
| Main Entry
|
:
|
Chiaki Sakama [and others] (eds.).
|
| Title & Author
|
:
|
Declarative agent languages and technologies IX : : 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised selected and invited papers\ Chiaki Sakama [and others] (eds.).
|
| Publication Statement
|
:
|
Berlin ; New York : Springer, ©2012.
|
| Series Statement
|
:
|
Lecture notes in computer science., Lecture notes in artificial intelligence ;, 7169.; Lecture notes in computer science.; LNCS sublibrary., SL 7,, Artificial intelligence.
|
| Page. NO
|
:
|
(xii, 151 pages)
|
| ISBN
|
:
|
3642291120
|
|
|
:
|
: 3642291139
|
|
|
:
|
: 9783642291128
|
|
|
:
|
: 9783642291135
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Declarative programming languages -- Congresses.
|
| Subject
|
:
|
Informatique.
|
| Subject
|
:
|
Intelligent agents (Computer software) -- Congresses.
|
| LC Classification
|
:
|
QA76.76.I58C453 2012
|
| Added Entry
|
:
|
Chiaki Sakama
|
| Parallel Title
|
:
|
Declarative agent languages and technologies 9; DALT 2011
|
| |