81 | -- | 0 | Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge. Preface: Volume 85, Issue 2 |
82 | -- | 93 | Pierre Yves Schobbens. Alternating-time logic with imperfect recall |
94 | -- | 116 | Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni. Specification and Verification of Agent Interaction using Social Integrity Constraints |
117 | -- | 133 | Wiebe van der Hoek, Alessio Lomuscio. A Logic For Ignorance |
134 | -- | 151 | Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer. Dialogue Games for Inconsistent and Biased Information |
152 | -- | 175 | Sieuwert van Otterloo, Wiebe van der Hoek, Michael Wooldridge. Knowledge as Strategic Ability |
176 | -- | 191 | Franco Raimondi, Alessio Lomuscio. A Tool For Specification And Verification Of Epistemic Properties In Interpreted Systems |
192 | -- | 207 | Mario Verdicchio, Marco Colombetti. A Logical Model for Agent Communication Languages |