Prati
Floor Sietsma
Floor Sietsma
Postdoc Information Retrieval, University of Amsterdam
Potvrđena adresa e-pošte na uva.nl - Početna stranica
Naslov
Citirano
Citirano
Godina
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
862014
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
672012
Logic of information flow on communication channels
Y Wang, F Sietsma, J Van Eijck
Declarative Agent Languages and Technologies VIII: 8th International …, 2011
272011
Composing models
J Van Eijck, F Sietsma, Y Wang
Journal of Applied Non-Classical Logics 21 (3-4), 397-425, 2011
232011
Action emulation between canonical models
F Sietsma, J van Eijck
Journal of philosophical logic 42, 905-925, 2013
172013
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
162012
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
142014
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
132014
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
132011
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
132011
Model checking for dynamic epistemic logic with factual change
F Sietsma
CWI, Amsterdam, 2007
102007
Logics of communication and knowledge
F Sietsma
Universiteit van Amsterdam, 2012
92012
Message-generated Kripke semantics.
J van Eijck, F Sietsma
AAMAS, 1183-1184, 2011
82011
On the logic of lying. Games, actions and social software
H Van Ditmarsch, J Van Eijck, F Sietsma, Y Wang
Springer, Berlin, 2012
52012
Multi-agent belief revision with linked preferences
J Van Eijck, F Sietsma
International Conference on Logic and the Foundations of Game and Decision …, 2008
52008
Common knowledge in email exchanges
F Sietsma, KR Apt
ACM Transactions on Computational Logic (TOCL) 14 (3), 1-23, 2013
42013
Demo light for composing models
J van Eijck, L Kuppusamy, F Sietsma
Technical report, CWI, Amsterdam, 2011
32011
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
32010
Knowledge and Interaction in Social and Economic Networks.
J van Eijck, F Sietsma
ERCIM News 2011 (84), 39, 2011
12011
A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
F Sietsma
12010
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–20