Papandreou-Lazos, Taiki, Bakker, J., Kamps, J. (2025) University of Amsterdam at the CLEF 2025 SimpleText Track.

In Faggioli, G. Ferro, N. Rosso, P. Spina, D. (Eds.), Working Notes of the Conference and Labs of the Evaluation Forum (CLEF 2025): Madrid, Spain, 9-12 September 2025 (pp 4356-4362) (CEUR Workshop Proceedings, Vol. 4038). CEUR-WS.

Papazoglou, M., Aiello, M., Pistore, M., Yang, J. (2002) Xsrl: An xml web-services request language.

Technical Report DIT. Institute for Logic, Language and Computation.

Report | UvA-DARE

Paperno, D., Kruszewski, G., Lazaridou, A., Pham, Q.N., Bernardi, R., Pezzelle, S., Baroni, M., Boleda, G., Fernández, R. (2016) The LAMBADA dataset: Word prediction requiring a broad discourse context.

In Erk, K. Smith, N.A. (Eds.), The 54th Annual Meeting of the Association for Computational Linguistics : ACL 2016: proceedings of the conference : August 7-12, 2016, Berlin Germany (pp 1525-1534). Association for Computational Linguistics.

Parcalabescu, L., Gatt, A., Frank, A., Calixto, I. (2021) Seeing past words: Testing the cross-modal capabilities of pretrained V&L models on counting tasks.

In Donatelli, L. Krishnaswamy, N. Lai, K. Pustejovsky, J. (Eds.), Multimodal Semantic Representations: Proceedings of the First Workshop : IWCS : June 16, 2021 (pp 32-44). The Association for Computational Linguistics.

Pardo, P., Sarrión-Morillo, E., Soler-Toscano, F., Velázquez-Quesada, F.R. (2018) Tuning the program transformers from LCC to PDL.

IfCoLoG Journal of Logics and their Applications, Vol. 5 (pp 71-96)

Article | http://collegepublications.co.uk/ifcolog/?00021 | UvA-DARE

Parfenova, Angelina, Graus, David, Pfeffer, Juergen (2026) From Quotes to Concepts: Axial Coding of Political Debates with Ensemble LMs.

In Campos, Ricardo Jatowt, Adam Lan, Yanyan Aliannejadi, Mohammad Bauer, Christine MacAvaney, Sean Anand, Avishek Bai, Nan Mansoury, Masoud Ren, Zhaochun Verberne, Suzan (Eds.), Advances in Information Retrieval: 48th European Conference on Information Retrieval, ECIR 2026, Delft, The Netherlands, March 29–April 2, 2026 : proceedings (pp 139-154) (Lecture Notes in Computer Science, Vol. 16484). Springer.

Parfenova, I., Elliott, D., Fernández, R., Pezzelle, S. (2021) Probing Cross-Modal Representations in Multi-Step Relational Reasoning.

In Rogers, A. Calixto, I. Vulić, I. Saphra, N. Kassner, N. Camburu, O.-M. Bansal, T. Shwartz, V. (Eds.), The 6th Workshop on Representation Learning for NLP: RepL4NLP 2021 : proceedings of the workshop : August 6, 2021, Bangkok, Thailand (online) (pp 152–162). The Association for Computational Linguistics.

Parkkinen, V.-P., Russo, F., Wallmann, C. (2017) Scientific disagreement and evidential pluralism: Lessons from the studies on hypercholesterolemia.

Humana.Mente : Journal of Philosophical Studies, Vol. 10 (pp 75-116)

Article | http://www.humanamente.eu/index.php/HM/article/view/34 | UvA-DARE

Parkkinen, V.-P., Wallmann, C., Wilde, M., Clarke, B., Illari, P., Kelly, M.P., Norell, C., Russo, F., Shaw, B., Williamson, J. (2018) Evaluating evidence of mechanisms in medicine: Principles and rocedures.

SpringerBriefs in Philosophy. SpringerOpen.

Book | https://doi.org/10.1007/978-3-319-94610-8 | UvA-DARE

Passmann, R. (2020) De Jongh’s Theorem for Intuitionistic Zermelo-Fraenkel Set Theory.

In Fernández, M. Muscholl, A. (Eds.), 28th EACSL Annual Conference on Computer Science Logic: CSL 2020, January 13-16, 2020, Barcelona, Spain (Leibniz International Proceedings in Informatics, Vol. 152). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Passmann, R. (2021) Should pluralists be pluralists about pluralism?.

Synthese, Vol. 199 (pp 12663-12682)

Article | https://doi.org/10.1007/s11229-021-03348-5 | UvA-DARE

Passmann, R. (2023) Logical structure of constructive set theories.

ILLC dissertation series

Thesis, fully internal | UvA-DARE

Passmann, R. (2024) The First-Order Logic of CZF is Intuitionistic First-Order Logic.

Journal of Symbolic Logic, Vol. 89 (pp 308-330)

Article | https://doi.org/10.1017/jsl.2022.51 | UvA-DARE

Patil, A., Jumelet, J., Chiu, Y.Y., Lapastora, A., Shen, P., Wang, L., Willrich, C., Steinert-Threlkeld, S. (2024) Filtered Corpus Training (FiCT) Shows that Language Models Can Generalize from Indirect Evidence.

Transactions of the Association for Computational Linguistics, Vol. 12 (pp 1597-1615)

Article | https://doi.org/10.1162/tacl_a_00720 | UvA-DARE

Patro, S. (2023) Quantum fine-grained complexity.

ILLC Dissertation Series

Thesis, fully internal | UvA-DARE

Pauly, M., Baltag, A. (1999) Proceedings of the ILLC Workshop on Logic and Games.

Technical report ILLC. vg logic/info (oud WINS).

Report | UvA-DARE

Pauly, M., Dekker, P.J.E. (2002) Special issue on Logic and Games.

Journal of Logic, Language and Information (JoLLI). Springer.

Book (Editorship) | UvA-DARE

Pauly, M., Faller, M., Kaufman, S. (2000) Formalizing the Dynamics of Information.

CSLI Publications.

Book (Editorship) | UvA-DARE

Pauly, M. (1999) Modeling Coalitional Power in Modal Logic.

In Proceedings of the 12th Amsterdam Colloquium

Pauly, M. (1999) Game Constructions that are Safe for Bisimulation.

In Marx, M. Gerbrandy, J. de Rijke, M. Venema, Y. (Eds.), JFAK --- Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. ILLC.