uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Le Scao, T., Kalo, J.-C., van der Wal, O., Wang, B. (2023) BLOOM: A 176B-Parameter Open-Access Multilingual Language Model.
    ArXiv.
  • McGillivray, B., Colavizza, G. (2020) The challenges and prospects of the intersection of humanities and data science: A White Paper from The Alan Turing Institute.
    The Alan Turing Institute.
  • Brave , R., Russo, F., Uzovic, O., Wagemans, J. (2023) Can an AI Analyze Arguments? Argument-Checking and the Challenges of Assessing the Quality of Online Information.
    In El Morr, C. (Eds.), AI and Society: Tensions and Opportunities (pp 267-281) (Chapman & Hall/CRC Artificial Intelligence and Robotics Series). CRC Press.
  • Correia, G., Niculae, V., Aziz, W., Martins, A. (2021) Efficient Marginalization of Discrete and Structured Latent Variables via Sparsity.
    In Larochelle, H. Ranzato, M. Hadsell, R. Balcan, M.F. Lin, H. (Eds.), 34th Concerence on Neural Information Processing Systems (NeurIPS 2020): online, 6-12 December 2020 (pp 11789-11802) (Advances in Neural Information Processing Systems, Vol. 33). Neural Information Processing Systems Foundation.
  • Abbas, A., Ambainis, A., Augustino, B., Bärtschi, A., Buhrman, H., Coffrin, C., Cortiana, G., Dunjko, V., Egger, D.J., Elmegreen, B.G., Franco, N., Fratini, F., Fuller, B., Gacon, J., Gonciulea, C., Gribling, S., Gupta, S., Hadfield, S., Heese, R., Kircher, G., Kleinert, T., Koch, T., Korpas, G., Lenk, S., Marecek, J., Markov, V., Mazzola, G., Mensa, S., Mohseni, N., Nannicini, G., O’Meara, C., Peña Tapia, E., Pokutta, S., Proissl, M., Rebentrost, P., Sahin, E., Symons, B.C.B., Tornow, S., Valls, V., Woerner, S., Wolf-Bauwens, M.L., Yard, J., Yarkoni, S., Zechiel, D., Zhuk, S., Zoufal, C. (2024) Challenges and opportunities in quantum optimization.
    Nature Reviews Physics, Vol. 6 (pp 718-735)
  • Abnar, S., Beinborn, L., Choenni, Rochelle, Zuidema, W. (2019) Blackbox Meets Blackbox: Representational Similarity & Stability Analysis of Neural Language Models and Brains.
    In Linzen, T. Chrupała, G. Belinkov, Y. Hupkes, D. (Eds.), The BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP at ACL 2019: ACL 2019 : proceedings of the Second Workshop : August 1, 2019, Florence, Italy (pp 191-203). The Association for Computational Linguistics.
    Conference contribution | https://doi.org/10.18653/v1/W19-4820 | UvA-DARE
  • Abnar, S., Zuidema, W. (2020) Quantifying Attention Flow in Transformers.
    In Jurafsky, D. Chai, J. Schluter, N. Tetreault, J. (Eds.), The 58th Annual Meeting of the Association for Computational Linguistics: ACL 2020 : Proceedings of the Conference : July 5-10, 2020 (pp 4190-4197). The Association for Computational Linguistics.
  • Abnar, S. (2023) Inductive biases for learning natural language.
    ILLC Dissertation Series
    Thesis, fully internal | UvA-DARE
  • Adam-Day, S., Bezhanishvili, N., Gabelaia, D., Marra, V. (2024) Polyhedral completeness of intermediate logics: The Nerve Criterion.
    Journal of Symbolic Logic, Vol. 89 (pp 342-382)
  • Aerts, Diederik, Broekaert, Jan, Smets, S. (1998) Inconsistencies in constituent theories of world views: Quantum mechanical examples.
    Foundations of Science, Vol. 3 (pp 313-340)
  • Aerts, Diederik, Broekaert, Jan, Smets, S. (1999) The liar-paradox in a quantum mechanical perspective.
    Foundations of Science, Vol. 4 (pp 115-132)
  • Aerts, Diederik, Broekaert, Jan, Smets, S. (1999) A quantum structure description of the liar paradox.
    International Journal of Theoretical Physics, Vol. 38 (pp 3231-3239)
  • Aerts, Diederik, Smets, S., Van Bendegem, J.P. (2010) The Contributions of Logic to the Foundations of Physics: Foreword.
    Studia Logica, Vol. 95 (pp 1-3)
  • Afshari, B., Enqvist, S., Leigh, G.E. (2024) Cyclic proofs for the first-order μ-calculus.
    Logic Journal of the IGPL, Vol. 32 (pp 1–34)
  • Afshari, B., Enqvist, Sebastian, Leigh, Graham E., Marti, Johannes, Venema, Y. (2025) Proof Systems for two-Way Modal μ-Calculus.
    Journal of Symbolic Logic, Vol. 90 (pp 1211-1260)
  • Afshari, B., Hetzl, S., Leigh, G.E. (2020) Herbrand's theorem as higher order recursion.
    Annals of Pure and Applied Logic, Vol. 171
  • Afshari, B., Kloibhofer, J. (2025) Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic.
    Electronic Proceedings in Theoretical Computer Science, Vol. 435 (pp 21-40)
  • Afshari, B., Leigh, G.E., Menéndez Turata, G. (2021) Uniform Interpolation from Cyclic Proofs: The Case of Modal Mu-Calculus.
    In Das, A. Negri, S. (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp 335-353) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 12842). Springer.
  • Afshari, B., Leigh, G.E., Menéndez Turata, G. (2023) A Cyclic Proof System for Full Computation Tree Logic.
    In Klin, B. Pimentel, E. (Eds.), 31st EACSL Annual Conference on Computer Science Logic: CSL 2023, February 13-16, 2023, Warsaw, Poland (Leibniz International Proceedings in Informatics, Vol. 252). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
  • Afshari, B., Leigh, G.E. (2022) Lyndon interpolation for modal μ-calculus.
    In Özgün, A. Zinova, Y. (Eds.), Language, Logic, and Computation: 13th International Tbilisi Symposium, TbiLLC 2019, Batumi, Georgia, September 16-20, 2019 : revised selected papers (pp 197–213) (Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 13206). Springer.
 
1 2 3 4 5 6 7 8 9 10 ... 95

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