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 | 90 | 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 | 69 | 2012 |
Logic of information flow on communication channels Y Wang, F Sietsma, J Van Eijck Declarative Agent Languages and Technologies VIII: 8th International …, 2011 | 28 | 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 | 17 | 2013 |
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 | 15 | 2012 |
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 |
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 |
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 |
Common knowledge in email exchanges F Sietsma, KR Apt ACM Transactions on Computational Logic (TOCL) 14 (3), 1-23, 2013 | 4 | 2013 |
Demo light for composing models J van Eijck, L Kuppusamy, F Sietsma Technical report, CWI, Amsterdam, 2011 | 3 | 2011 |
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 | 3 | 2010 |
Knowledge and Interaction in Social and Economic Networks. J van Eijck, F Sietsma ERCIM News 2011 (84), 39, 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 |
Strategic reasoning in social software J van Eijck, F Sietsma this volume, pages, 0 | 1 | |