Volume 126,
March 2005
Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems (2004)
- Wiebe van der Hoek, Alessio Lomuscio, Erik P. de Vink, Michael Wooldridge:
Preface.
1-2
- Bernd-Holger Schlingloff, Axel Martens, Karsten Schmidt:
Modeling and Model Checking Web Services.
3-26
- Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh:
Algebra and Sequent Calculus for Epistemic Actions.
27-52
- Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach.
53-75
- Sieuwert van Otterloo, Geert Jonker:
On Epistemic Temporal Strategic Logic.
77-92
- Bozena Wozna, Alessio Lomuscio, Wojciech Penczek:
Bounded Model Checking for Deontic Interpreted Systems.
93-114
Copyright © Mon Mar 15 04:00:56 2010
by Michael Ley (ley@uni-trier.de)
