Behnke, G. (2024) Symbolic Reasoning Methods for AI Planning.

In Proceedings of the 38th AAAI Conference on Artificial Intelligence (AAAI 2024) (Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 38). AAAI Press.

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., 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.

Beinborn, L.M., Abnar, S., Choenni, Rochelle (2019) Robust Evaluation of Language-Brain Encoding Experiments.

International Journal of Computational Linguistics and Applications

Article | https://arxiv.org/abs/1904.02547 | 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)

Editorial | https://doi.org/10.1007/s11225-012-9394-y | UvA-DARE

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., 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)

Article | https://doi.org/10.1145/2093346.2093354 | UvA-DARE

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)

Article | https://doi.org/10.1017/S1755020322000247 | UvA-DARE

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)

Article | https://doi.org/10.1093/philmat/nkab018 | UvA-DARE

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., 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., 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)

Article | https://doi.org/10.1145/2422256.2422264 | UvA-DARE

Bellot, P., Chappell, T., Doucet, A., Geva, S., Kamps, J., Kazai, G., Koolen, M., 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)

Article | https://doi.org/10.1145/2215676.2215679 | UvA-DARE

Bellot, P., Doucet, A., Geva, S., Gurajada, S., Kamps, J., Kazai, G., Koolen, M., 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)

Article | https://doi.org/10.1145/2568388.2568393 | UvA-DARE

Bellot, P., Doucet, A., Geva, S., Gurajada, S., Kamps, J., Kazai, G., Koolen, M., Mishra, A., Moriceau, V., Mothe, J., Preminger, M., SanJuan, E., Schenkel, R., Tannier, X., Theobald, M., Trappett, M., Wang, Q. (2013) Overview of INEX 2013.

In Forner, P. Müller, H. Paredes, R. Rosso, P. Stein, B. (Eds.), Information Access Evaluation : Multilinguality, Multimodality, and Visualization: 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013 : proceedings (pp 269-281) (Lecture Notes in Computer Science, Vol. 8138). Springer.