Logics of communication and change J Van Benthem, J Van Eijck, B Kooi Information and computation 204 (11), 1620-1662, 2006 | 574 | 2006 |
Handbook of logic and language J van Benthem, A Ter Meulen Elsevier, 1996 | 502 | 1996 |
Representing discourse in context J Van Eijck, H Kamp Handbook of logic and language, 179-237, 1997 | 435 | 1997 |
Using the framework R Cooper, D Crouch, J Van Eijck, C Fox, J Van Genabith, J Jaspars, ... Technical Report LRE 62-051 D-16, The FraCaS Consortium, 1996 | 211 | 1996 |
Logical forms in the core language engine H Alshawi, J van Eijck 27th Annual Meeting of the Association for Computational Linguistics, 25-32, 1989 | 163 | 1989 |
Computational Semantics with Functional Programming J van Eijck and Christina Unger Cambridge University Press, 2010 | 127 | 2010 |
Generalized quantifiers in natural language J Van Benthem, R te Groningen Foris Publications, 1985 | 108 | 1985 |
Dynamic interpretation and Hoare deduction J Van Eijck, FJ De Vries Journal of Logic, Language and Information 1, 1-44, 1992 | 98 | 1992 |
The Haskell Road to Logic, Maths and Programming (Texts in Computing) K Doets, J Eijck College Publications, 2004 | 94* | 2004 |
The dynamics of description J Eijck Journal of Semantics 10 (3), 239-267, 1993 | 92 | 1993 |
Incremental dynamics J Van Eijck Journal of Logic, Language and Information 10, 319-351, 2001 | 91 | 2001 |
Overview of the Core Language Engine. H Alshawi, DM Carter, J van Eijck, RC Moore, DB Moran, SG Pulman FGCS, 1108-1115, 1988 | 90 | 1988 |
A demo of epistemic modelling J van Eijck Interactive Logic 303, 2007 | 89 | 2007 |
Discourse representation theory and plurality J Van Eijck Studies in modeltheoretic semantics 1, 85-106, 1983 | 80 | 1983 |
Modal logic, transition systems and processes JVAN BENTHEM, JANVAN EIJCK, V Stebletsova Journal of Logic and Computation 4 (5), 811-855, 1994 | 77 | 1994 |
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 | 68 | 2012 |
Epistemic verification of anonymity J Van Eijck, S Orzan Electronic Notes in Theoretical Computer Science 168, 159-174, 2007 | 58 | 2007 |
Aspects of quantification in natural language DJN van Eijck | 58 | 1985 |
Dynamic semantics J Van Eijck, A Visser The Stanford encyclopedia of philosophy, 2010 | 57 | 2010 |
Natural logic for natural language J Van Eijck International Tbilisi symposium on logic, language, and computation, 216-230, 2005 | 57 | 2005 |