Volume 11, Numbers 1-2, March & June 2002 Regular Papers
Catholijn M. Jonker
, Jan Treur
: Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness.
Volume 11, Number 3 & 4, September/December 2002
Information Agents and Mobile Computing
Applications and Systems
Issues of Trading Information Agents
Issues of Collaboration Among Information Agents
: Optimal Bidding in Multiple Concurrent Auctions.