-
van der Does, J.M. (1998) type-shifting and scrambled definites.LP-1998. WINS (oud WINS).Report | UvA-DARE
-
van der Giessen, I., Joosten, J.J., Mayaux, P., Navarro Arroyo, V. (2025) On the Contingency of Logic in Possible World Semantics.Logica Universalis, Vol. 19 (pp 721–737)Article | https://doi.org/10.1007/s11787-025-00400-7 | UvA-DARE
-
van der Giessen, I., Shillito, Ian (2026) Uniform Interpolation with Constructive Diamond.In Biere, A. Lutz, C. Negri, S. (Eds.), Automated Reasoning: 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026 : proceedings (pp 357-376) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 16688). Springer.Conference contribution | https://doi.org/10.1007/978-3-032-32589-1_22 | UvA-DAREvan der Giessen, I. (2025) Interpolation through the lens of proof theory: Lecture notes for Logic Summer School @ANU 2024, Canberra, Australia.van der Goot, M.J., Dolinšek, Špela, Jansen, Lennert, Sinclair, A.J., Fernández, R., Pezzelle, S. (2023) Adapting the language of conversational systems to different age groups: An experimental study.Paper | UvA-DAREvan der Goot, M.J., Dolinšek, Špela, Sinclair, A.J., Fernández, R., Pezzelle, S. (2023) Exploring the potential of adapting conversational systems to different age groups.Paper | UvA-DAREvan der Goot, M.J., Georgiou, Marios, Dolinšek, Špela, Jansen, Lennert, Sinclair, A.J., Fernández, R., Pezzelle, S. (2021) Exploring the potential of adapting conversational systems to different age groups: A pilot study.van der Gulik, P., Massar, S., Gilis, D., Buhrman, H., Rooman, M. (2009) The first peptides: The evolutionary transition between prebiotic amino acids and early proteins.Journal of Theoretical Biology, Vol. 261 (pp 531-539)Article | https://doi.org/10.1016/j.jtbi.2009.09.004 | UvA-DAREvan der Gulik, P.T.S., Hoff, W.D., Speijer, D. (2017) In defence of the three-domains of life paradigm.BMC Evolutionary Biology, Vol. 17Review article | https://doi.org/10.1186/s12862-017-1059-z | UvA-DAREvan der Gulik, P.T.S., Hoff, W.D. (2016) Anticodon modifications in the tRNA set of LUCA and the fundamental regularity in the standard genetic code.PLoS ONE, Vol. 11Article | https://doi.org/10.1371/journal.pone.0158342 | UvA-DAREvan der Gulik, P.T.S., Speijer, D. (2015) How amino acids and peptides shaped the RNA world.Life, Vol. 5 (pp 230-246)Review article | https://doi.org/10.3390/life5010230 | UvA-DAREvan der Gulik, P.T.S. (2015) On the origin of sequence.Life, Vol. 5 (pp 1629-1637)Review article | https://doi.org/10.3390/life5041629 | UvA-DAREvan der Gulik, P.T.S. (2019) Considerations in evolutionary biochemistry.Institute for Logic, Language and Computation.Thesis, externally prepared | UvA-DAREvan der Heijden, N., Abnar, S., Shutova, E. (2020) A comparison of architectures and pretraining methods for contextualized multilingual word embeddings.In AAAI-20, IAAI-20, EAAI-20 proceedings: Thirty-Fourth AAAI Conference on Artificial Intelligence, Thirty-Second Conference on Innovative Applications of Artificial Intelligence, The Tenth Symposium on Educational Advances in Artificial Intelligence : February 7–12th, 2020, New York Hilton Midto (pp 9090-9097) (Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 34). AAAI Press.Conference contribution | https://doi.org/10.1609/aaai.v34i05.6443 | UvA-DAREvan der Heijden, N., Shutova, E., Yannakoudakis, H. (2023) FewShotTextGCN: K-hop neighborhood regularization for few-shot learning on graphs.In Vlachos, A. Augenstein, I. (Eds.), The 17th Conference of the European Chapter of the Association for Computational Linguistics: EACL 2023 : proceedings of the conference : May 2-6, 2023 (pp 1187-1200). Association for Computational Linguistics.Conference contribution | https://doi.org/10.18653/v1/2023.eacl-main.85 | UvA-DAREvan der Heijden, N., Yannakoudakis, H., Mishra, P., Shutova, E. (2021) Multilingual and cross-lingual document classification: A meta-learning approach.In Merlo, P. Tiedemann, J. Tsarfaty, R. (Eds.), The 16th Conference of the European Chapter of the Association for Computational Linguistics: EACL 2021 : proceedings of the conference : April 19-23, 2021 (pp 1966-1976). Association for Computational Linguistics.Conference contribution | https://doi.org/10.18653/v1/2021.eacl-main.168 | UvA-DAREvan der Hoek, W., de Rijke, M. (1997) Sahlqvist identities.In Hazewinkel, M. (Eds.), Encyclopaedia of Mathematics Supplement Volume I (pp 445). Kluwer Academic Publishers.Chapter | UvA-DAREvan der Hoek, W., de Rijke, M. (1997) Sahlqvist's theorem.In Hazewinkel, M. (Eds.), Encyclopaedia of Mathematics Supplement Volume I (pp 445). Kluwer Academic Publishers.Chapter | UvA-DAREvan der Hoek, W. (1999) Interleaved contractions.In Logic, Language and Computation (pp 106-127). CSLI Publications.Chapter | UvA-DAREvan der Meijden, S.L., de Hond, A.A.H., Thoral, P.J., Steyerberg, E.W., Kant, I.M.J., Cina, G., Arbous, M.S. (2023) Intensive Care Unit Physicians' Perspectives on Artificial Intelligence-Based Clinical Decision Support Tools: Preimplementation Survey Study.JMIR Human Factors, Vol. 10Article | https://doi.org/10.2196/39114 | 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