uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Klauck, H., Spalek, R., de Wolf, R. (2004) Quantum and Classical Strong Direct Product Theorems and Optimal Time-Space Tradeoffs.
    In Proceedings of 45th IEEE FOCS (pp 12-21)
  • 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., Schlotterbeck, Fabian, Bott, O., Ramotowska, S., Aloni, M. (2025) Neglect zero: evidence from priming across constructions.
    In Barner, D. Bramley, N.R. Ruggeri, A. Walker, C.M. (Eds.), 47th Annual Meeting of the Cognitive Science Society (CogSci 2025) (pp 5954-5960) (Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 47). Cognitive Science Society.
  • Klochowicz, T.J. (2023) Free Choice Questions.
  • Kloibhofer, J., Trucco Dalmas, Valentina, Venema, Y. (2026) Interpolation for Converse PDL.
    In Pozzato, G.L. Uustalu, T. (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025 : proceedings (pp 258–277) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 15980). Springer.
  • Kloibhofer, J., Venema, Y. (2025) Interpolation for the two-way modal μ-calculus.
    In 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science: LICS 2025 : 23-26 June 2025, Singapore : proceedings (pp 155-168). IEEE Computer Society.
  • Kloibhofer, J. (2026) Cycles with annotations: Non-wellfounded proof theory of modal fixpoint logics.
    ILLC Dissertation Series
    Thesis, fully internal | UvA-DARE
  • 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., Oomen, M., Pfau, R. (2025) Negation in Sign Language of the Netherlands.
    In Miestamo, M. Veselinova, L. (Eds.), Negation in the world’s languages II: Eurasia (pp 37-70) (Research on Comparative Grammar, Vol. 8). Language Science Press.
  • 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., Franssen, Timo Niek (2025) Axiomatization and Decidability of Tense Information Logic.
    In Logic, Language, Information, and Computation. WoLLIC 2025. Lecture Notes in Computer Science (pp 158-174). Springer Cham.
  • Knudstorp, S.B. (2023) Modal Information Logics: Axiomatizations and Decidability.
    Journal of Philosophical Logic, Vol. 52 (pp 1723-1766)
1 ... 178 179 180 181 182 183 184 185 186 ... 341

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