Preference logic, conditionals and solution concepts in games J Van Benthem, S Van Otterloo, O Roy | 133 | 2005 |
On epistemic temporal strategic logic S van Otterloo, G Jonker Electronic Notes in Theoretical Computer Science 126, 77-92, 2005 | 51 | 2005 |
Preferences in game logics S van Otterloo, W van der Hoek, M Wooldridge Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 39 | 2004 |
A strategic analysis of multi-agent protocols S van Otterloo University of Amsterdam, 2006 | 26 | 2006 |
Knowledge as strategic ability S van Otterloo, W van der Hoek, M Wooldridge Electronic Notes in Theoretical Computer Science 85 (2), 152-175, 2004 | 23 | 2004 |
The value of privacy: optimal strategies for privacy minded agents S van Otterloo Proceedings of the fourth international joint conference on Autonomous …, 2005 | 22 | 2005 |
Model checking a knowledge exchange scenario SVAN OTTERLOO, WVAN DER, M Wooldridge Applied artificial intelligence 18 (9-10), 937-952, 2004 | 18 | 2004 |
Applying Ethical AI Frameworks in practice: Evaluating conversational AI chatbot solutions S Atkins, I Badrie, S van Otterloo Computers and Society Research Journal 1, 2021 | 14 | 2021 |
Knowledge condition games S Van Otterloo, W Van Der Hoek, M Wooldridge Journal of Logic, Language and Information 15, 425-452, 2006 | 8 | 2006 |
Verification of voting protocols S van Otterloo, O Roy Working paper, University of Amsterdam, 2005 | 7 | 2005 |
Preferences in game logics W van der Hoek, S van Otterloo, M Wooldridge Proceedings of AAMAS-04, 2004 | 6 | 2004 |
Practical bias correction in neural networks: a credit default prediction case study P Snel, S van Otterloo Computers and Society Research Journal 3, 2022 | 4 | 2022 |
On the complexity of knowledge condition games S van Otterloo, M Wooldridge Proceedings of the second European workshop on Multi Agent Systems (EUMAS …, 2004 | 3 | 2004 |
A security analysis of Pretty Good Privacy S Van Otterloo Sep 7, 17-55, 2001 | 3 | 2001 |
Reasoning about extensive games S van Otterloo ESSLLI student session, 2005 | 2 | 2005 |
Model checking knowledge and time via local propositions: Cooperative and adversarial systems W van der Hoek, M Wooldridge, S van Otterloo | 2 | 2004 |
Evolutionary algorithms and scheduling problems S van Otterloo MS, thesis, University of Utrecht, 2002 | 2 | 2002 |
Measuring project success: the fulfillment rate of crowdfunded projects on Kickstarter S van Otterloo Computers and Society Research Journal,(4), 2022 | 1 | 2022 |
Axioms for Game Logic with Preferences S van Otterloo, W van der Hoek, M Wooldridge LOFT, 2004 | 1 | 2004 |
Practical bias correction in neural networks: a credit default prediction case study S van Otterloo, P Snel Computers and Society Research Journal 2022 (3), 1, 2022 | | 2022 |