Joosten, J.J. (2007) Lowerbounds in Proof Complexity.

The Bulletin of Symbolic Logic, Vol. 13 (pp 263-263)

Article | UvA-DARE

Joosten, J.J. (2007) Propositional Proof Systems and Fast Consistency Provers.

Notre Dame Journal of Formal Logic, Vol. 48 (pp 381-398)

Article | UvA-DARE

Ju, F., Grilletti, G. (2017) A Dynamic Approach to Temporal Normative Logic.

In Baltag, A. Seligman, J. Yamada, T. (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp 512-525) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 10455). Springer.

Jumelet, J., Denić, M., Szymanik, J., Hupkes, D., Steinert-Threlkeld, S. (2021) Language models use monotonicity to assess NPI licensing.

In Zong, C. Xia, F. Li, W. Navigli, R. (Eds.), Findings of the Association for Computational Linguistics: ACL-IJCNLP 2021: Findings of ACL: ACL-IJCNLP 2021 : August 1-6, 2021 (pp 4958–4969). The Association for Computational Linguistics.

Jumelet, J., Hanna, M., de Heer Kloots, M., Langedijk, A., Pouw, C., van der Wal, O. (2023) ChapGTP, ILLC’s Attempt at Raising a BabyLM: Improving Data Efficiency by Automatic Task Formation.

In Warstadt, A. Mueller, A. Choshen, L. Wilcox, E. Zhuang, C. Ciro, J. Mosquera, R. Paranjabe, B. Williams, A. Linzen, T. Cotterell, R. (Eds.), Findings of the BabyLM Challenge: Sample-efficient pretraining on developmentally plausible corpora (pp 74-85). Association for Computational Linguistics.

Jumelet, J., Hupkes, D. (2018) Do Language Models Understand Anything? On the Ability of LSTMs to Understand Negative Polarity Items.

In Linzen, T. Chrupała, G. Alishahi, A. (Eds.), The 2018 EMNLP Workshop BlackboxNLP: Analyzing and Interpreting Neural Networks for NLP: EMNLP 2018 : proceedings of the First Workshop : November 1, 2018, Brussels, Belgium (pp 222-231). The Association for Computational Linguistics.

Jumelet, J., Zuidema, W., Hupkes, D. (2019) Analysing Neural Language Models: Contextual Decomposition Reveals Default Reasoning in Number and Gender Assignment.

In Bansal, M. Villavicencio, A. (Eds.), The 23rd Conference on Computational Natural Language Learning: CoNLL 2019 : proceedings of the conference : November 3-4, 2019, Hong Kong, China (pp 1-11). The Association for Computational Linguistics.

Jumelet, J., Zuidema, W., Sinclair, A. (2024) Do Language Models Exhibit Human-like Structural Priming Effects?.

In Ku, L.-W. Martins, A. Srikumar, V. (Eds.), The 62nd Annual Meeting of the Association for Computational Linguistics : Findings of the Association for Computational Linguistics: ACL 2024: ACL 2024 : August 11-16, 2024 (pp 14727-14742). Association for Computational Linguistics.

Jumelet, J., Zuidema, W. (2023) Transparency at the Source: Evaluating and Interpreting Language Models With Access to the True Distribution.

In Bouamor, H. Pino, J. Bali, K. (Eds.), The 2023 Conference on Empirical Methods in Natural Language Processing : Findings of the Association for Computational Linguistics: EMNLP 2023: December 6-10, 2023 (pp 4354–4369). Association for Computational Linguistics.

Jumelet, J., Zuidema, W. (2023) Feature Interactions Reveal Linguistic Structure in Language Models.

In Rogers, A. Boyd-Graber, J. Okazaki, N. (Eds.), Findings of the Association for Computational Linguistics: ACL 2023: July 9-14, 2023 (pp 8697–8712). Association for Computational Linguistics.

Jumelet, J. (2020) diagNNose: A Library for Neural Activation Analysis.

In Alishahi, A. Belinkov, Y. Chrupała, G. Hupkes, D. Pinter, Y. (Eds.), Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP: BlackboxNLP2020 (pp 342-350). The Association for Computational Linguistics.

Jumelet, J. (2024) Finding structure in language models.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Kaart, M, Torenvliet, L., van Best, J.P., Vree, W.G. (2004) The importance of measurements for Internet policy.

In Proc. of the IEEE 2004 International Conference on Systems, Man, and Cybernetics (SMC2004) (pp 4711)

Kackovic, M., Colavizza, G., Leiter, A. (2021) Crypto Art – The new kid on the block.

Global Digital Cultures.

Web publication or website | https://globaldigitalcultures.org/2021/02/15/crypto-art-the-new-kid-on-the-block/ | UvA-DARE

Kaldewaij, A., Dielissen, V.J. (1996) Leaf trees.

Science of Computer Programming, Vol. 26 (pp 149-165)

Article | https://doi.org/10.1016/0167-6423(95)00026-7 | UvA-DARE

Kalsbeek, M.B., Jiang, Y. (1995) Vademecum of Ambivalent Logic.

Technical Report. onbekend (FdL).

Report | UvA-DARE

Kalsbeek, M.B., Jiang, Y. (1995) A vademecum of ambivalent logic.

In Turini, F. Apt, K.R. (Eds.), Meta-logics and Logic Programming (pp 27-56). The MIT Press.

Kalsbeek, M.B. (1995) Meta-Logics for Logic Programming.

Thesis, fully internal | UvA-DARE

Kalsbeek, M.B. (1995) Correctness of the vanilla meta-interpreter and ambivalent syntax.

In Turini, F. Apt, K.R. (Eds.), Meta-logics and Logic Programming (pp 3-26). The MIT Press.

Kamali, B., Zeijlstra, H. (2024) Negative dependencies in Turkish.

Languages, Vol. 9

Article | https://doi.org/10.3390/languages9110342 | UvA-DARE