Searchable List of Research Output

Filter Publications
  • van Eijck, D.J.N. (1999) Axiomatising dynamic logics for anaphora.
    Journal of Language and Computation, Vol. 1 (pp 103-126)
    Article | UvA-DARE
  • van Eijck, D.J.N. (2000) Making things happen.
    Studia Logica, Vol. 66 (pp 41-58)
    Article | UvA-DARE
  • van Eijck, D.J.N. (2000) The proper treatment of context in NL.
    In Monachesi, Paola (Eds.), Computational Linguistic in the Netherlands 1999; Selected Papers from the Tenth CLIN Meeting (pp 41-51). Utrecht Institute of Linguistics OTS.
    Conference contribution | UvA-DARE
  • van Eijck, D.J.N. (2000) [Review of: The Tbilisi symposium on logic, language and computation].
    Science of Computer Programming, Vol. 38 (pp 147-149)
    Book/Film/Article/Exhibition review | UvA-DARE
  • van Eijck, D.J.N. (2001) Model generation from constrained free variable tableaux.
    In Goré, Rajeev Leitsch, Alexander Nipkov, Tobias (Eds.), IJCAR 2001 - Short Papers (pp 160-169)
    Conference contribution | UvA-DARE
  • van Eijck, D.J.N. (2001) Incremental dynamics.
    Journal of Logic, Language and Information, Vol. 10 (pp 319-351)
    Article | UvA-DARE
  • van Eijck, D.J.N. (2001) Constrained hyper tableaux.
    In Fribourg, L. (Eds.), Computer Science Logic (pp 232-246) (LNCS)
    Chapter | UvA-DARE
  • van Eijck, D.J.N. (2002) Afscheid van Jaco.
    In de Boer, F. van der Heijden, M. Klint, P. Rutten, J. (Eds.), Liber Amicorum Jaco de Bakker (pp 61-77). CWI.
    Chapter | UvA-DARE
  • van Eijck, D.J.N. (2002) AI education in the Netherlands; VSNU curriculum visitation.
    BNVKI Newsletter, Vol. 19 (pp 15)
    Article | UvA-DARE
  • van Eijck, D.J.N. (2002) Reference resolution in context.
    In Theune, M. Nijholt, A. Hondorp, H. (Eds.), Computational Linguistics in the Netherlands 2001 Selected Papers from the Twelfth CLIN Meeting (pp 89-103). Rodopi.
    Conference contribution | UvA-DARE
  • van Eijck, J. Gattinger, M. Wang, Y. (2017) Knowing Values and Public Inspection.
    In Ghosh, S. Prasad, S. (Eds.), Logic and Its Applications: 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings (pp 77-90) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 10119). Springer.
  • van Eijck, J. Gattinger, M. (2015) Elements of epistemic crypto logic.
    In AAMAS '15: proceedings of the 2015 International Conference on Autonomous Agents & Multiagent Systems : May, 4-8, 2015, Istanbul, Turkey (pp 1795-1796). International Foundation for Autonomous Agents and Multiagent Systems.
  • van Eijck, J. Ju, F. Xu, T. (2024) Modeling dynamics of legal relations with dynamic logic.
    Journal of Logic and Computation, Vol. 34 (pp 372–398)
  • van Eijck, J. Renne, B. (2014) Belief as Willingness to Bet.
    ArXiv.
  • van Eijck, J. Ruan, J. Sadzik, T. (2012) Action Emulation.
    Synthese, Vol. 185 (pp 131-151)
  • van Eijck, J. Schwarzentruber, F. (2014) Epistemic Probability Logic Simplified.
    In Goré, R. Kooi, B. Kurucz, A. (Eds.), Advances in Modal Logic: AiML 10 (pp 158-177). College Publications.
  • van Eijck, J. Sietsma, F. (2012) Questions about voting rules, with some answers.
    In Goranko, V. Jamroga, W. (Eds.), Proceedings of the 5th Workshop on Logical Aspects of Multi-Agent Systems: LAMAS 2012 : Satellite workshop of AAMAS 2012, June 5, 2012, Valencia, Spain (pp 39-54). Individual and Collective Reasoning Group, University of Luxembourg.
    Conference contribution | http://icr.uni.lu/lamas2012/ | UvA-DARE
  • van Eijck, J. Verbrugge, R. (2012) Games, Actions and Social Software: Multidisciplinary Aspects.
    Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 7010. Springer.
    Book (Editorship) | UvA-DARE
  • van Eijck, J. Verbrugge, R. (2014) Formal Approaches to Social Procedures.
    Stanford Encyclopedia of Philosophy, Vol. 2014
  • van Eijck, J. (2011) A geometric look at manipulation.
    In Leite, J. Torroni, P. Ågotnes, T. Boella, G. van der Torre, L. (Eds.), Computational Logic in Multi-Agent Systems: 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings (pp 92-104) ( Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 6814). Springer.

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact