Jan van Eijck

	2012
37		Hans P. van Ditmarsch, Jan van Eijck, Ignacio Hernández-Antón, Floor Sietsma, Sunil Simon, Fernando Soler-Toscano: Modelling Cryptographic Keys in Dynamic Epistemic Logic with DEMO. PAAMS (Special Sessions) 2012: 155-162
	2011
36		Jan van Eijck, Floor Sietsma: Message-generated Kripke semantics. AAMAS 2011: 1183-1184
35		Jan van Eijck: A Geometric Look at Manipulation. CLIMA 2011: 92-104
34		Jan van Eijck, Floor Sietsma, Sunil Simon: Reflections on Vote Manipulation. LORI 2011: 386-387
33		Floor Sietsma, Jan van Eijck: Message passing in a dynamic epistemic logic setting. TARK 2011: 212-220
32		Jan van Eijck, Floor Sietsma: Knowledge and Interaction in Social and Economic Networks. ERCIM News 2011(84): 39 (2011)
31		Jan van Eijck, Floor Sietsma, Yanjing Wang: Composing models. Journal of Applied Non-Classical Logics 21(3-4): 397-425 (2011)
	2010
30		Yanjing Wang, Floor Sietsma, Jan van Eijck: Logic of information flow on communication channels. AAMAS 2010: 1447-1448
29		Yanjing Wang, Floor Sietsma, Jan van Eijck: Logic of Information Flow on Communication Channels. DALT 2010: 130-147
28		Hans P. van Ditmarsch, Jan van Eijck, William Wu: One Hundred Prisoners and a Lightbulb - Logic and Computation. KR 2010
27		Hans P. van Ditmarsch, Jan van Eijck, William Wu: Verifying one hundred prisoners and a lightbulb. Journal of Applied Non-Classical Logics 20(3): 173-191 (2010)
26		Jan van Eijck: The language of social software. Synthese 177(Supplement-1): 77-96 (2010)
	2009
25		Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck: Verifying epistemic protocols under common knowledge. TARK 2009: 257-266
	2008
24		Jan van Eijck, Floor Sietsma: Multi-agent Belief Revision with Linked Preferences. LOFT 2008: 174-189
23		Jan van Eijck, Yanjing Wang: Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148
22		Jan van Eijck: Sequentially Indexed Grammars. J. Log. Comput. 18(2): 205-228 (2008)
	2007
21		Jan van Eijck, Simona Orzan: Epistemic Verification of Anonymity. Electr. Notes Theor. Comput. Sci. 168: 159-174 (2007)
	2006
20		Johan van Benthem, Jan van Eijck, Barteld P. Kooi: Logics of communication and change. Inf. Comput. 204(11): 1620-1662 (2006)
	2005
19		Johan van Benthem, Jan van Eijck, Barteld P. Kooi: Common knowledge in update logics. TARK 2005: 253-261
18		Jan van Eijck: Natural Logic for Natural Language. TbiLLC 2005: 216-230
17		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		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		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): 411-445 (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		Jan van Eijck: On the proper treatment of context in NL. CLIN 1999
	1997
8		Jan van Eijck: Typed Logics With States. Logic Journal of the IGPL 5(5): 623-645 (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		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

Coauthor Index

1	Hiyan Alshawi	[1] [2]
2	Johan van Benthem	[6] [19] [20]
3	Olivier Bouchez	[5]
4	David M. Carter	[1]
5	Hans P. van Ditmarsch	[27] [28] [37]
6	Juan Heguiabehere	[12] [13]
7	Ignacio Hernández-Antón	[37]
8	Olivier Istace	[5]
9	Barteld P. Kooi	[19] [20]
10	Lakshmanan Kuppusamy	[25]
11	Robert C. Moore	[1]
12	Douglas B. Moran	[1]
13	Breanndán Ó Nualláin	[12] [13]
14	Simona Orzan	[21]
15	Stephen G. Pulman	[1]
16	Floor Sietsma	[24] [29] [30] [31] [32] [33] [34] [36] [37]
17	Sunil Simon	[34] [37]
18	Fernando Soler-Toscano	[37]
19	Vera Stebletsova	[6]
20	Fer-Jan de Vries	[4]
21	Yanjing Wang	[23] [25] [29] [30] [31]
22	William Wu	[27] [28]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page