Journal: Electronic Notes in Theoretical Computer Science

Volume 157, Issue 4

1 -- 2Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge. Preface
3 -- 22Laura Giordano, Alberto Martelli, Camilla Schwind. Specialization of Interaction Protocols in a Temporal Action Logic
23 -- 35Jan Broersen, Andreas Herzig, Nicolas Troquard. From Coalition Logic to STIT
37 -- 56Alexandru Baltag, Mehrnoosh Sadrzadeh. The Algebra of Multi-Agent Dynamic Belief Revision
57 -- 73Gemma Bel Enguix, Maria Dolores Jiménez-López. Computing Dialogues with Membranes
75 -- 94Mario Verdicchio, Marco Colombetti. From Message Exchanges to Communicative Acts to Commitments
95 -- 115Matthias Nickles, Felix A. Fischer, Gerhard Weiß. Communication Attitudes: A Formal Approach to Ostensible Intentions, and Individual and Group Opinions
117 -- 137Benoit Gaudou, Andreas Herzig, Dominique Longin. A Logical Framework for Grounding-based Dialogue Analysis