Jan van Eijck
Jan van Eijck
professor at ILLC Amsterdam, researcher at CWI
Bestätigte E-Mail-Adresse bei cwi.nl - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Logics of communication and change
J Van Benthem, J Van Eijck, B Kooi
Information and computation 204 (11), 1620-1662, 2006
4952006
Handbook of logic and language
J van Benthem, A Ter Meulen
Elsevier, 1996
4621996
Representing discourse in context
J Van Eijck, H Kamp
Handbook of logic and language, 179-237, 1997
3951997
Logical forms in the core language engine
H Alshawi, J van Eijck
27th Annual Meeting of the Association for Computational Linguistics, 25-32, 1989
1571989
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
1391996
The progressive in Modern English: A corpus-based study of grammaticalization and related changes
S Kranich
The Progressive in Modern English, 2015
1172015
Generalized quantifiers in natural language
A Ter Meulen, J van Benthem
Walter de Gruyter, 2013
952013
Computational Semantics with Functional Programming
J van Eijck and Christina Unger
Cambridge University Press, 2010
952010
Dynamic interpretation and Hoare deduction
J Van Eijck, FJ De Vries
Journal of Logic, Language and Information 1 (1), 1-44, 1992
941992
The Haskell Road to Logic, Maths and Programming (Texts in Computing)
K Doets, J Eijck
College Publications, 2004
86*2004
Overview of the Core Language Engine.
H Alshawi, DM Carter, J van Eijck, RC Moore, DB Moran, SG Pulman
FGCS, 1108-1115, 1988
821988
The dynamics of description
J Eijck
Journal of Semantics 10 (3), 239-267, 1993
811993
a demo of epistemic modelling
J van Eijck
Interactive Logic. Selected Papers from the 7th Augustus de Morgan Workshop …, 2007
792007
The semantics of exception phrases
J Hoeksema
Quantifiers, logic, and language, 145-177, 1995
781995
Incremental dynamics
J Van Eijck
Journal of Logic, Language and Information 10 (3), 319-351, 2001
762001
Modal logic, transition systems and processes
JVAN BENTHEM, JANVAN EIJCK, V Stebletsova
Journal of Logic and Computation 4 (5), 811-855, 1994
671994
Discourse representation theory and plurality
J Van Eijck
671983
Presupposition failure—a comedy of errors
J van Eijck
Formal Aspects of Computing 6 (1), 766-787, 1994
561994
Epistemic verification of anonymity
J Van Eijck, S Orzan
Electronic Notes in Theoretical Computer Science 168, 159-174, 2007
522007
Natural logic for natural language
J Van Eijck
International Tbilisi Symposium on Logic, Language, and Computation, 216-230, 2005
502005
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20