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