-
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.Conference contribution | https://doi.org/10.1007/978-3-642-22359-4_8 | UvA-DAREvan Eijck, J. (2012) Perception and Change in Update Logic.In van Eijck, J. Verbrugge, R. (Eds.), Games, Actions and Social Software: Multidisciplinary Aspects (pp 119-140) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7010). Springer.Chapter | https://doi.org/10.1007/978-3-642-29326-9_7 | UvA-DAREvan Eijck, J. (2013) PDL as a multi-agent strategy logic.In Schipper, B.C. (Eds.), TARK 2013 - Proceedings of the 14. Conference on Theoretical Aspects of Rationality and Knowledge: Chennai, India, January 7-9, 2013 (pp 206-215). ArXiv.Conference contribution | https://arxiv.org/abs/1310.6437 | UvA-DAREvan Eijck, J. (2014) Dynamic Epistemic Logics.In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 175-202) (Outstanding contributions to logic, Vol. 5). Springer.Chapter | https://doi.org/10.1007/978-3-319-06025-5_7 | UvA-DAREvan Eijck, J. (2015) Strategies in Social Software.In van Benthem, J. Ghosh, S. Verbrugge, R. (Eds.), Models of Strategic Reasoning: Logics, Games, and Communities (pp 292-317) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 8972). Springer.Chapter | https://doi.org/10.1007/978-3-662-48540-8_9 | UvA-DAREvan Eijck, J. (2015) Implementing Semantic Theories.In Lappin, S. Fox, C. (Eds.), The Handbook of Contemporary Semantic Theory (pp 455-491) (Blackwell handbooks in linguistics). Wiley Blackwell.Chapter | https://doi.org/10.1002/9781118882139.ch15 | UvA-DAREvan Eijck, J. (2015) Varieties of Belief and Probability.In Ghosh, S. Szymanik, J. (Eds.), The facts matter (pp 67-87) (Tributes). College Publications.Chapter | UvA-DAREvan Emde Boas - Lubsen, Ghica Zhao, Bonan van Emde Boas, P. (2019) Sun Tzu and the rules of Victorious Warriors; Analyzing the rules of Sun Tzu using Mind Maps.van Emde Boas, P. Emde Boas, G. (1998) Compiling Horn-clause rules in IBM's Business System 12: An early eperiment in Declarativeness.In Branislav, R. (Eds.), Theory and Practice in Informatics. Lecture Notes in Computer Science (pp 68-88) (-). Springer.Chapter | UvA-DAREvan Emde Boas, P. Groen, F.C.A. Italiano, G.F. Nawrocki, J. Sack, H. (2013) SOFSEM 2013: Theory and Practice of Computer Science.Lecture Notes in Computer Science, Vol. 7741. Springer.Book (Editorship) | https://doi.org/10.1007/978-3-642-35843-2 | UvA-DAREvan Emde Boas, P. Groen, F.C.A. Italiano, G.F. Nawrocki, J. Sack, H. (2013) SOFSEM 2013: Theory and Practice of Computer Science: 39th conference on current trends in theory and practice of computer science: Špindlerův Mlýn, Czech Republic, January 26-31, 2013: proceedings. - Volume II.Institute of Computer Science AS CR.Book (Editorship) | UvA-DAREvan Emde Boas, P. Pokorny, J. Bielikova, M. Stuller, J. (2004) SOFSEM 2004, Theory and Practice of Computer Science; 30-th Conference on current trends in Theory and Practice of Computer Science, Mrein, Czech republic, January 2004.Lecture Notes in Computer Science. Springer.Book (Editorship) | UvA-DAREvan Emde Boas, P. Pokorny, J. Bielikova, M. Stuller, J. (2004) SOFSEM 2004: Theory and Practice of Computer Science; 30th Conference on current Trends in Theory and Practice of Computer Science, Merin, Czech republic, January 2004; proceedings Volume II.Matfyz Press.Book (Editorship) | UvA-DAREvan Emde Boas, P. van Emde Boas, E. (1999) The Game of Chaos. In J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, JFAK; Essays dedicated to Johan van Benthem on the Occasion of his 50th birthday.ILLC.Digital or Visual Products | UvA-DAREvan Emde Boas, P. van Emde Boas, G. Xie, K. Zhao, B. (2022) Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps.Logic in Asia: Studia Logica Library. Springer.van Emde Boas, P. van Mill, J. Wiegerinck, J. (2021) Inspirerende hoogleraar zuivere wiskunde met hart voor onderwijs en studenten: In Memoriam Aïda Beatrijs Paalman-de Miranda (1936–2020).Nieuw Archief voor Wiskunde, Vol. 5/22 (pp 113-114)van Emde Boas, P. (1994) The full non-renameability result; a lost tale.In Schrijver, A. Apt, K.R. Temme, N. (Eds.), From Universal morphisms to megabytes: a Baayen spacre Odyssey (pp 301-309). CWI.Chapter | UvA-DAREvan Emde Boas, P. (1996) Computerspelen en de identificatie van objecten.Athenaeum Illustre, Vol. 8 (pp 13-16)Article | 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