Kurtonina, N., de Rijke, M. (1997) Simulating without negation.

Journal of Logic and Computation, Vol. 7 (pp 503-524)

Article | UvA-DARE

Kurtonina, N., de Rijke, M. (1997) Expressiveness of first-order description logics.

Research Report. University of Warwick.

Report | UvA-DARE

Kurtonina, N., de Rijke, M. (1997) Bisimulations for temporal logic.

Journal of Logic, Language and Information, Vol. 6 (pp 403-425)

Article | UvA-DARE

Kurtonina, N., de Rijke, M. (1999) Expressiveness of concept expressions in first-order description logics.

Artificial Intelligence, Vol. 107 (pp 303-333)

Article | https://doi.org/10.1016/S0004-3702(98)00109-X | UvA-DARE

Kurtonina, N. (1995) Frames and Labels. A modal analysis of categorial inference.

Technical Report. onbekend (FdL).

Report | UvA-DARE

Kurtonina, N. (1995) Frames and Labels.

Thesis, fully external | UvA-DARE

Kurtonina, N. (1995) Making database explicit in categorial grammar.

Bulletin of the IGPL, Vol. 1 (pp 68-73)

Article | UvA-DARE

Kurz, A., Kupke, C.A., Venema, Y. (2003) Stone coalgebras.

Electronic Notes in Theoretical Computer Science, Vol. 82

Article | UvA-DARE

Kurz, A., Venema, Y. (2010) Coalgebraic Lindström Theorems.

In Beklemishev, L. Goranko, V. Shehtman, V. (Eds.), Advances in Modal Logic: AiML 8 (pp 292-309). College Publications.

Kurzen, L., Grossi, D., Velázquez-Quesada, F.R. (2010) Logic and Interactive RAtionality. Yearbook 2009.

Universiteit van Amsterdam, Institute for Logic, Language, and Information.

Book (Editorship) | http://www.illc.uva.nl/dg/wp-content/uploads/2012/07/yearbook.2009.pdf | UvA-DARE

Kurzen, L., Velázquez-Quesada, F.R. (2009) Logics for Dynamics of Information and Preferences: Seminar’s yearbook 2008.

Institute for Logic, Language and Computation, Universiteit van Amsterdam.

Book (Editorship) | http://www.illc.uva.nl/lgc/seminar/docs/DynamicYearbook2008-A410.pdf | UvA-DARE

Kurzen, L. (2010) Eleusis: complexity and interaction in inductive inference.

In Arrazola, X. Ponte, M. (Eds.), Proceedings of the Second ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action, LogKCA-10, Donostia-San Sebastián. UPV-EHU.

Kurzen, L.M. (2011) Complexity in interaction.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Kutuzov, A., Giulianelli, M. (2020) UiO-UvA at SemEval-2020 Task 1: Contextualised Embeddings for Lexical Semantic Change Detection.

In Herbelot, A. Zhu, X. Palmer, A. Schneider, N. May, J. Shutova, E. (Eds.), The International Workshop on Semantic Evaluation: COLING 2020 : Proceedings of the Fourteenth Workshop : December 12-13, 2020, Barcelona, Spain (online) (pp 126-134). International Committee on Computational Linguistics.

Kuvcera, A., Terwijn, S.A. (1997) Lowness for the class of random sets.

Technical Report. onbekend (FdL).

Report | UvA-DARE

Lackner, M., Maly, J., Rey, S. (2021) Fairness in Long-Term Participatory Budgeting.

In Zhou, Z.-H. (Eds.), Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence: IJCAI 2021, virtual event : Montreal, 19-27 August 2021 (pp 299-305). International Joint Conferences on Artificial Intelligence.

Ladinig, O., Honing, H., Háden, G., Winkler, I. (2009) Probing attentive and preattentive emergent meter in adult listeners without extensive music training.

Music Perception, Vol. 26 (pp 377-386)

Article | https://doi.org/10.1525/MP.2009.26.4.377 | UvA-DARE

Ladinig, O., Honing, H. (2007) Complexity judgments as a measure for metric salience: Is there indeed a difference between musicians and non-musicians?.

In Proceedings of the Society for Music Perception and Cognition (SMPC) (pp 27). Concordia University.

Ladinig, O., Honing, H. (2008) An empirically validated model of complexity: Longuet-Higgins and Lee reconsidered.

Abstract | UvA-DARE

Ladinig, O. (2009) Temporal expectations and their violations.

Thesis, fully internal | UvA-DARE