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

@proceedings{DBLP:conf/ausai/1997w,
  editor    = {Wayne Wobcke and
               Maurice Pagnucco and
               Chengqi Zhang},
  title     = {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},
  booktitle = {Agents and Multi-Agent Systems Formalisms, Methodologies, and
               Applications},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1441},
  year      = {1998},
  isbn      = {3-540-64769-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Formal Models of Agency

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

Reasoning Agents

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

Communication and Coordination

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

Social Interaction

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

Practical Issues for DAI Systems

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