J. van Eijck

Most-cited papers

Border crossings
J. van Eijck
2004Nature254 citations Open access
Semantic Scholar
On the Logic of Lying
Hans van Ditmarsch, J. van Eijck, F. Sietsma, Yanjing Wang
2012Games, Actions and Social Software55 citations
Semantic Scholar
Epistemic protocols for dynamic gossip
Hans van Ditmarsch, J. van Eijck, Pere Pardo, Rahim Ramezanian +1 more
2017Journal of Applied Logic48 citations Open access
Semantic Scholar
Propositional Dynamic Logic as a Logic of Belief Revision
J. van Eijck, Yanjing Wang
2008Workshop on Logic, Language, Information and Computation37 citations Open access
Semantic Scholar
Knowing Values and Public Inspection
J. van Eijck, Malvin Gattinger, Yanjing Wang
2016Indian Conference on Logic and Its Applications31 citations Open access
Semantic Scholar
Logic of Information Flow on Communication Channels
Yanjing Wang, F. Sietsma, J. van Eijck
2010International Workshop on Declarative Agent Languages and Technologies23 citations Open access
Semantic Scholar
REPORT RAPPORT
D. J. N. vanEijck, J. van Eijck
22 citations
Semantic Scholar
Dynamic Gossip
Hans van Ditmarsch, J. van Eijck, Pere Pardo, Rahim Ramezanian +1 more
2015Bulletin of the Iranian Mathematical Society21 citations Open access
Semantic Scholar
Composing models
J. van Eijck, F. Sietsma, Yanjing Wang
2011J. Appl. Non Class. Logics20 citations
Semantic Scholar
Verifying epistemic protocols under common knowledge
Yanjing Wang, Lakshmanan Kuppusamy, J. van Eijck
2009Theoretical Aspects of Rationality and Knowledge19 citations
Semantic Scholar
Reasoning about update logic
J. van Eijck, F. Vries
1993Journal of Philosophical Logic19 citations
Semantic Scholar
Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO
Hans van Ditmarsch, J. van Eijck, Ignacio Hernández-Antón, F. Sietsma +2 more
2012Practical Applications of Agents and Multi-Agent Systems13 citations Open access
Semantic Scholar
One Hundred Prisoners and a Lightbulb - Logic and Computation
Hans van Ditmarsch, J. van Eijck, William Wu
2010International Conference on Principles of Knowledge Representation and Reasoning12 citations
Semantic Scholar
Planning based on dynamic epistemic logic
B. Löwe, Eric Pacuit, Andreas Witzel, J. van Eijck +3 more
201010 citations
Semantic Scholar
Verifying one hundred prisoners and a lightbulb
Hans van Ditmarsch, J. van Eijck, William Wu
2010J. Appl. Non Class. Logics9 citations Open access
Semantic Scholar
Conditional Belief, Knowledge and Probability
J. van Eijck, K. Li
2017Theoretical Aspects of Rationality and Knowledge8 citations Open access
Semantic Scholar
Quantification and Reference in Incremental Processing
J. van Eijck, R. Nouwen
20024 citations
Semantic Scholar
Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990. Proceedings
J. van Eijck, J. van Eijck
19912 citations
Semantic Scholar
A Strategy for Building a Framework for Computational Semantics ( The Way Forward ) The FraCaS Consortium :
R. Cooper, Dick Crouch, J. van Eijck, M. Pinkal +3 more
20191 citations
Semantic Scholar
Homogeneity in donkey anaphora
L. Champollion, Dylan Bumford, Adrian M. P. Braşoveanu, Simon Charlow +2 more
20171 citations
Semantic Scholar
Dynamic Epistemic Logic for Protocol Analysis
F. Dechesne, J. van Eijck, W. Teepe, Yanjing Wang
20091 citations
Semantic Scholar
Do Current Natural Language Inference Models Truly Understand Sentences? Insights from Simple Examples
Samuel R. Bowman, Gabor Angeli, Christopher Potts, Kevin Clark +29 more
20210 citations
Semantic Scholar
N ov 2 01 6 Knowing Values and Public Inspection
J. van Eijck, Malvin Gattinger, Yanjing Wang
20160 citations
Semantic Scholar
Varieties of Belief and Probability
J. van Eijck
20150 citations
Semantic Scholar
Reasoning about Belief in Social Software using Modal Logic Faculty of Humanities Department of Philosophy Cognitive Artificial Intelligence
Ronald de Haan, J. van Eijck
20100 citations
Semantic Scholar
One hundred prisoners and a lightbulb — the logic
Hans van Ditmarsch, J. van Eijck, William Wu
20080 citations
Semantic Scholar
Haskell Communities and Activities Report
Andres Löh, L. Allison, Tiago Miguel, Laureano Alves +92 more
20060 citations
Semantic Scholar
Action Emulation
J. van Eijck, J. Ruan, Cwi, Illc +1 more
20040 citations
Semantic Scholar
Logic in Action
J. Benthem, P. Dekker, J. van Eijck, M. de Rijke +1 more
20010 citations
Semantic Scholar
Volumes 1-10 Article Abstract Index
Reinhard Blutner, C. Eschenbach, Peter Lasersohn, Laura A. Michaelis +2 more
1993Journal of Semantics0 citations
Semantic Scholar