S. Otterloo

Model Checking Knowledge and Time via Local Propositions: Cooperative and Adversarial Systems

M. Wooldridge, W. Hoek, S. Otterloo, 2004 .

Knowledge Condition Games : An Introduction

S. Otterloo, 2022 .

Axioms for Game Logic with Preferences

S. Otterloo, 2022 .

Verification of voting protocols

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

Evolutionary Algorithms and Scheduling Problems

Sieuwert van Otterloo, S. Otterloo, 2002 .

A strategic analysis of multi-agent protocols

Sieuwert Maarten van Otterloo, S. Otterloo, 2005 .

Knowledge Condition Games

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

MODEL CHECKING A KNOWLEDGE EXCHANGE SCENARIO

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

On Epistemic Temporal Strategic Logic

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

Knowledge as Strategic Ability

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

The value of privacy: optimal strategies for privacy minded agents

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

Applying Ethical AI Frameworks in practice: Evaluating conversational AI chatbot solutions

S. Otterloo, S. Atkins, Ishwarradj Badrie, 2021, Computers and Society Research Journal.

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..

Preference logic, conditionals and solution concepts in games

Olivier Roy, K BenthemvanJ.F.A., G OtterloovanS., 2005 .