uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Behnke, G., Wais, N. (2022) Quantifizierung fachsprachlich bedingter Bedeutungsunterschiede in Gerichtsentscheidungen.
    Zeitschrift für Digitalisierung und Recht (ZfDR), Vol. 2 (pp 35-52)
    Article | UvA-DARE
  • Behnke, G., Wais, N. (2023) On the Semantic Difference of Judicial and Standard Language.
    In Nineteenth International Conference on Artificial Intelligence and Law: Proceedings of the Conference : Braga, Portugal, June 19-23, 2023, Universidade do Minho Law School (pp 382-386). The Association for Computing Machinery.
  • Beigel, R., Buhrman, H., Feijer, P., Fortnow, L., Grabowski, P., Longpre, L., Muchnik, A., Stephan, F., Torenvliet, L. (2006) Enumerations of the Kolmogorov Function.
    Journal of Symbolic Logic, Vol. 7 (pp 501-528)
    Article | UvA-DARE
  • Beigel, R., Buhrman, H., Fortnow, L. (1997) Might not be as easy as detecting unique solutions..
    Technical Report. University of Chicago.
    Report | UvA-DARE
  • Beinborn, L.M., Abnar, S., Choenni, Rochelle (2019) Robust Evaluation of Language-Brain Encoding Experiments.
    International Journal of Computational Linguistics and Applications
  • Beinborn, L.M., Botschen, T., Gurevych, I. (2018) Multimodal Grounding for Language Processing.
    In Bender, E.M. Derczynski, L. Isabelle, P. (Eds.), The 27th International Conference on Computational Linguistics: COLING 2018 : proceedings of the conference : August 20-26, 2018, Santa Fe, New Mexico, USA (pp 2325-2339). Association for Computational Linguistics.
    Conference contribution | http://aclweb.org/anthology/C18-1197 | UvA-DARE
  • Beinborn, L.M., Choenni, Rochelle (2019) Semantic Drift in Multilingual Representations.
    Working paper | UvA-DARE
  • Beklemishev, L., Bezhanishvili, G., Mundici, D., Venema, Y. (2012) Foreword.
    Studia Logica, Vol. 100 (pp 1-7)
  • Beklemishev, L., Joosten, J.J., Vervoort, M.R. (2005) A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Belkin, N.J., Bogers, T., Kamps, J., Kelly, D., Koolen, M.H.A., Yilmaz, E. (2017) Second Workshop on Supporting Complex Search Tasks.
    In CHIIR'17: proceedings of the 2017 Conference Human Information Interaction and Retrieval : March 7-11, 2017, Oslo, Norway (pp 433-435). The Association for Computing Machinery.
  • Belkin, N.J., Clarke, C.L.A., Gao, N., Kamps, J., Karlgren, J. (2011) Proceedings of the SIGIR 2011 Workshop on "entertain me" : Supporting Complex Search Tasks.
    IR Publications.
    Book (Editorship) | UvA-DARE
  • Belkin, N.J., Clarke, C.L.A., Gao, N., Kamps, J., Karlgren, J. (2011) Report on the SIGIR 2011 Workshop on "entertain me" : Supporting Complex Search Tasks.
    SIGIR Forum, Vol. 45 (pp 51-59)
  • Bellas Acosta, I., Venema, Y. (2024) Counting to infinity: Graded modal logic with an infinity diamond.
    Review of Symbolic Logic, Vol. 17 (pp 1-35)
  • Bellomo, A. (2019) Bolzano's real numbers: sets or sums?.
    Abstract | UvA-DARE
  • Bellomo, A. (2021) Domain Extension and Ideal Elements in Mathematics.
    Philosophia Mathematica, Vol. 29 (pp 366–391)
  • Bellomo, A. (2022) Sums, numbers and infinity: Collections in Bolzano's mathematics and philosophy.
    ILLC dissertation series. Institute for Logic, Language and Computation.
    Thesis, externally prepared | UvA-DARE
  • Bellot, P., Bogers, T., Geva, S., Hall, M., Huurdeman, H., Kamps, J., Kazai, G., Koolen, M.H.A., Moriceau, V., Mothe, J., Preminger, M., SanJuan, E., Schenkel, R., Skov, M., Tannier, X., Walsh, D. (2014) Overview of INEX 2014.
    In Kanoulas, E. Lupu, M. Clough, P. Sanderson, M. Hall, M. Hanbury, A. Toms, E. (Eds.), Information Access Evaluation : Multilinguality, Multimodality, and Interaction: 5th International Conference of the CLEF Initiative, CLEF 2014, Sheffield, UK, September 15-18, 2014 : proceedings (pp 212-228) (Lecture Notes in Computer Science, Vol. 8685). Springer.
  • Bellot, P., Chappell, T., Doucet, A., Geva, S., Gurajada, S., Kamps, J., Kazai, G., Koolen, M.H.A., Landoni, M., Marx, M., Mishra, A., Moriceau, V., Mothe, J., Preminger, M., Ramírez, G., Sanderson, M., SanJuan, E., Scholer, F., Schuh, A., Tannier, X., Theobald, M., Trappett, M., Trotman, A., Wang, Q. (2012) Report on INEX 2012.
    SIGIR Forum, Vol. 46 (pp 50-59)
  • Bellot, P., Chappell, T., Doucet, A., Geva, S., Kamps, J., Kazai, G., Koolen, M.H.A., Landoni, M., Marx, M., Moriceau, V., Mothe, J., Ramírez, G., Sanderson, M., SanJuan, E., Scholer, F., Tannier, X., Theobald, M., Trappett, M., Trotman, A., Wang, Q. (2012) Report on INEX 2011.
    SIGIR Forum, Vol. 46 (pp 33-42)
  • Bellot, P., Doucet, A., Geva, S., Gurajada, S., Kamps, J., Kazai, G., Koolen, M.H.A., Mishra, A., Moriceau, V., Mothe, J., Preminger, M., SanJuan, E., Schenkel, R., Tannier, X., Theobald, M., Trappett, M., Trotman, A., Sanderson, M., Scholer, F., Wang, Q. (2013) Report on INEX 2013.
    SIGIR Forum, Vol. 47 (pp 21-32)
1 ... 31 32 33 34 35 36 37 38 39 ... 308

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