uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • van Emde Boas, P. (2005) Het Spel en de Regels; Ervaringen van een Voorzitter van een Examencommissie.
    Nieuwsbrief van het KdV Instituut (pp 17-21)
    Article | UvA-DARE
  • van Emde Boas, P. (2005) Mijn Spelen is Leren.
    CAVIA (pp 8-10)
    Article | UvA-DARE
  • van Emde Boas, P. (2005) The Mirror on the Beach.
    ILLC Magazine (pp 14-14)
    Article | UvA-DARE
  • van Emde Boas, P. (2007) A tale of two papers.
    In Nguyen, P. (Eds.), Proceedings LLL + 25 (pp 5-7)
    Conference contribution | UvA-DARE
  • van Emde Boas, P. (2010) Playing Savitch and Cooking games.
    In Dams, D. Hannemann, U. Steffen, M. (Eds.), Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever (pp 10-21) (Lecture Notes in Computer Science). Springer.
  • van Emde Boas, P. (2012) Travelling with Dexter Kozen.
    In Constable, R.L. Silva, A. (Eds.), Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (pp 342-351) (Lecture Notes in Computer Science, Vol. 7230). Springer.
  • van Emde Boas, P. (2012) Turing Machines for dummies: why representations do matter.
    In Bieliková, M. Friedrich, G. Gottlob, G. Katzenbeisser, S. Turán, G. (Eds.), SOFSEM 2012: Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012: proceedings (pp 14-30) (Lecture Notes in Computer Science, Vol. 7147). Springer.
  • van Emde Boas, P. (2013) Thirty nine years of stratified trees.
    In Capuni, I. Georgiadis, L. Altun, O. (Eds.), Proceedings 2nd International Symposium on Computing in Informatics and Mathematics (ISCIM'13) (pp 1-14)
    Conference contribution | UvA-DARE
  • van Emde Boas, P. (2013) Evert Marie Bruins (1909-1990): Intelligent, productief en controversieel.
    Studium, Vol. 6 (pp 296-299)
  • van Emde Boas, P. (2014) Theory-of-mind reasoning in Ancient China.
    In Szymanik, J. Verbrugge, R. (Eds.), Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives: co-located with Advances in Modal Logic 2014 ; Groningen, The Netherlands, August 4, 2014 (pp 6-10) (CEUR Workshop Proceedings, Vol. 1208). CEUR-WS.
  • van Emde Boas, P. (2014) Victorious Warriors; Strategic theory and logic in ancient China, preliminary draft outline.
    Paper | UvA-DARE
  • van Emde Boas, P. (2017) Working With the Bulletin Editor.
    In Azimi, S. Hoogeboom, H.J. Kleijn, J. van der Nat, M. Petre, I. Salomaa, A. (Eds.), A Magician in Science: Liber Amicorum Grzegorz Rozenberg (pp 109-112). Turku Centre for Computer Science.
    Conference contribution | UvA-DARE
  • van Emde Boas, P. (2022) In Memoriam Theodorus Jozef Dekker (1927-2021): Vooraanstaand numeriek wiskundige, en informaticus van het eerste uur.
    Nieuw Archief voor Wiskunde, Vol. 5/23 (pp 181-188)
    Article | UvA-DARE
  • van Erp, M., Wevers, M., Huurdeman, H. (2018) Constructing a Recipe Web from Historical Newspapers.
    In Vrandečić, D. Bontcheva, K. Suárez-Figueroa, M.C. Presutti, V. Celino, I. Sabou, M. Kaffee, L.-A. Simperl, E. (Eds.), The Semantic Web – ISWC 2018: 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018 : proceedings (pp 217-232) (Lecture Notes in Computer Science, Vol. 11136). Springer.
  • van Erven, T., de Rooij, S., Grünwald, P. (2007) Switching between Predictors with an Application in Density Estimation.
    In Proceedings of the 28th Symposium on Information Theory in the Benelux (pp 149-156). SAS.
    Conference contribution | UvA-DARE
  • van Erven, T., Grünwald, P.D., de Rooij, S. (2007) Catching Up Faster in Bayesian Model Selection and Model Averaging.
    In Advances in Neural Information Processing Systems (pp 417-424). Neural Information Processing Systems (NIPS) Foundation.
    Conference contribution | UvA-DARE
  • van Gemert, B., Cokart, R., Esselink, L., de Meulder, Maartje, Sijm, Nienke, Roelofsen, F. (2022) First Steps Towards a Signing Avatar for Railway Travel Announcements in the Netherlands.
    In Efthimiou, E. Fotinea, S.-E. Hanke, T. McDonald, J.C. Shterionov, D. Wolfe, R. (Eds.), Proceedings : 7th Workshop on Sign Language Translation and Avatar Technology: The Junction of the Visual and the Textual: Challenges and Perspectives (SLTAT 7): LREC 2022 Workshop : Language Resources and Evaluation Conference, 24 June 2022 (pp 109-116). European Language Resources Association.
  • van Gessel, T., Cremers, A., Roelofsen, F. (2018) Polarity sensitivity of question embedding: experimental evidence.
    Proceedings from Semantics and Linguistic Theory, Vol. 28 (pp 217-232)
  • van Gessel, T. (2020) Questions in context.
    ILLC dissertation series. Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • van Gessel, T. (2020) Action models in inquisitive logic.
    Synthese, Vol. 197 (pp 3905-3945)
1 ... 275 276 277 278 279 280 281 282 283 ... 310

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