Jan van Eijck

Cited by

	All	Since 2018
Citations	5302	1011
h-index	33	16
i10-index	98	23

320

160

240

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202316 13 11 12 29 32 35 42 74 66 91 89 86 96 78 126 132 179 122 114 126 246 191 212 312 240 226 195 310 220 199 228 204 246 169 191 167 33

Public access

View all

4 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Hans van DitmarschUniversity of Toulouse, CNRS, IRITVerified email at loria.fr
Floor SietsmaPostdoc Information Retrieval, University of AmsterdamVerified email at uva.nl
Dick CrouchXerox PARCVerified email at parc.com
Robin CooperProfessor emeritus, Senior Researcher, University of GothenburgVerified email at ling.gu.se
Yanjing Wang (王彦晶)Professor of Logic, Peking UniversityVerified email at pku.edu.cn
Barteld Kooiprofessor of logic and argumentation theory, University of GroningenVerified email at rug.nl
Rineke VerbruggeProf. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of GroningenVerified email at rug.nl
Josef van GenabithDFKI German Research Center for Artificial IntelligenceVerified email at dfki.de
Fer-Jan de VriesDepartment of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
François SchwarzentruberENS RennesVerified email at ens-rennes.fr
Christina UngerResearch Associate, CITEC, Bielefeld UniversityVerified email at cit-ec.uni-bielefeld.de
Juan HeguiabehereSenior Researcher, Fundación SadoskyVerified email at fundacionsadosky.org.ar
Simona OrzanFontys University of Applied SciencesVerified email at fontys.nl
Ji RuanAuckland University of TechnologyVerified email at aut.ac.nz
Shalom LappinProfessor of Computational LinguisticsVerified email at kcl.ac.uk
Robert C. MooreResearch Scientist, GoogleVerified email at google.com
Rick NouwenLinguist, Utrecht Institute for Linguistics, Utrecht UniversityVerified email at uu.nl
Balder ten CateAssociate ProfessorVerified email at uva.nl
Rohit ParikhDistinguished Professor, CS, Math, Philosophy, Brooklyn College and CUNY Graduate CenterVerified email at gc.cuny.edu

Jan van Eijck

professor at ILLC Amsterdam, researcher at CWI

Verified email at cwi.nl - Homepage

natural language semantics epistemic logic functional programming


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Logics of communication and change J Van Benthem, J Van Eijck, B Kooi Information and computation 204 (11), 1620-1662, 2006	561	2006
Handbook of logic and language J van Benthem, A Ter Meulen Elsevier, 1996	500	1996
Representing discourse in context J Van Eijck, H Kamp Handbook of logic and language, 179-237, 1997	425	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	177	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	164	1989
Computational Semantics with Functional Programming J van Eijck and Christina Unger Cambridge University Press, 2010	115	2010
Generalized quantifiers in natural language J Van Benthem, R te Groningen Foris Publications, 1985	104	1985
The Haskell Road to Logic, Maths and Programming (Texts in Computing) K Doets, J Eijck College Publications, 2004	93*	2004
Dynamic interpretation and Hoare deduction J Van Eijck, FJ De Vries Journal of Logic, Language and Information 1, 1-44, 1992	93	1992
a demo of epistemic modelling J van Eijck Interactive Logic, 303, 2007	89	2007
The dynamics of description J Eijck Journal of Semantics 10 (3), 239-267, 1993	88	1993
Overview of the Core Language Engine. H Alshawi, DM Carter, J van Eijck, RC Moore, DB Moran, SG Pulman FGCS, 1108-1115, 1988	87	1988
Incremental dynamics J Van Eijck Journal of Logic, Language and Information 10, 319-351, 2001	83	2001
Discourse representation theory and plurality J Van Eijck Studies in modeltheoretic semantics 1, 85-106, 1983	76	1983
Symbolic model checking for dynamic epistemic logic—S5 and beyond J Van Benthem, J Van Eijck, M Gattinger, K Su Journal of Logic and Computation 28 (2), 367-402, 2018	74	2018
Modal logic, transition systems and processes JVAN BENTHEM, JANVAN EIJCK, V Stebletsova Journal of Logic and Computation 4 (5), 811-855, 1994	74	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	63	2012
Epistemic verification of anonymity J Van Eijck, S Orzan Electronic Notes in Theoretical Computer Science 168, 159-174, 2007	59	2007
Presupposition failure—A comedy of errors J van Eijck Formal Aspects of Computing 6 (Suppl 1), 766-787, 1994	58	1994
Natural logic for natural language J Van Eijck Logic, Language, and Computation: 6th International Tbilisi Symposium on …, 2007	55	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors