Autonomous Agents and Multi-Agent Systems, Volume 3, 2000

Volume 3, Number 1, March 2000

Yves Demazeau: Guest Editorial: Best of ICMAS'98 - Part I. 5-7 BibTeX
Michael Wooldridge: Semantic Issues in the Verification of Agent Communication Languages. 9-31 BibTeX
Sunju Park, Edmund H. Durfee, William P. Birmingham: Emergent Properties of a Market-based Digital Library with Strategic Agents. 33-51 BibTeX
Fredrik Ygge, Hans Akkermans: Resource-Oriented Multicommodity Market Algorithms. 53-71 BibTeX
Tuomas Sandholm: Agents in Electronic Commerce: Component Technologies for Automated Negation and Coalition Formation. 73-96 BibTeX

Munindar P. Singh: Synthesizing Coordination Requirements for Heterogeneous Autonomous Agents. 107-132 BibTeX
Keith Decker, Jinjiang Li: Coordinating Mutually Exclusive Resources using GPGP. 133-157 BibTeX
Milind Tambe, Weixiong Zhang: Towards Flexible Teamwork in Persistent Teams: Extended Report. 159-183 BibTeX
Makoto Yokoo, Katsutoshi Hirayama: Algorithms for Distributed Constraint Satisfaction: A Review. 185-207 BibTeX

Magy Seif El-Nasr, John Yen, Thomas R. Ioerger: FLAME-Fuzzy Logic Adaptive Model of Emotions. 219-257 BibTeX
Klaus Schild: On the Relationship Between BDI Logics and Standard Logics of Concurrency. 259-283 BibTeX
Michael Wooldridge, Nicholas R. Jennings, David Kinny: The Gaia Methodology for Agent-Oriented Analysis and Design. 285-312 BibTeX

Piotr J. Gmytrasiewicz, Edmund H. Durfee: Rational Coordination in Multi-Agent Environments. 319-350 BibTeX
John Grant, Sarit Kraus, Donald Perlis: A Logic for Characterizing Multiple Bounded Agents. 351-387 BibTeX
H. Van Dyke Parunak: A Practitioners? Review of Industrial Agent Applications. 389-407 BibTeX