sign in · help · news · about ·

BibSonomy :: author :: Eijck ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(49)

<< < 1 | 2 | 3 > >>

Logical Forms in the Core Language Engine.
Hiyan Alshawi, and Jan van Eijck ACL, page 25-32. ACL, (1989)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
Dynamic modelling in practice: The application of dynamic modelling in two service organisations.
Gert-Jan de Vreede, Daniel T. T. van Eijck, and Henk G. Sol ECIS, page 1245-1256. (1995)
to dblp by dblp on Nov 24, 2011, 12:00 AM
URL | BibTeX
Message-generated Kripke semantics.
Jan van Eijck, and Floor Sietsma AAMAS, page 1183-1184. IFAAMAS, (2011)
to dblp by dblp on Nov 18, 2011, 12:00 AM
URL | BibTeX
Reflections on Vote Manipulation.
Jan van Eijck, Floor Sietsma, and Sunil Simon LORI, volume 6953 of Lecture Notes in Computer Science, page 386-387. Springer, (2011)
to dblp by dblp on Oct 18, 2011, 12:00 AM
URL | BibTeX
A Geometric Look at Manipulation.
Jan van Eijck CLIMA, volume 6814 of Lecture Notes in Computer Science, page 92-104. Springer, (2011)
to dblp by dblp on Sep 15, 2011, 12:00 AM
URL | BibTeX
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.
Jan van Eijck Sci. Comput. Program. 38(1-3):147-149 (2000)
to dblp by dblp on Aug 30, 2011, 12:00 AM
URL | BibTeX
Verifying one hundred prisoners and a lightbulb.
Hans P. van Ditmarsch, Jan van Eijck, and William Wu Journal of Applied Non-Classical Logics 20(3):173-191 (2010)
to dblp by dblp on Aug 12, 2011, 12:00 AM
URL | BibTeX
Message passing in a dynamic epistemic logic setting.
Floor Sietsma, and Jan van Eijck TARK, page 212-220. ACM, (2011)
to dblp by dblp on Jul 13, 2011, 12:00 AM
URL | BibTeX
Typed Logics With States.
Jan van Eijck Logic Journal of the IGPL 5(5):623-645 (1997)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Tableau Reasoning and Programming with Dynamic First Order Logic.
Jan van Eijck, Juan Heguiabehere, and Breanndán Ó Nualláin Logic Journal of the IGPL 9(3):411-445 (2001)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Modal Logic, Transition Systems and Processes.
Johan van Benthem, Jan van Eijck, and Vera Stebletsova J. Log. Comput. 4(5):811-855 (1994)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Constrained Hyper Tableaux.
Jan van Eijck CSL, volume 2142 of Lecture Notes in Computer Science, page 232-246. Springer, (2001)
to dblp by dblp on Jun 28, 2011, 12:00 AM
URL | BibTeX
Knowledge and Interaction in Social and Economic Networks.
Jan van Eijck, and Floor Sietsma ERCIM News 2011(84):39 (2011)
to dblp by dblp on Jun 22, 2011, 12:00 AM
URL | BibTeX
Making Things Happen.
Jan van Eijck Studia Logica 66(1):41-58 (2000)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
Incremental Dynamics.
Jan van Eijck Journal of Logic, Language and Information 10(3):319-351 (2001)
to dblp by dblp on May 26, 2011, 12:00 AM
URL | BibTeX
Dynamic Interpretation and Hoare Deduction.
Jan van Eijck, and Fer-Jan de Vries Journal of Logic, Language and Information 1(1):1-44 (1992)
to dblp by dblp on May 26, 2011, 12:00 AM
URL | BibTeX
Presupposition Failure-A Comedy of Errors.
Jan van Eijck Formal Asp. Comput. 6(6A):766-787 (1994)
to dblp by dblp on May 25, 2011, 12:00 AM
URL | BibTeX
Logic of Information Flow on Communication Channels.
Yanjing Wang, Floor Sietsma, and Jan van Eijck DALT, volume 6619 of Lecture Notes in Computer Science, page 130-147. Springer, (2010)
to dblp by dblp and 1 other user on Apr 19, 2011, 12:00 AM
URL | BibTeX
The language of social software.
Jan van Eijck Synthese 177(Supplement-1):77-96 (2010)
to dblp by dblp on Apr 11, 2011, 12:00 AM
URL | BibTeX
Logic of information flow on communication channels.
Yanjing Wang, Floor Sietsma, and Jan van Eijck AAMAS, page 1447-1448. IFAAMAS, (2010)
to dblp by dblp and 1 other user on Sep 26, 2010, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper