Searchable List of Research Output

Filter Publications
  • 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.
  • van 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.
  • van 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-DARE
  • van 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.
  • van 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.
  • van 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.
  • van 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-DARE
  • van 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-DARE
  • van 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.
  • van 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-DARE
  • van 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-DARE
  • van 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-DARE
  • van 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-DARE
  • van 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-DARE
  • van Emde Boas, P. (1996) Computerspelen en de identificatie van objecten.
    Athenaeum Illustre, Vol. 8 (pp 13-16)
    Article | UvA-DARE
  • van Emde Boas, P. (1996) The convenience of tiling.
    In Yunes, J.B. Margenstern, M. (Eds.), Actes de MCU/UMC'95 - Proceedings of MCU/UMC'95 (pp 38-70) (LITP)
    Chapter | UvA-DARE
  • van Emde Boas, P. (1996) The Convenience of Tiling.
    ILLC Report Series. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE

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