Beelen, K., Lotze, K., Kisjes, I., van Oort, T. (2019) Digifil. Digital film listings.

In CLARIAH - A Digital Research Infrastructure for Humanities Researchers in The Netherlands (pp 70)

Beelen, K., Olieman, A., Kamps, J. (2017) Historical Event Search in Digital Heritage: Studying Commemorative Practices in Diachronic Corpora .

In Fensel, A. Daniele, L. (Eds.), Joint Proceedings of SEMANTiCS 2017 Workshops: co-located with the 13th International Conference on Semantic Systems (SEMANTiCS 2017) : Amsterdam, Netherlands, September 11 and 14, 2017 (CEUR Workshop Proceedings, Vol. 2063). CEUR-WS.

Beerends, R.J., Haven, A.S., Lodder, J., Mulder, H.M., de Rijke, M., Thijsse, E.G.C. (1997) Bewijzen.

In Discrete Wiskunde I. Open Universiteit.

Behnke, G., Pollitt, F., Höller, D., Bercher, P., Alford, R. (2022) Making Translations to Classical Planning Competitive With Other HTN Planners.

In Sycara, K. Honavar, V. Spaan, M. (Eds.), Proceedings of the 36th AAAI Conference on Artificial Intelligence: AAAI-22 : virtual conference, Vancouver, Canada, February 22-March 1, 2022 (pp 9687-9697). AAAI Press.

Behnke, G., Speck, David, Katz, M., Sohrabi, S. (2023) On Partial Satisfaction Planning with Total-Order HTNs.

In Koenig, S. Stern, R. Vallati, M. (Eds.), Proceedings of the Thirty-Third International Conference on Automated Planning and Scheduling: July 8–13, 2023, Prague, Czech Republic (pp 42-51) (ICAPS, Vol. 33). AAAI Press.

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