Declarative Agent Languages and Technologies VI

>> Google Books

Declarative Agent Languages and Technologies VI / Matteo Baldoni, M. Birna Riemsdijk, J?rg Siekmann, Tran Cao Son, Michael Winikoff

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2009

著者名:

ISBN:

9783540939191 [3540939199]
9783540939207 [3540939202]

書誌ID:

OB00354114

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

DECLARATIVE AGENT LANGUAGES & TECHNOLOGIES VI

主題:

Information Technology - Artificial Intelligence

言語:

英語

目次情報:

Invited Papers

Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti

Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield

A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; AntÃ´nio Carlos da Rocha Costa

Contributed Papers

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen

Combining Multiple Knowledge Representation Technologies into Agent Programming Languages / Mehdi M. Dastani ; Koen V. Hindriks ; Peter NovÃ¡k ; Nick A.M. Tinnemeier

Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions / Dimitar P. Guelev ; Catalin Dima

JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies / Thomas Klapiscak

Leveraging New Plans in AgentSpeak(PL) / Felipe Meneguzzi ; Michael Luck

Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading / Azzurra Ragone ; Tommaso Di Noia ; Eugenio Di Sciascio ; Francesco M. Donini

Inductive Negotiation in Answer Set Programming / Chiaki Sakama

Mental State Abduction of BDI-Based Agents / Michal P. Sindlar ; Frank Dignum ; John-Jules Ch. Meyer

Iterated Belief Revision in the Face of Uncertain Communication / Yoshitaka Suzuki ; Satoshi Tojo ; Stijn De Saeger

Abstracting and Verifying Strategy-Proofness for Auction Mechanisms / Emmanuel M. Tadjouddine ; Frank Guerin ; Wamberto Vasconcelos

Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / M. Birna van Riemsdijk

Strategic Agent Communication: An Argumentation-Driven Approach / Jamal Bentahar ; Mohamed Mbarki ; Bernard Moulin

Author Index

Invited Papers

Specifying and Enforcing Norms in Artificial Institutions / Nicoletta Fornara ; Marco Colombetti

Social Norm Emergence in Virtual Agent Societies / Bastin Tony Roy Savarimuthu ; Maryam Purvis ; Martin Purvis ; Stephen Cranefield

A Distributed Normative Infrastructure for Situated Multi-agent Organisations / Fabio Y. Okuyama ; Rafael H. Bordini ; AntÃ´nio Carlos da Rocha Costa

Contributed Papers

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications / Jan Broersen

続きを見る

東工大ブックレビュー

類似資料:

1 電子ブック Declarative Agent Languages and Technologies V Baldoni, Matteo, Riemsdijk, M. Birna, Siekmann, J?rg, Son, Tran Cao, Winikoff, Michael Springer eBooks Computer Science, Springer Berlin Heidelberg	7 電子ブック Declarative Agent Languages and Technologies III Baldoni, Matteo, Endriss, Ulle, Kanade, Takeo, Omicini, Andrea, Torroni, Paolo Springer eBooks Computer Science, Springer Berlin / Heidelberg
2 電子ブック Declarative Agent Languages and Technologies VI Baldoni, Matteo, Riemsdijk, M. Birna, Siekmann, Jörg, Son, Tran Cao, Winikoff, Michael, van Riemsdijk, Birna SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	8 電子ブック Declarative Agent Languages and Technologies III Baldoni, Matteo, Endriss, Ulle, Kanade, Takeo, Omicini, Andrea, Torroni, Paolo SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg
3 電子ブック Declarative Agent Languages and Technologies V Baldoni, Matteo, Riemsdijk, M. Birna, Siekmann, Jörg, Son, Tran Cao, Winikoff, Michael, van Riemsdijk, M. Birna SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	9 電子ブック Declarative Agent Languages and Technologies IV Baldoni, Matteo, Endriss, Ulle, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック 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	10 電子ブック Declarative Agent Languages and Technologies IX Hutchison, David, Kanade, Takeo, Sardina, Sebastian, Vasconcelos, Wamberto, Winikoff, Michael SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 電子ブック Declarative Agent Languages and Technologies VII Baldoni, Matteo, Bentahar, Jamal, Kanade, Takeo, Lloyd, John, Riemsdijk, M. Birna Springer eBooks Computer Science, Springer Berlin Heidelberg	11 電子ブック Practical Aspects of Declarative Languages Pontelli, Son, Tran Cao SpringerLink Books - AutoHoldings, Springer International Publishing
6 電子ブック Declarative Agent Languages and Technologies IV Baldoni, Matteo, Endriss, Ulle, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック PRIMA 2016: Principles and Practice of Multi-Agent Systems Baldoni, Matteo, Chopra, Amit K., Hirayama, Katsutoshi, Son, Tran Cao, Torroni, Paolo SpringerLink Books - AutoHoldings, Springer International Publishing

1

2

3

4

5

6

7

8

9

10

11

12