Behnke, G., Bercher, P. (2024) Envisioning a Domain Learning Track for the IPC.

In Proceedings of 2024 Workshop on the International Planning Competition (WIPC 2024). ICAPS.

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., Steinmetz, M. (2024) On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification: Technical Report.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2403.17826 | UvA-DARE

Behnke, G., Steinmetz, M. (2024) On the Computational Complexity of Stackelberg Planning and Meta-Operator Verification.

In Bernardini, S. Muise, C. (Eds.), Proceedings of the Thirty-Fourth International Conference on Automated Planning and Scheduling: June 1–6, 2024, Alberta, Canada (pp 20-24) (ICAPS, Vol. 34). 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.

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

In Wooldridge, M. Dy, J. Natarajan, S. (Eds.), Proceedings of the 38th AAAI Conference on Artificial Intelligence: AAAI-2024 (pp 22661). 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