1. A Real-Time Negotiation Model and A Multi-Agent Sensor Network Implementation

   • Carles Sierra
   • Liz Sonenberg

   OriginalPaper 09 June 2005 Pages: 5 - 6

2. Strategy/False-name Proof Protocols for Combinatorial Multi-Attribute Procurement Auction

   • Takayuki Suyama
   • Makoto Yokoo

   OriginalPaper 09 June 2005 Pages: 7 - 21

3. Evaluating a Computational Model of Emotion

   • Jonathan Gratch
   • Stacy Marsella

   OriginalPaper 09 June 2005 Pages: 23 - 43

4. Non-Monotonic-Offers Bargaining Protocol

   • Pinata Winoto
   • Gordon I. McCalla
   • Julita Vassileva

   OriginalPaper 09 June 2005 Pages: 45 - 67

5. Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic¹

   • Magdalena Kacprzak
   • Wojciech Penczek

   OriginalPaper 09 June 2005 Pages: 69 - 89

6. On the Communication Complexity of Multilateral Trading: Extended Report

   • Ulle Endriss
   • Nicolas Maudet

   OriginalPaper 09 June 2005 Pages: 91 - 107