Intelligent agents : specification, modeling, and applications : 4th Pacific Rim International Workshop on Muli-Agents, PRIMA 2001, Taipei, Taiwan, July 2001 : proceedings / Soe-Tsyr Yuan, Makoto Yokoo (eds.)
The Role of Castes in Formal Specification of MAS / Hong Zhu -- A Truly Concurrent Model for Interacting Agents / Wieke de Vries, Frank S. de Boer and Wiebe van der Hoek / [and others] -- Reliable Agent Computation: An Algebraic Approach / David Kinny -- An Argument-Based Agent System with KQML as an Agent Communication Language / Yoshirou Toda, Masashi Yamashita and Hajime Sawamura -- On Fairness in an Alternating-Offers Bargaining Model with Evolutionary Agents / Norberto Eiji Nawa, Katsunori Shimohara and Osamu Katai -- Sealed Bid Multi-object Auctions with Necessary Bundles and Its Application to Spectrum Auctions / Tomomi Matsui and Takahiro Watanabe -- Strategic Multi-Personal-Agent Interaction / Aizhong (Alan) Lin
Summary
This book constitutes the refereed proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, PRIMA 2001, held in Taipei, Taiwan in July 2001. The 16 revised full papers presented were carefully reviewed and selected from 41 submissions. The book offers topical sections on specification, modeling, and applications
