Ausgabe 1/2005
Inhalt (6 Artikel)
A Real-Time Negotiation Model and A Multi-Agent Sensor Network Implementation
Carles Sierra, Liz Sonenberg
Strategy/False-name Proof Protocols for Combinatorial Multi-Attribute Procurement Auction
Takayuki Suyama, Makoto Yokoo
Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1
Magdalena Kacprzak, Wojciech Penczek
On the Communication Complexity of Multilateral Trading: Extended Report
Ulle Endriss, Nicolas Maudet