ISBN: 3-540-64769-4
TITLE: Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications
AUTHOR: Wobcke, Wayne; Pagnucco, Maurice; Zhang, Chengqi (Eds.)
TOC:

Formal Models of Agency 
Specifying Communicative Multi-Agent Systems (Invited Paper) 1 
Steven Shapiro, Yves Lesprance and Hector J. Levesque 
Making it Up as they Go along: A Theory of Reactive 
Cooperation (Invited Paper) 15 
Michael Wooldridge and Afsaneh Haddadi 
Agency and the Logic of Ability 31 
Wayne Wobcke 
On the Relation between Interpreted Systems and Kripke 
Models 46 
Alessio Lomuscio and Mark Ryan 
Reasoning Agents 
Disjunctive Logic Programming and Possible Model Semantics 
(Invited Paper) 60 
Li-Yan Yuan, Jia-Huai You and Randy Goebel 
A Non-monotonic ATMS Based on Annotated Logic Programs 
with Strong Negation 79 
Kazumi Nakamatsu and Atsuyuki Suzuki 
Switching between Reasoning and Search 94 
Greg Gibbon and Janet Aisbett 
Communication and Coordination 
The Social Dimension of Interactions in Multiagent Systems 109 
Bernard Moulin 
Generating States of Joint Commitment between Autonomous 
Agents 123 
Timothy J. Norman and Nicholas R. Jennings 
Social Co-ordination among Autonomous Problem-Solving 
Agents 134 
Sascha Ossowski and Ana Garca-Serrano 
An Algorithm for Plan Verification in Multiple Agent Systems 149 
Chengqi Zhang and Yuefeng Li 
Social Interaction 
A Framework for Coordination and Learning among Teams of 
Agents 164 
Hung Hai Bui, Svetha Venkatesh and Dorota Kieronska 
An Iterated Hawk-and-Dove Game 179 
Bengt Carlsson and Stefan Johansson 
A Game-Theoretic Solution of Conflicts among Competitive 
Agents 193 
Satoru Yoshida, Nobuhiro Inuzuka, Tin Tin Naing, Hirohisa Seki and 
Hidenori Itoh 
Practical Issues for DAI Systems 
Transformation between the EMYCIN Model and the
Bayesian Network 205 
Chengqi Zhang and Xudong Luo 
Using Multi-agent Approach for the Design of an Intelligent 
Learning Environment 220 
Dong Mei Zhang, Leila Alem and Kalina Yacef 
A Case-Based Strategy for Solution Synthesis among 
Cooperative Expert Systems 231 
Minjie Zhang 
Author Index 241 
END
