| 2008 |
|---|
| 23 | EE | Jan van Eijck,
Yanjing Wang:
Propositional Dynamic Logic as a Logic of Belief Revision.
WoLLIC 2008: 136-148 |
| 22 | EE | Jan van Eijck:
Sequentially Indexed Grammars.
J. Log. Comput. 18(2): 205-228 (2008) |
| 2007 |
|---|
| 21 | EE | Jan van Eijck,
Simona Orzan:
Epistemic Verification of Anonymity.
Electr. Notes Theor. Comput. Sci. 168: 159-174 (2007) |
| 2006 |
|---|
| 20 | EE | Johan van Benthem,
Jan van Eijck,
Barteld P. Kooi:
Logics of communication and change.
Inf. Comput. 204(11): 1620-1662 (2006) |
| 2005 |
|---|
| 19 | EE | Johan van Benthem,
Jan van Eijck,
Barteld P. Kooi:
Common knowledge in update logics.
TARK 2005: 253-261 |
| 18 | EE | Jan van Eijck:
Natural Logic for Natural Language.
TbiLLC 2005: 216-230 |
| 17 | EE | Jan van Eijck:
Normal Forms for Characteristic Functions on n-ary Relations.
J. Log. Comput. 15(2): 85-98 (2005) |
| 2001 |
|---|
| 16 | | Jan van Eijck:
Reference Resolution in Context.
CLIN 2001: 89-103 |
| 15 | EE | Jan van Eijck:
Constrained Hyper Tableaux.
CSL 2001: 232-246 |
| 14 | | Jan van Eijck:
Incremental Dynamics.
Journal of Logic, Language and Information 10(3): 319-351 (2001) |
| 13 | EE | Jan van Eijck,
Juan Heguiabehere,
Breanndán Ó Nualláin:
Tableau Reasoning and Programming with Dynamic First Order Logic.
Logic Journal of the IGPL 9(3): (2001) |
| 2000 |
|---|
| 12 | | Jan van Eijck,
Juan Heguiabehere,
Breanndán Ó Nualláin:
Theorem Proving and Programming with Dynamic First Order Logic.
WFLP 2000: 56-71 |
| 11 | | Jan van Eijck:
Review: The Tbilisi Symposium on Logic, Language and Computation: Selected Papers - Jonathan Ginzburg, Zurab Khasidashvili, Carl Vogel, Jean-Jacques Lévi, and Enric Vallduví (Eds.), Studies in Logic, Language and Information series of CSLI Publications and FoLLI, Stanford, 1998, xxxi + 376 pages, ISBN 1-57586-098-8.
Sci. Comput. Program. 38(1-3): 147-149 (2000) |
| 10 | | Jan van Eijck:
Making Things Happen.
Studia Logica 66(1): 41-58 (2000) |
| 1999 |
|---|
| 9 | EE | Jan van Eijck:
On the proper treatment of context in NL.
CLIN 1999 |
| 1997 |
|---|
| 8 | EE | Jan van Eijck:
Typed Logics With States.
Logic Journal of the IGPL 5(5): (1997) |
| 1994 |
|---|
| 7 | | Jan van Eijck:
Presupposition Failure-A Comedy of Errors.
Formal Asp. Comput. 6(6A): 766-787 (1994) |
| 6 | | Johan van Benthem,
Jan van Eijck,
Vera Stebletsova:
Modal Logic, Transition Systems and Processes.
J. Log. Comput. 4(5): 811-855 (1994) |
| 1993 |
|---|
| 5 | EE | Olivier Bouchez,
Jan van Eijck,
Olivier Istace:
A Strategy for Dynamic Interpretation: a Fragment and an Implementation.
EACL 1993: 61-70 |
| 1992 |
|---|
| 4 | | Jan van Eijck,
Fer-Jan de Vries:
Dynamic Interpretation and Hoare Deduction.
Journal of Logic, Language and Information 1(1): 1-44 (1992) |
| 1991 |
|---|
| 3 | | Jan van Eijck:
Logics in AI, European Workshop, JELIA '90, Amsterdam, The Netherlands, September 10-14, 1990, Proceedings
Springer 1991 |
| 1989 |
|---|
| 2 | | Hiyan Alshawi,
Jan van Eijck:
Logical Forms in the Core Language Engine.
ACL 1989: 25-32 |
| 1988 |
|---|
| 1 | | Hiyan Alshawi,
David M. Carter,
Jan van Eijck,
Robert C. Moore,
Douglas B. Moran,
Stephen G. Pulman:
Overview of the Core Language Engine.
FGCS 1988: 1108-1115 |
