Bezhanishvili, N., van der Hoek, W. (2014) Structures for epistemic logic.

In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 339-380) (Outstanding contributions to logic, Vol. 5). Springer.

Bezhanishvili, N., Yang, F. (2024) Intermediate Logics in the Setting of Team Semantics.

In Bezhanishvili, N. Iemhoff, R. Yang, F. (Eds.), Dick de Jongh on Intuitionistic and Provability Logics (pp 231-271) (Outstanding Contributions to Logic, Vol. 28). Springer.

Bezhanishvili, N. (2000) Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I..

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Bezhanishvili, N. (2002) Two-dimensional cylindric algebras.part ii.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Bezhanishvili, N. (2002) Pseudomonadic algebras as algebraic models of doxastic modal logic.

Mathematical Logic Quarterly, Vol. 48 (pp 624-636)

Article | https://doi.org/10.1002/1521-3870(200211)48:4<624::AID-MALQ624>3.0.CO;2-3 | UvA-DARE

Bezhanishvili, N. (2002) Varieties of two-dimensional cylindric algebras.

Algebra Universalis, Vol. 48 (pp 11-42)

Article | https://doi.org/10.1007/s00012-002-8203-2 | UvA-DARE

Bezhanishvili, N. (2004) Varieties of two-dimensional cylindric algebras II.

Algebra Universalis, Vol. 51 (pp 177-206)

Article | https://doi.org/10.1007/s00012-004-1856-2 | UvA-DARE

Bezhanishvili, N. (2004) De Jongh's characterization of intuitionistic propositional calculus.

In Liber amicorum Dick de Jongh (pp 1-10). Amsterdam University Press.

Bezhanishvili, N. (2006) Lattices of intermediate and cylindric modal logics.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Bhargav, S., van Noord, N., Kamps, J. (2019) Deep learning as a tool for early cinema analysis.

In SUMAC '19: proceedings of the 1st Workshop on Structuring and Understanding of Multimedia Heritage Contents : October 21, 2019, Nice, France (pp 61-68). The Association for Computing Machinery.

Biagioli, C., Grossi, D. (2009) Formalizzazione del modello DAO.

In Biagioli, C. (Eds.), Modelli funzionali delle leggi: Verso testi legislativi autoesplicativi (pp 145-152) (Series in legal information and communication technologies). European Press Academic Publishing.

Biderman, S., Schoelkopf, H., Anthony, Q., Bradley, H., O'Brien, K., Hallahan, E., Khan, M.A., Purohit, S., Sai Prashanth, U.S., Raff, E., Skowron, A., Sutawika, L., van der Wal, O. (2023) Pythia: A Suite for Analyzing Large Language Models Across Training and Scaling.

Proceedings of Machine Learning Research, Vol. 202 (pp 2397-2430)

Article | https://proceedings.mlr.press/v202/biderman23a.html | UvA-DARE

Bílková, M., de Jongh, D., Joosten, J.J. (2009) Interpretability in PRA.

Annals of Pure and Applied Logic, Vol. 161 (pp 128-138)

Article | https://doi.org/10.1016/j.apal.2009.05.012 | UvA-DARE

Bílková, M., Palmigiano, A., Venema, Y. (2008) Proof systems for the coalgebraic cover modality.

In Areces, C. Goldblatt, R. (Eds.), Advances in Modal Logic 7 (pp 1-21). College Publications.

Bílková, M., Palmigiano, A., Venema, Y. (2014) Proof systems for Moss’ coalgebraic logic.

Theoretical Computer Science, Vol. 549 (pp 36-60)

Article | https://doi.org/10.1016/j.tcs.2014.06.018 | UvA-DARE

Bílková, M., Velebil, J., Venema, Y. (2011) On monotone modalities and adjointness.

Mathematical Structures in Computer Science, Vol. 21 (pp 383-416)

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

Birmpas, G., Markakis, E., Schäfer, G. (2022) Cost Sharing over Combinatorial Domains.

ACM Transactions on Economics and Computation , Vol. 10

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

Bisconti, P., McIntyre, A., Russo, F. (2024) Synthetic Socio-Technical Systems: Poiêsis as Meaning Making.

Philosophy & Technology, Vol. 37

Article | https://doi.org/10.1007/s13347-024-00778-0 | UvA-DARE

Bistarelli, S., Gennari, R., Rossi, F. (2000) Constraint Propagation for Soft Constraint Satisfaction Problems: Generalization and Termination Conditions.

Lecture Notes in Computer Science, Vol. 1894

Article | UvA-DARE

Bjorndahl, A., Özgün, A. (2017) Logic and Topology for Knowledge, Knowability, and Belief: Extended Abstract.

Electronic Proceedings in Theoretical Computer Science, Vol. 251 (pp 88-101)

Article | https://doi.org/10.4204/EPTCS.251.7 | UvA-DARE