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

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Kupke, C.A., Kurz, A., Venema, Y. (2004) Stone Coalgebras.

Theoretical Computer Science, Vol. 327 (pp 109-134)

Article | https://doi.org/10.1016/j.tcs.2004.07.023 | UvA-DARE

Kupke, C.A., Venema, Y. (2005) Closure properties of coalgebra automata.

In Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05) (pp 199-208). IEEE Press.

Kupke, C.A. (2006) Finitary coalgebraic logics.

Institute for Logic, Language and Computation.

Thesis, fully internal | 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. (1997) Simulating without negation.

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

Article | UvA-DARE

Kurtonina, N., de Rijke, M. (1997) Classifying description logics.

In Rousset, M.-C. (Eds.), Proc. International Workshop on Description Logics (DL'97) (pp 49-53)

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) Making database explicit in categorial grammar.

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

Article | UvA-DARE

Kurtonina, N. (1995) Frames and Labels.

Thesis, fully external | UvA-DARE

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

Technical Report. onbekend (FdL).

Report | 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