| Multileaved comparisons for fast online evaluation A Schuth, F Sietsma, S Whiteson, D Lefortier, M de Rijke Proceedings of the 23rd ACM International Conference on Conference on …, 2014 | 87 | 2014 |
| On the logic of lying H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang Games, Actions and Social Software: Multidisciplinary Aspects, 41-72, 2012 | 63 | 2012 |
| Logic of information flow on communication channels Y Wang, F Sietsma, J Van Eijck Declarative Agent Languages and Technologies VIII: 8th International …, 2011 | 27 | 2011 |
| Composing models J Van Eijck, F Sietsma, Y Wang Journal of Applied Non-Classical Logics 21 (3-4), 397-425, 2011 | 23 | 2011 |
| Action emulation between canonical models F Sietsma, J van Eijck Journal of philosophical logic 42, 905-925, 2013 | 15 | 2013 |
| Evaluating intuitiveness of vertical-aware click models A Chuklin, K Zhou, A Schuth, F Sietsma, M de Rijke Proceedings of the 37th international ACM SIGIR conference on Research …, 2014 | 14 | 2014 |
| Optimizing base rankers using clicks: a case study using BM25 A Schuth, F Sietsma, S Whiteson, M De Rijke Advances in Information Retrieval: 36th European Conference on IR Research …, 2014 | 13 | 2014 |
| Modelling cryptographic keys in dynamic epistemic logic with DEMO H van Ditmarsch, J van Eijck, I Hernández-Antón, F Sietsma, S Simon, ... Highlights on Practical Applications of Agents and Multi-Agent Systems: 10th …, 2012 | 13 | 2012 |
| Message passing in a dynamic epistemic logic setting F Sietsma, J Van Eijck Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011 | 13 | 2011 |
| Message passing in a dynamic epistemic logic setting F Sietsma, J Van Eijck Proceedings of the 13th Conference on Theoretical Aspects of Rationality and …, 2011 | 13 | 2011 |
| Model checking for dynamic epistemic logic with factual change F Sietsma CWI, Amsterdam, 2007 | 10 | 2007 |
| Logics of communication and knowledge F Sietsma Universiteit van Amsterdam, 2012 | 9 | 2012 |
| Message-generated Kripke semantics. J van Eijck, F Sietsma AAMAS, 1183-1184, 2011 | 8 | 2011 |
| Multi-agent belief revision with linked plausibilities J Van Eijck, F Sietsma Logic and the foundations of game and decision theory—LOFT 8, 2010 | 6 | 2010 |
| Common knowledge in email exchanges F Sietsma, KR Apt ACM Transactions on Computational Logic (TOCL) 14 (3), 1-23, 2013 | 4 | 2013 |
| Logic of information flow on communication channels (extended abstract). In van der Hoek, Kaminka, Lespérance, Luck, and Sen, editors Y Wang, F Sietsma, J van Eijck Proceedings of AAMAS 10, 8-55, 2010 | 4 | 2010 |
| Demo light for composing models J van Eijck, L Kuppusamy, F Sietsma Technical report, CWI, Amsterdam, 2011 | 3 | 2011 |
| Knowledge and Interaction in Social and Economic Networks FAG Sietsma ERCIM News 84, 2011 | 1 | 2011 |
| A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems F Sietsma | 1 | 2010 |
| Multi-agent belief revision with linked preferences J van Eijck, F Sietsma Proceedings of Logic and the Foundations of Game and Decision Theory LOFT …, 2007 | 1 | 2007 |
