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 | 62 | 2014 |
On the logic of lying H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang Games, actions and social software, 41-72, 2012 | 49 | 2012 |
Logic of information flow on communication channels Y Wang, F Sietsma, J Van Eijck International workshop on declarative agent languages and technologies, 130-147, 2010 | 22 | 2010 |
Composing models J Van Eijck, F Sietsma, Y Wang Journal of Applied Non-Classical Logics 21 (3-4), 397-425, 2011 | 21 | 2011 |
Action emulation between canonical models F Sietsma, J van Eijck Journal of philosophical logic 42 (6), 905-925, 2013 | 13 | 2013 |
Optimizing base rankers using clicks A Schuth, F Sietsma, S Whiteson, M De Rijke European Conference on Information Retrieval, 75-87, 2014 | 12 | 2014 |
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 | 11 | 2014 |
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 | 11 | 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 | 11 | 2011 |
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, 155-162, 2012 | 10 | 2012 |
Model checking for dynamic epistemic logic with factual change F Sietsma CWI, Amsterdam, 2007 | 10 | 2007 |
Prevalence of myocardial ischaemia as assessed with myocardial perfusion scintigraphy in patients with diabetes mellitus type 2 and mild anginal symptoms JJ Wiersma, HJ Verberne, MD Trip, L Wik, BLF van Eck-Smit, JJ Piek, ... European journal of nuclear medicine and molecular imaging 33 (12), 1468-1476, 2006 | 10 | 2006 |
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 |
On the logic of lying. Games, actions and social software H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang Springer, Berlin, 2012 | 5 | 2012 |
Multi-agent belief revision with linked preferences J Van Eijck, F Sietsma International Conference on Logic and the Foundations of Game and Decision …, 2008 | 5 | 2008 |
Multi-agent belief revision with linked preferences J Van Eijck, F Sietsma International Conference on Logic and the Foundations of Game and Decision …, 2008 | 5 | 2008 |
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 |