Journal: Electronic Notes in Theoretical Computer Science

Volume 85, Issue 2

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