Jan van Eijck

Citado por

	Total	Desde 2018
Citas	5333	1032
Índice h	34	16
Índice i10	98	24

320

160

240

199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202329 32 35 42 73 66 89 88 86 96 80 125 136 177 122 114 125 246 190 212 318 236 229 195 308 223 201 231 205 245 173 190 170 48

Acceso público

Ver todo

4 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Hans van DitmarschCNRSDirección de correo verificada de loria.fr
Floor SietsmaPostdoc Information Retrieval, University of AmsterdamDirección de correo verificada de uva.nl
Dick CrouchXerox PARCDirección de correo verificada de parc.com
Robin CooperProfessor emeritus, Senior Researcher, University of GothenburgDirección de correo verificada de ling.gu.se
Yanjing Wang (王彦晶)Professor of Logic, Peking UniversityDirección de correo verificada de pku.edu.cn
Barteld Kooiprofessor of logic and argumentation theory, University of GroningenDirección de correo verificada de rug.nl
Rineke VerbruggeProf. Logic and Cognition, Bernoulli Instite, Dept. Artificial Intelligence, University of GroningenDirección de correo verificada de rug.nl
Josef van GenabithDFKI German Research Center for Artificial IntelligenceDirección de correo verificada de dfki.de
Fer-Jan de VriesDepartment of Computer Science, University of LeicesterDirección de correo verificada de mcs.le.ac.uk
François SchwarzentruberENS RennesDirección de correo verificada de ens-rennes.fr
Christina UngerResearch Associate, CITEC, Bielefeld UniversityDirección de correo verificada de cit-ec.uni-bielefeld.de
Juan HeguiabehereSenior Researcher, Fundación SadoskyDirección de correo verificada de fundacionsadosky.org.ar
Simona OrzanFontys University of Applied SciencesDirección de correo verificada de fontys.nl
Ji RuanAuckland University of TechnologyDirección de correo verificada de aut.ac.nz
Shalom LappinProfessor of Computational LinguisticsDirección de correo verificada de kcl.ac.uk
Robert C. MooreResearch Scientist, GoogleDirección de correo verificada de google.com
Rick NouwenLinguist, Utrecht Institute for Linguistics, Utrecht UniversityDirección de correo verificada de uu.nl
Balder ten CateAssociate ProfessorDirección de correo verificada de uva.nl
Rohit ParikhDistinguished Professor, CS, Math, Philosophy, Brooklyn College and CUNY Graduate CenterDirección de correo verificada de gc.cuny.edu

Seguir

Jan van Eijck

professor at ILLC Amsterdam, researcher at CWI

Dirección de correo verificada de cwi.nl - Página principal

natural language semantics epistemic logic functional programming


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Logics of communication and change J Van Benthem, J Van Eijck, B Kooi Information and computation 204 (11), 1620-1662, 2006	562	2006
Handbook of logic and language J van Benthem, A Ter Meulen Elsevier, 1996	501	1996
Representing discourse in context J Van Eijck, H Kamp Handbook of logic and language, 179-237, 1997	427	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	183	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	165	1989
Computational Semantics with Functional Programming J van Eijck and Christina Unger Cambridge University Press, 2010	117	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	89	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	77	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	75	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores