-
van Eijck, J., Ruan, J., Sadzik, T. (2012) Action Emulation.Synthese, Vol. 185 (pp 131-151)Article | https://doi.org/10.1007/s11229-012-0083-1 | UvA-DARE
-
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.Conference contribution | http://www.aiml.net/volumes/volume10/Eijck-Schwarzentruber.pdf | UvA-DAREvan 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-DAREvan Eijck, J., Stokhof, M. (2006) The gamut of dynamic logics.In Gabbay, D. Woods, J. (Eds.), Handbook of the history of logic. - Vol. 7: Logic and the modalities in the twentieth century (pp 499-600). Elsevier.Chapter | UvA-DAREvan 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-DAREvan Eijck, J., Verbrugge, R. (2014) Formal Approaches to Social Procedures.Stanford Encyclopedia of Philosophy, Vol. 2014van Eijck, J. (1998) Axiomatising Dynamic Logics for Anafora.INS-R9812/ LP-1998. WINS (oud WINS).Report | UvA-DAREvan Eijck, J. (1998) Dynamic reasoning without variables.INS-R9801. WINS (oud WINS).Report | UvA-DAREvan Eijck, J. (1998) incremental dynamics.INS-R9811/LP1998. WINS (oud WINS).Report | UvA-DAREvan Eijck, J. (1998) Programming with dynamic predicate logic.INS-R9810. WINS (oud WINS).Report | UvA-DAREvan Eijck, J. (1998) Metalangauge versus object language.In Mey, J.L. (Eds.), Concise encyclopedia of pragmatics. Elsevier.Chapter | UvA-DAREvan Eijck, J. (1999) Dynamo with shift and reduce.In Albert, C. Rott, H. Brewka, G. Witteveen, C. (Eds.), DGNMR'99 Proceedings. ILLC Scientific Publications.Conference contribution | UvA-DAREvan 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.Chapter | UvA-DAREvan Eijck, J. (1999) Axiomatising dynamic logics for anaphora.Journal of Language and Computation, Vol. 1 (pp 103-126)Article | UvA-DAREvan Eijck, J. (2000) Making things happen.Studia Logica, Vol. 66 (pp 41-58)Article | UvA-DAREvan 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.Conference contribution | UvA-DAREvan 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-DAREvan 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)Conference contribution | UvA-DAREvan Eijck, J. (2001) Incremental dynamics.Journal of Logic, Language and Information, Vol. 10 (pp 319-351)Article | UvA-DAREvan Eijck, J. (2001) Constrained hyper tableaux.In Fribourg, L. (Eds.), Computer Science Logic (pp 232-246) (LNCS)Chapter | UvA-DAREThe 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 illc at uva.nl