عنوان

Declarative agent languages and technologies IX :

شابک

3642291120

شابک

3642291139

شابک

9783642291128

شابک

9783642291135

شماره

b598165

عنوان اصلي

Declarative agent languages and technologies IX :

نام عام مواد

[Book]

ساير اطلاعات عنواني

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

نام نخستين پديدآور

Chiaki Sakama [and others] (eds.).

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

©2012.

نام خاص و کميت اثر

(xii, 151 pages)

عنوان فروست

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

متن يادداشت

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.

متن يادداشت

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.

عنوان اصلي به زبان ديگر

Declarative agent languages and technologies 9; DALT 2011

موضوع مستند نشده

Declarative programming languages -- Congresses.

موضوع مستند نشده

Informatique.

موضوع مستند نشده

Intelligent agents (Computer software) -- Congresses.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Chiaki Sakama [and others] (eds.).

مستند نام اشخاص تاييد نشده

Chiaki Sakama

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y