Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 70
Number of items: 70
  • van Benthem, J., van Ditmarsch, H., & van Eijck, J. (2009). Logica in actie. Academic Service.
  • van Eijck, D. J. N., & Stokhof, M. J. B. (2006). The gamut of dynamic logics. In D. Gabbay, & J. Woods (Eds.), Handbook of the history of logic. - Vol. 7: Logic and the modalities in the twentieth century (pp. 499-600). Elsevier.
  • van Benthem, J. F. A. K., van Eijck, D. J. N., & Kooi, B. (2006). Logics of Communication and Change. Information and Computation, 204(11), 1620-1662. https://doi.org/10.1016/j.ic.2006.04.006
  • van Benthem, J. F. A. K., van Eijck, D. J. N., & Kooi, B. (2005). Common Knowledge in Update Logics. In R. van der Meyden (Ed.), Proceedings TARK 10 (pp. 253-261)
  • van Benthem, J. F. A. K., van Eijck, D. J. N., & Kooi, B. (2005). Logics of Communication and Change. (Technical Reports; No. PP-2005-09). Institute for Logic, Language and Computation.
  • Open Access
    Heguiabehere, J. M. (2003). Building logic toolboxes. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • van Eijck, D. J. N., Jaspars, J., Ketting, J., & Pauly, M. (2002). Denkende machines: Computers, rekenen redeneren. (of Cambridge Tracts in Computer Science; No. 53). Secondary School Textbook.
  • van Eijck, D. J. N. (2002). Afscheid van Jaco. In F. de Boer, M. van der Heijden, P. Klint, & J. Rutten (Eds.), Liber Amicorum Jaco de Bakker (pp. 61-77). CWI.
  • van Eijck, D. J. N. (2002). AI education in the Netherlands; VSNU curriculum visitation. BNVKI Newsletter, 19(1), 15.
  • van Eijck, D. J. N. (2002). Reference resolution in context. In M. Theune, A. Nijholt, & H. Hondorp (Eds.), Computational Linguistics in the Netherlands 2001 Selected Papers from the Twelfth CLIN Meeting (pp. 89-103). Rodopi.
Page 4 of 7