Searchable List of Research Output

Filter Publications
  • Stokhof, M. (2020) "A People Thing": philosophical experiences.
    In Ying, X. (Eds.), Xue bu fen dong xi: Qing hua da xue zhe xue xi jiao shi lun wen ji (pp 365-389). Qing hua da xue chu ban she.
    Chapter | UvA-DARE
  • Stokhof, M. (2021) Culturele conventies, zekerheden, en kritische reflectie.
    Algemeen Nederlands Tijdschrift voor Wijsbegeerte, Vol. 113 (pp 407-412)
  • Stokhof, M. (2022) Philosophy as Change.
    In Melzer, T. (Eds.), Atlas of Aspect Change: a book on <i>Shifting Meanings</i> (pp 61-79). Rollo Press.
  • Stokhof, M. (2022) The affordances of art: the role of the individual and the case of literature.
    Adaptive Behavior, Vol. 30 (pp 509-511)
  • Stol, M.C., de Rijke, M. (2001) Adaptive model generation for modal logic.
    In Proceedings of BNAIC 2001 (pp 241-248)
    Conference contribution | UvA-DARE
  • Stol, M.C., de Rijke, M. (2001) Modal logic and local search.
    In In Proceedings Modal Logic in AI, 2001
    Conference contribution | UvA-DARE
  • Strauss, S., Ladinig, O., Vitouch, O. (2006) Kognitive Taeuschungen durch Prozentangaben: Der Fall der staatlich gefoerderten Pensionsvorsorge.
    In Gula, B. Alexandrowicz, R. Strauss, S. Brunner, E. Jenull-Schiefer, B. Vitouch, O. (Eds.), Proceedings zur 7. wissenschaftlichen Tagung der Oesterreichischen Gesellschaft fuer Psychologie (pp 107-113). Lengerich.
    Conference contribution | UvA-DARE
  • Strauss, S., Vitouch, O., Ladinig, O., Augustin, D., Carbon, C., Leder, H. (2006) Memory representations of musical tempo: Stable or adaptive?.
    In Proceedings of the International Conference on Music Perception and Cognition (pp 90-94). University of Bologna.
    Conference contribution | UvA-DARE
  • Ströbel, M., Kerz, E., Wiechmann, D., Neumann, S. (2016) CoCoGen - Complexity Contour Generator: Automatic Assessment of Linguistic Complexity Using a Sliding-Window Technique.
    In Brunato, D. Dell'Orletta, F. Venturi, G. François, T. Blache, P. (Eds.), CL4LC 2016 : Computational Linguistics for Linguistic Complexity: proceedings of he workshop : December 11, 2016, Osaka, Japan (pp 23-31). The COLING 2016 Organizing Committee.
  • Ströbel, M., Kerz, E., Wiechmann, D., Qiao, Y. (2018) Text Genre Classification Based on Linguistic Complexity Contours Using A Recurrent Neural Network.
    In Cassens, J. Wegener, R. Kofod-Petersen, A. (Eds.), Proceedings of the Tenth International Workshop Modelling and Reasoning in Context: co-located with the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018) and the 23rd European Conference on Artificial Intelligence (ECAI 2018) : Stockholm, Sweden, July 13, 2018 (pp 56-63) (CEUR Workshop Proceedings, Vol. 2134). CEUR-WS.
  • Ströbel, M., Kerz, E., Wiechmann, D. (2020) The Relationship Between First and Second Language Writing: Investigating the Effects of L1 Complexity on L2 Complexity in Advanced Stages of Learning.
    Language Learning, Vol. 70 (pp 732-767)
  • Suppes, P., Alechina, N.A. (1994) The Definability of the Qualitative Independence of Events in terms of Extended Indicator Functions.
    Journal of Mathematical Psychology, Vol. 38 (pp 366-376)
  • Surikuchi, A., Pezzelle, S., Fernández, R. (2023) GROOViST: A Metric for Grounding Objects in Visual Storytelling.
    In Bouamor, H. Pino, J. Bali, K. (Eds.), The 2023 Conference on Empirical Methods in Natural Language Processing: EMNLP 2023 : Proceedings of the Conference : December 6-10, 2023 (pp 3331-3339). Association for Computational Linguistics.
  • Šuster, S., Titov, I., van Noord, G. (2016) Bilingual learning of multi-sense embeddings with discrete autoencoders.
    In Knight, K. Nenkova, A. Rambow, O. (Eds.), NAACL HLT 2016 : The 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies: Proceedings of the Conference : June 12-17, 2016, San Diego, California, USA (pp 1346-1356). The Association for Computational Linguistics.
    Conference contribution | https://doi.org/10.18653/v1/N16-1160 | UvA-DARE
  • Swan, A., Rathjen, Michael (2018) Lifschitz Realizability as a Topological Construction.
    ArXiv e-prints
  • Swan, A., Uemura, T. (2019) On Church's Thesis in Cubical Assemblies.
    ArXiv e-prints
  • Swan, A. (2018) Separating Path and Identity Types in Presheaf Models of Univalent Type Theory.
    ArXiv e-prints
  • Swan, A. (2018) Identity Types in Algebraic Model Structures and Cubical Sets.
    ArXiv e-prints
  • Swan, A. (2018) On Dividing by Two in Constructive Mathematics.
    ArXiv e-prints
  • Swan, A. (2018) W-Types with Reductions and the Small Object Argument.
    ArXiv e-prints

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