close
1.

電子ブック
ＥＢ
1. Engineering Societies in the Agents World V
ESAW 2004, Marie-Pierre Gleizes, Takeo Kanade, Andrea Omicini, Franco Zambonelli
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Declarative Agent Languages and Technologies II
International Workshop on Declarative Agent Languages and Technologies, Takeo Kanade, Jo?o Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Declarative Agent Languages and Technologies III
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Andrea Omicini, Paolo Torroni
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
4.

電子ブック
ＥＢ
4. Declarative Agent Languages and Technologies VIII
Andrea Omicini, Takeo Kanade, Sebastian Sardina, Wamberto Vasconcelos
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Communication, Coordination and Negotiation
Query-Driven Coordination of Multiple Answer Sets / Gauvain Bourgne ; Katsumi Inoue
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
A Deduction System for Meaning Negotiation / Elisa Burato ; Matteo Cristani ; Luca Viganò
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems / Louise A. Dennis ; Michael Fisher ; Nicholas K. Lincoln ; Alexei Lisitsa ; Sandor M. Veres
Executing Specifications of Social Reasoning Agents / Iain Wallace ; Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels / Yanjing Wang ; Floor Sietsma ; Jan van Eijck
Distributed Abductive Reasoning with Constraints / Jiefei Ma ; Krysia Broda ; Alessandra Russo ; Emil Lupu
Understanding Permissions through Graphical Norms / Nir Oren ; Madalina Croitoru ; Simon Miles ; Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Author Index
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
5.

電子ブック
ＥＢ
5. Declarative Agent Languages and Technologies II
International Workshop on Declarative Agent Languages and Technologies, Takeo Kanade, João Alexandre Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum, João Leite
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. Declarative Agent Languages and Technologies III
Matteo Baldoni, Ulle Endriss, Takeo Kanade, Andrea Omicini, Paolo Torroni
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2006
所蔵情報: loading…
7.

電子ブック
ＥＢ
7. Declarative Agent Languages and Technologies VIII
Andrea Omicini, Takeo Kanade, Sebastian Sardina, Wamberto Vasconcelos
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2011
所蔵情報: loading…
目次情報: 続きを見る
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
Communication, Coordination and Negotiation
Query-Driven Coordination of Multiple Answer Sets / Gauvain Bourgne ; Katsumi Inoue
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS / Matteo Baldoni ; Cristina Baroglio ; Elisa Marengo
A Deduction System for Meaning Negotiation / Elisa Burato ; Matteo Cristani ; Luca Viganò
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems / Louise A. Dennis ; Michael Fisher ; Nicholas K. Lincoln ; Alexei Lisitsa ; Sandor M. Veres
Executing Specifications of Social Reasoning Agents / Iain Wallace ; Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels / Yanjing Wang ; Floor Sietsma ; Jan van Eijck
Distributed Abductive Reasoning with Constraints / Jiefei Ma ; Krysia Broda ; Alessandra Russo ; Emil Lupu
Understanding Permissions through Graphical Norms / Nir Oren ; Madalina Croitoru ; Simon Miles ; Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction / Mohamed El-Menshawy ; Jamal Bentahar ; Rachida Dssouli
Author Index
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems / John Thangarajah ; James Harland ; David Morley ; Neil Yorke-Smith
BDI Agents with Objectives and Preferences / Aniruddha Dasgupta ; Aditya K. Ghose
8.

電子ブック
ＥＢ
8. Engineering Societies in the Agents World V
ESAW 2004, Marie-Pierre Gleizes, Takeo Kanade, Andrea Omicini, Franco Zambonelli
出版情報: SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼