BibSonomy ::  author :: Eijck ::

bookmarks

publications

• Integrating the Conceptualization and Simulation of Business Processes: A Modeling Method and Arena Template.
  Gert-Jan de Vreede and Alexander Verbraeck and Daniel T. T. van Eijck Simulation79(1):43-55(2003)
  to dblp by dblp on Sep 29, 2009, 12:00 AM
  URL | BibTeX | spam 
• Verifying epistemic protocols under common knowledge.
  Yanjing Wang and Lakshmanan Kuppusamy and Jan van Eijck TARK, page 257-266. (2009)
  to dblp by dblp on Jul 20, 2009, 12:00 AM
  URL | BibTeX | spam 
• Propositional Dynamic Logic as a Logic of Belief Revision.
  Jan van Eijck and Yanjing Wang WoLLIC, volume 5110 of Lecture Notes in Computer Science, page 136-148. Springer, (2008)
  to dblp by dblp on Jun 30, 2008, 12:00 AM
  URL | BibTeX | spam 
• The Haskell Road to Logic, Maths and Programming
  Kees Doets and Jan Eijck van College Publications, May 2004.
  to haskell by draganigajic on Jun 13, 2008, 12:37 AM
  BibTeX | spam 
• Sequentially Indexed Grammars.
  Jan van Eijck J. Log. Comput.18(2):205-228(2008)
  to dblp by dblp on Apr 4, 2008, 12:00 AM
  URL | BibTeX | spam 
• Ambiguity and Reasoning
  Jan van Eijck and Jan Jaspars CS-R9616. Computer Science, CWI, (1996)
  to ambiguity by diego_ma on Dec 14, 2007, 2:38 AM
  URL | BibTeX | spam 
• Logical Forms
  Jan van Eijck and Hiyan Alshawi The Core Language Engine, MIT Press, Cambridge, Massachusetts, (1992)
  to semantics CLE by diego_ma on Dec 14, 2007, 2:38 AM
  BibTeX | spam 
• Logical Forms in the Core Language Engine
  Hiyan Alshawi and Jan van Eijck Proceedings of the 27th Conference of the Association for Computational Linguistics, page 25-32. Vancouver, June 1989.
  to semantics quantification underspecification CLE QLF by diego_ma on Dec 14, 2007, 2:35 AM
  BibTeX | spam 
• Overview of the Core Language Engine
  H. Alshawi and D.M. Carter and J. van Eijck and R.C. Moore and D.B. Moran and S.G. Pulman Procs. of Future Generation Computing Systems, Tokyo, (1988)
  to CLE by diego_ma on Dec 14, 2007, 2:35 AM
  URL | BibTeX | spam 
• Natural Logic for Natural Language.
  Jan van Eijck TbiLLC, volume 4363 of Lecture Notes in Computer Science, page 216-230. Springer, (2005)
  to dblp by dblp on Oct 2, 2007, 12:00 AM
  URL | BibTeX | spam 
• Logics of communication and change.
  Johan van Benthem and Jan van Eijck and Barteld P. Kooi Inf. Comput.204(11):1620-1662(2006)
  to dblp by dblp on Feb 13, 2007, 12:00 AM
  URL | BibTeX | spam 
• Epistemic Verification of Anonymity.
  Jan van Eijck and Simona Orzan Electr. Notes Theor. Comput. Sci.(2007)
  to dblp by dblp on Feb 12, 2007, 12:00 AM
  URL | BibTeX | spam 
• Reference Resolution in Context.
  Jan van Eijck CLIN, volume 45 of Language and Computers - Studies in Practical Linguistics, page 89-103. Rodopi, (2001)
  to dblp by dblp on Jan 31, 2007, 12:00 AM
  URL | BibTeX | spam 
• On the proper treatment of context in NL.
  Jan van Eijck CLIN, UILOTS Utrecht, (1999)
  to dblp by dblp on Jan 31, 2007, 12:00 AM
  URL | BibTeX | spam 
• Common knowledge in update logics.
  Johan van Benthem and Jan van Eijck and Barteld P. Kooi TARK, page 253-261. National University of Singapore, (2005)
  to dblp by dblp on Feb 15, 2006, 12:00 AM
  URL | BibTeX | spam 
• Normal Forms for Characteristic Functions on n-ary Relations.
  Jan van Eijck J. Log. Comput.15(2):85-98(2005)
  to dblp by dblp on Jul 6, 2005, 12:00 AM
  URL | BibTeX | spam 
• Overview of the Core Language Engine.
  Hiyan Alshawi and David M. Carter and Jan van Eijck and Robert C. Moore and Douglas B. Moran and Stephen G. Pulman FGCS, page 1108-1115. (1988)
  to dblp by dblp on Jan 17, 2005, 12:00 AM
  URL | BibTeX | spam 
• Theorem Proving and Programming with Dynamic First Order Logic.
  Jan van Eijck and Juan Heguiabehere and Breanndán Ó Nualláin WFLP, page 56-71. (2000)
  to dblp by dblp on Nov 30, 2004, 12:00 AM
  URL | BibTeX | spam 
• Crystal structure predictions using five space groups with two independent molecules. The case of small organic acids.
  Bouke P. van Eijck Journal of Computational Chemistry23(4):456-462(2002)
  to dblp by dblp on Oct 8, 2004, 12:00 AM
  URL | BibTeX | spam 
• Fast clustering of equivalent structures in crystal structure prediction.
  Bouke P. van Eijck and Jan Kroon Journal of Computational Chemistry18(8):1036-1042(1997)
  to dblp by dblp on Oct 8, 2004, 12:00 AM
  URL | BibTeX | spam