Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications 1997 (AI 1997 Workshops)

Wayne Wobcke, Maurice Pagnucco, Chengqi Zhang (Eds.): Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, Based on the AI'97 Workshops on Commonsense Reasoning, Intelligent Agents, and Distributed Artificial Intelligence, Perth, Australia, December 1, 1997. Lecture Notes in Computer Science 1441 Springer 1998, ISBN 3-540-64769-4

Formal Models of Agency

Steven Shapiro, Yves Lespérance, Hector J. Levesque:
Specifying Communicative Multi-Agent Systems (Invited Paper). 1-14
Michael Wooldridge, Afsaneh Haddadi:
Making it Up as they Go along: A Theory of Reactive Cooperation (Invited Paper). 15-30
Wayne Wobcke:
Agency and the Logic of Ability. 31-45
Alessio Lomuscio, Mark Ryan:
On the Relation between Interpreted Systems and Kripke Models. 46-59

Reasoning Agents

Li-Yan Yuan, Jia-Huai You, Randy Goebel:
Disjunctive Logic Programming and Possible Model Semantics (Invited Paper). 60-78
Kazumi Nakamatsu, Atsuyuki Suzuki:
A Non-monotonic ATMS Based on Annotated Logic Programs with Strong Negation. 79-93
Greg Gibbon, Janet Aisbett:
Switching between Reasoning and Search. 94-108

Communication and Coordination

Bernard Moulin:
The Social Dimension of Interactions in Multiagent Systems. 109-123
Timothy J. Norman, Nicholas R. Jennings:
Generating States of Joint Commitment between Autonomous Agents. 123-133
Sascha Ossowski, Ana García-Serrano:
Social Co-ordination among Autonomous Problem-Solving Agents. 134-148
Chengqi Zhang, Yuefeng Li:
An Algorithm for Plan Verification in Multiple Agent Systems. 149-163

Social Interaction

Hung Hai Bui, Svetha Venkatesh, Dorota H. Kieronska:
A Framework for Coordination and Learning among Teams of Agents. 164-178
Bengt Carlsson, Stefan J. Johansson:
An Iterated Hawk-and-Dove Game. 179-192
Satoru Yoshida, Nobuhiro Inuzuka, Tin Tin Naing, Hirohisa Seki, Hidenori Itoh:
A Game-Theoretic Solution of Conflicts among Competitive Agents. 193-204

Practical Issues for DAI Systems

Chengqi Zhang, Xudong Luo:
Transformation between the EMYCIN Model and the Bayesian Network. 205-220
Dong Mei Zhang, Leila Alem, Kalina Yacef:
Using Multi-agent Approach for the Design of an Intelligent Learning Environment. 221-230
Minjie Zhang:
A Case-Based Strategy for Solution Synthesis among Cooperative Expert Systems. 231-240