uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Klauck, H., Špalek, R., de Wolf, R. (2007) Quantum and Classical Strong Direct Product Theorems and Optimal Time-Space Tradeoffs.
    SIAM Journal on Computing, Vol. 36 (pp 1472-1493)
  • Klebanov, B.B., Shutova, E., Lichtenstein, P., Muresan, S., Leong, C.W., Feldman, A., Ghosh, D. (2020) Introduction.
    In Klebanov, B.B. Shutova, E. Lichtenstein, P. Muresan, S. Wee, C. Feldman, A. Ghosh, D. (Eds.), Figurative Language Processing : Proceedings of the Second Workshop: ACL 2020 : July 9, 2020 (pp iii-iv). Association for Computational Linguistics.
  • Kleer, P., Schäfer, G. (2021) Computation and efficiency of potential function minimizers of combinatorial congestion games.
    Mathematical programming, Vol. 190 (pp 523-560)
  • Klein, D., Majer, O., Rad, S.R. (2021) Probabilities with Gaps and Gluts.
    Journal of Philosophical Logic, Vol. 50 (pp 1107-1141)
  • Klein, E., Veltman, F. (1991) Natural language and speech : symposium proceedings, Brussels, November 26/27, 1991.
    ESPRIT basic research series. Springer-Verlag.
    Book (Editorship) | UvA-DARE
  • Klochowicz, T.J., Ramotowska, S., Aloni, M. (2025) Neglect zero: evidence from priming across constructions.
    In Neglect zero: evidence from priming across constructions (pp 5954-5960)
  • Klochowicz, T.J. (2023) Free Choice Questions.
  • Klomp, U., Gierman, L., Manders, P., Nauta, E., Otterspeer, G., Pelupessy, R., Stern, G., Venter, D., Wubbolts, C., Oomen, M., Roelofsen, F. (2024) An Extension of the NGT Dataset in Global Signbank.
    In Efthimiou, E. Fotinea, S.-E. Hanke, T. Hochgesang, J.A. Mesch, J. Schulder, M. (Eds.), 11th Workshop on the Representation and Processing of Sign Languages: Evaluation of Sign Language Resources (sign-lang@LREC-COLING 2024): LREC-COLING 2024 : workshop proceedings : 25 May 2024, Torino, Italia (pp 178-183) (COLING
    LREC). European Language Resources Association.
  • Klomp, U. (2025) [Review of: T. Haug, W. Mann, U. Knoch (2022) The Handbook of Language Assessment Across Modalities].
    Applied Linguistics, Vol. 46 (pp 365–367)
    Book/Film/Article/Exhibition review | https://doi.org/10.1093/applin/amad064 | UvA-DARE
  • Klubička, F., Fernández, R. (2018) Examining a hate speech corpus for hate speech detection and popularity prediction.
    In Branco, A. Calzolari, N. Choukri, K. (Eds.), 4REAL 2018 : Workshop on Replicability and Reproducibility of Research Results in Science and Technology of Language: LREC 2018 Workshop : proceedings (pp 16-23). European Language Resources Association (ELRA).
    Conference contribution | https://arxiv.org/abs/1805.04661 | UvA-DARE
  • Kluiving, B., de Vries, A., Vrijbergen, P., Boixel, A., Endriss, U. (2020) Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving.
    In De Giacomo, G. Catala, A. Dilkina, B. Milano, M. Barro, S. Bugarín, A. Lang, J. (Eds.), ECAI 2020: 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago de Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings (pp 131-138) (Frontiers in Artificial Intelligence and Applications, Vol. 325). IOS Press.
    Conference contribution | https://doi.org/10.3233/FAIA200085 | UvA-DARE
  • Klumper, S., Schäfer, G. (2022) Budget Feasible Mechanisms for Procurement Auctions with Divisible Agents.
    In Kanellopoulos, P. Kyropoulou, M. Voudouris, A. (Eds.), Algorithmic Game Theory: 15th International Symposium, SAGT 2022, Colchester, UK, September 12–15, 2022 : proceedings (pp 78-93) (Lecture Notes in Computer Science
    Advanced Research in Computing and Software Science, Vol. 13584). Springer.
  • Klumper, S.J. (2025) The gap and the gain: Improving approximate mechanism design frontier in constrained environments.
    IILC dissertation series
    Thesis, fully internal | UvA-DARE
  • Knudstorp, S.B. (2023) Modal Information Logics: Axiomatizations and Decidability.
    Journal of Philosophical Logic, Vol. 52 (pp 1723-1766)
  • Knudstorp, S.B. (2023) Logics of truthmaker semantics: comparison, compactness and decidability.
    Synthese, Vol. 202
  • Knudstorp, S.B. (2024) Relevant S is Undecidable.
    In Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. The Association for Computing Machinery.
  • Kochari, A., Schriefers, Herbert (2017) Size congruity effect extends to vague adjectives: interaction of generalized magnitude representation and language.
    Poster | UvA-DARE
  • Kochari, A., Schriefers, Herbert (2017) When adjectives are like numbers: vague adjectives are processed by the magnitude representation system.
    Poster | UvA-DARE
  • Kochari, A., van Rooij, R., Schulz, K. (2020) Experimenting with subject alternatives for analysing generic sentences.
    In Franke, M. Kompa, N. Liu, M. Mueller, J.L. Schwab, J. (Eds.), Proceedings of Sinn und Bedeutung 24 (pp 411-428). Osnabrück University.
  • Kochari, A., van Rooij, R., Schulz, K. (2020) Generics and alternatives.
    Frontiers in Psychology, Vol. 11
1 ... 171 172 173 174 175 176 177 178 179 ... 326

The 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