BibSonomy publications for /author/Eijck

Logical Forms in the Core Language Engine.

dblp — 2011-12-23T00:00:00+01:00

Hiyan Alshawi, and Jan van Eijck ACL, page 25-32. ACL, (1989)

Dynamic modelling in practice: The application of dynamic modelling in two service organisations.

dblp — 2011-11-24T00:00:00+01:00

Gert-Jan de Vreede, Daniel T. T. van Eijck, and Henk G. Sol ECIS, page 1245-1256. (1995)

Message-generated Kripke semantics.

dblp — 2011-11-18T00:00:00+01:00

Jan van Eijck, and Floor Sietsma AAMAS, page 1183-1184. IFAAMAS, (2011)

Reflections on Vote Manipulation.

dblp — 2011-10-18T00:00:00+02:00

Jan van Eijck, Floor Sietsma, and Sunil Simon LORI, volume 6953 of Lecture Notes in Computer Science, page 386-387. Springer, (2011)

A Geometric Look at Manipulation.

dblp — 2011-09-15T00:00:00+02:00

Jan van Eijck CLIMA, volume 6814 of Lecture Notes in Computer Science, page 92-104. Springer, (2011)

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.

dblp — 2011-08-30T00:00:00+02:00

Jan van Eijck Sci. Comput. Program. 38(1-3):147-149 (2000)

Verifying one hundred prisoners and a lightbulb.

dblp — 2011-08-12T00:00:00+02:00

Hans P. van Ditmarsch, Jan van Eijck, and William Wu Journal of Applied Non-Classical Logics 20(3):173-191 (2010)

Message passing in a dynamic epistemic logic setting.

dblp — 2011-07-13T00:00:00+02:00

Floor Sietsma, and Jan van Eijck TARK, page 212-220. ACM, (2011)

Typed Logics With States.

dblp — 2011-06-29T00:00:00+02:00

Jan van Eijck Logic Journal of the IGPL 5(5):623-645 (1997)

Tableau Reasoning and Programming with Dynamic First Order Logic.

dblp — 2011-06-29T00:00:00+02:00

Jan van Eijck, Juan Heguiabehere, and Breanndán Ó Nualláin Logic Journal of the IGPL 9(3):411-445 (2001)

Modal Logic, Transition Systems and Processes.

dblp — 2011-06-29T00:00:00+02:00

Johan van Benthem, Jan van Eijck, and Vera Stebletsova J. Log. Comput. 4(5):811-855 (1994)

Constrained Hyper Tableaux.

dblp — 2011-06-28T00:00:00+02:00

Jan van Eijck CSL, volume 2142 of Lecture Notes in Computer Science, page 232-246. Springer, (2001)

Knowledge and Interaction in Social and Economic Networks.

dblp — 2011-06-22T00:00:00+02:00

Jan van Eijck, and Floor Sietsma ERCIM News 2011(84):39 (2011)

Making Things Happen.

dblp — 2011-06-03T00:00:00+02:00

Jan van Eijck Studia Logica 66(1):41-58 (2000)

Incremental Dynamics.

dblp — 2011-05-26T00:00:00+02:00

Jan van Eijck Journal of Logic, Language and Information 10(3):319-351 (2001)

Dynamic Interpretation and Hoare Deduction.

dblp — 2011-05-26T00:00:00+02:00

Jan van Eijck, and Fer-Jan de Vries Journal of Logic, Language and Information 1(1):1-44 (1992)

Presupposition Failure-A Comedy of Errors.

dblp — 2011-05-25T00:00:00+02:00

Jan van Eijck Formal Asp. Comput. 6(6A):766-787 (1994)

Logic of Information Flow on Communication Channels.

dblp — 2011-04-19T00:00:00+02:00

Yanjing Wang, Floor Sietsma, and Jan van Eijck DALT, volume 6619 of Lecture Notes in Computer Science, page 130-147. Springer, (2010)

The language of social software.

dblp — 2011-04-11T00:00:00+02:00

Jan van Eijck Synthese 177(Supplement-1):77-96 (2010)

Logic of information flow on communication channels.

dblp — 2010-09-26T00:00:00+02:00

Yanjing Wang, Floor Sietsma, and Jan van Eijck AAMAS, page 1447-1448. IFAAMAS, (2010)