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

Article | https://plato.stanford.edu/archives/fall2014/entries/social-procedures/ | UvA-DARE

van Eijck, J. (1998) Axiomatising Dynamic Logics for Anafora.

INS-R9812/ LP-1998. WINS (oud WINS).

Report | UvA-DARE

van Eijck, J. (1998) Dynamic reasoning without variables.

INS-R9801. WINS (oud WINS).

Report | UvA-DARE

van Eijck, J. (1998) incremental dynamics.

INS-R9811/LP1998. WINS (oud WINS).

Report | UvA-DARE

van Eijck, J. (1998) Programming with dynamic predicate logic.

INS-R9810. WINS (oud WINS).

Report | UvA-DARE

van Eijck, J. (1998) Metalangauge versus object language.

In Mey, J.L. (Eds.), Concise encyclopedia of pragmatics. Elsevier.

van Eijck, J. (1999) Dynamo with shift and reduce.

In Albert, C. Rott, H. Brewka, G. Witteveen, C. (Eds.), DGNMR'99 Proceedings. ILLC Scientific Publications.

van Eijck, J. (1999) Powering decision machines with Dynamo.

In de Rijke, M. Marx, M. Venema, Y. Gerbrandy, J. (Eds.), JFAK --- Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. ILLC.

van Eijck, J. (1999) Axiomatising dynamic logics for anaphora.

Journal of Language and Computation, Vol. 1 (pp 103-126)

Article | UvA-DARE

van Eijck, J. (2000) Making things happen.

Studia Logica, Vol. 66 (pp 41-58)

Article | UvA-DARE

van Eijck, J. (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.

van Eijck, J. (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, J. (2001) Model generation from constrained free variable tableaux.

In Goré, Rajeev Leitsch, Alexander Nipkov, Tobias (Eds.), IJCAR 2001 - Short Papers (pp 160-169)

van Eijck, J. (2001) Incremental dynamics.

Journal of Logic, Language and Information, Vol. 10 (pp 319-351)

Article | UvA-DARE

van Eijck, J. (2001) Constrained hyper tableaux.

In Fribourg, L. (Eds.), Computer Science Logic (pp 232-246) (LNCS)

van Eijck, J. (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.

van Eijck, J. (2002) AI education in the Netherlands; VSNU curriculum visitation.

BNVKI Newsletter, Vol. 19 (pp 15)

Article | UvA-DARE

van Eijck, J. (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.

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.