Autonomous Agents and Multi-Agent Systems
, Volume 19, 2009
Volume 19, Number 1, August 2009
Rineke Verbrugge
,
Barbara Dunin-Keplicz
:
Formal approaches to multi-agent sysems.
1-3
Koen V. Hindriks
,
John-Jules Ch. Meyer
:
Toward a programming theory for rational agents.
4-29
Nico Roos
,
Cees Witteveen
:
Models and methods for plan diagnosis.
30-52
Mehmet A. Orgun
,
Guido Governatori
,
Chuchang Liu
:
Modal tableaux for verifying stream authentication protocols.
53-75
Wouter Teepe
:
On BAN logic and hash functions or: how an unjustified inference rule causes problems.
76-88
Volume 19, Number 2, October 2009
Marius-Calin Silaghi
,
Makoto Yokoo
:
ADOPT-ing: unifying asynchronous distributed optimization with asynchronous backtracking.
89-123
Wamberto Weber Vasconcelos
,
Martin J. Kollingbaum
,
Timothy J. Norman
:
Normative conflict resolution in multi-agent systems.
124-152
Yoram Bachrach
,
Ariel Parnes
,
Ariel D. Procaccia
,
Jeffrey S. Rosenschein
:
Gossip-based aggregation of trust in decentralized reputation systems.
153-172
Elizabeth Black
,
Anthony Hunter
:
An inquiry dialogue system.
173-209
Ettore Ferranti
,
Niki Trigoni
,
Mark Levene
:
Rapid exploration of unknown areas through dynamic deployment of mobile and stationary sensor nodes.
210-243
Copyright ©
Tue Nov 24 20:43:29 2009 by
Michael Ley
(
ley@uni-trier.de
)