Declarative Agent Languages and Technologies IX

>> Google Books

Declarative Agent Languages and Technologies IX / David Hutchison, Takeo Kanade

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2012

著者名:

ISBN:

9783642291128 [3642291120]
9783642291135 [3642291139]

書誌ID:

OB00352031

子書誌情報

フルテキスト

所蔵情報

書誌詳細

主題:

Information Technology - Artificial Intelligence

言語:

英語

目次情報:

DALT 2011 Papers

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 ; David Aspinall

Detecting Conflicts in Commitments / Akin Günay ; Pinar Yolum

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

Best of DALT

Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective

The Evolution of Interoperability / Amit K. Chopra ; Munindar P. Singh

1000 Years of Coo-BDI / Viviana Mascardi ; Davide Ancona

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

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

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

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

DALT Spring School 2011

Web Service Composition via Organisation-Based (Re)Planning / David Corsar ; Alison Chorley

Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification (Extended Abstract)

Author Index

DALT 2011 Papers

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 ; David Aspinall

Detecting Conflicts in Commitments / Akin Günay ; Pinar Yolum

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Declarative Agent Languages and Technologies IX Hutchison, David, Kanade, Takeo, Sardina, Sebastian, Vasconcelos, Wamberto, Winikoff, Michael SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Declarative Agent Languages and Technologies III Baldoni, Matteo, Endriss, Ulle, Kanade, Takeo, Omicini, Andrea, Torroni, Paolo SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
2 電子ブック Declarative Agent Languages and Technologies X Hutchison, David; Kanade, Takeo; Kittler, Josef; Vasconcelos, Wamberto Springer eBooks Computer Science, Springer Berlin Heidelberg	8 電子ブック Declarative Agent Languages and Technologies IV Baldoni, Matteo, Endriss, Ulle, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Declarative Agent Languages and Technologies X Hutchison, David; Kanade, Takeo; Kittler, Josef; Vasconcelos, Wamberto, Dennis, Louise, Mascardi, Viviana, Vasconcelos, … SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Declarative Agent Languages and Technologies VIII Omicini, Andrea, Kanade, Takeo, Sardina, Sebastian, Vasconcelos, Wamberto SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Declarative Agent Languages and Technologies IV Baldoni, Matteo, Endriss, Ulle, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	10 電子ブック Declarative Agent Languages and Technologies VII Baldoni, Matteo, Bentahar, Jamal, Kanade, Takeo, Lloyd, John, Riemsdijk, M. Birna Springer eBooks Computer Science, Springer Berlin Heidelberg
5 電子ブック Declarative Agent Languages and Technologies III Baldoni, Matteo, Endriss, Ulle, Kanade, Takeo, Omicini, Andrea, Torroni, Paolo Springer eBooks Computer Science, Springer Berlin / Heidelberg	11 電子ブック Declarative Agent Languages and Technologies VII Baldoni, Matteo, Bentahar, Jamal, Kanade, Takeo, Lloyd, John, Riemsdijk, M. Birna, van Riemsdijk, M. Birna SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Declarative Agent Languages and Technologies VIII Omicini, Andrea, Kanade, Takeo, Sardina, Sebastian, Vasconcelos, Wamberto Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Declarative Agent Languages and Technologies II International Workshop on Declarative Agent Languages and Technologies, Kanade, Takeo, Leite, Jo?o Alexandre, Omicini, … Springer eBooks Computer Science, Springer Berlin / Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12