1. Formal approaches to multi-agent sysems

   • Rineke Verbrugge
   • Barbara Dunin-Kȩplicz

   EditorialNotes Open access 07 November 2008 Pages: 1 - 3

2. Toward a programming theory for rational agents

   • K. V. Hindriks
   • J.-J. Ch. Meyer

   OriginalPaper Open access 10 October 2008 Pages: 4 - 29

3. Models and methods for plan diagnosis

   • Nico Roos
   • Cees Witteveen

   OriginalPaper Open access 10 October 2007 Pages: 30 - 52

4. Modal tableaux for verifying stream authentication protocols

   • Mehmet A. Orgun
   • Guido Governatori
   • Chuchang Liu

   OriginalPaper 02 February 2008 Pages: 53 - 75

5. On BAN logic and hash functions or: how an unjustified inference rule causes problems

   • Wouter Teepe

   OriginalPaper Open access 17 September 2008 Pages: 76 - 88