Sieuwert van Otterloo

On Epistemic Temporal Strategic Logic

Geert Jonker, Sieuwert van Otterloo, G. Jonker, 2005, LCMAS.

A security analysis of Pretty Good Privacy

Sieuwert van Otterloo, 2001 .

Foreword

Peter McBurney, Michael Wooldridge, Sieuwert van Otterloo, 2005, Synthese.

MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO

Michael Wooldridge, Wiebe van der Hoek, Sieuwert van Otterloo, 2004, Appl. Artif. Intell..

Logic and game theory for social mechanisms

Sieuwert van Otterloo, 2005, AAMAS '05.

Preferences in game logics

Michael Wooldridge, Wiebe van der Hoek, Sieuwert van Otterloo, 2004, Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems, 2004. AAMAS 2004..

Verification of voting protocols

Olivier Roy, Sieuwert van Otterloo, S. Otterloo, 2005 .

Knowledge as Strategic Ability

Michael Wooldridge, Wiebe van der Hoek, Sieuwert van Otterloo, 2004, LCMAS.

Knowledge Condition Games

Michael Wooldridge, Wiebe van der Hoek, Sieuwert van Otterloo, 2006, J. Log. Lang. Inf..

Evolutionary Algorithms and Scheduling Problems

Sieuwert van Otterloo, S. Otterloo, 2002 .

The value of privacy: optimal strategies for privacy minded agents

Sieuwert van Otterloo, S. Otterloo, 2005, AAMAS '05.