Boixel, A., de Haan, R. (2021) On the Complexity of Finding Justifications for Collective Decisions.

In AAAI-21, IAAI-21, EAAI-21 proceedings: a virtual conference, February 2-9, 2021 : Thirty-Fifth AAAI Conference on Artificial Intelligence, Thirty-Third Conference on Innovative Applications of Articicial Intelligence, Eleventh Symposium on Educational Advances in Artificial Intelligence (pp 5194-5201) (Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 35). AAAI Press.

Boixel, A., Endriss, U., de Haan, R. (2022) A Calculus for Computing Structured Justifications for Election Outcomes.

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 4859-4866). AAAI Press.

Boixel, A., Endriss, U., Nardi, O. (2022) Displaying Justifications for Collective Decisions.

In De Raedt, L. (Eds.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence: IJCAI 2022, Vienna, Austria, 23-29 July 2022 (pp 5892-5895). International Joint Conferences on Artificial Intelligence.

Boixel, A., Endriss, U., Proff, Iris (2020) Explaining voting outcomes with artificial intelligence.

Digital or Visual Products | https://www.youtube.com/watch?v=HexNGGnujzU | UvA-DARE

Boixel, A., Endriss, U., Proff, Iris (2020) Why no voting system is fair - and how AI can help.

Digital or Visual Products | https://www.youtube.com/watch?v=sJcqNEyTUwg | UvA-DARE

Boixel, A., Endriss, U. (2020) Automated Justification of Collective Decisions via Constraint Solving.

In AAMAS'20: proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems : May 9-13, 2020, Auckland, New Zealand (pp 168-176). International Foundation for Autonomous Agents and Multiagent Systems.

Boixel, A. (2020) Computer-aided Reasoning about Collective Decision Making.

In AAMAS'20: proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems : May 9-13, 2020, Auckland, New Zealand (pp 2176-2178). International Foundation for Autonomous Agents and Multiagent Systems.

Bokányi, E., Heemskerk, E.M., Takes, F.W. (2023) The anatomy of a population-scale social network.

Scientific Reports, Vol. 13

Article | https://doi.org/10.1038/s41598-023-36324-9 | UvA-DARE

Bokányi, E., Vizi, Z., Koltai, J., Röst, G., Karsai, M. (2023) Real-time estimation of the effective reproduction number of COVID-19 from behavioral data.

Scientific Reports, Vol. 13

Article | https://doi.org/10.1038/s41598-023-46418-z | UvA-DARE

Bolander, T., Gierasimczuk, N. (2015) Learning Action Models: Qualitative Approach.

In van der Hoek, W. Holliday, W.H. Wang, W.-F. (Eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings (pp 40-52) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 9394). Springer.

Bold, S., Löwe, B. (2004) A simple inductive argument to compute more Kleinberg sequences under the Axiom of Determinacy.

ILLC Publications. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Bold, S., Löwe, B. (2005) A simple inductive measure analysis for cardinals under the Axiom of Determinacy.

ILLC Publications. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Bold, S., Löwe, B. (2007) A simple inductive measure analysis for cardinals under the axiom of determinacy.

In Gao, S Jackson, S (Eds.), Advances in Logic (pp 23-42) (Contemporary Mathematics). AMS.

Bold, S. (2009) Cardinals as Ultrapowers. A Canonical Measure Analysis under the Axiom of Determinacy..

Thesis, fully external | UvA-DARE

Boll-Avetisyan, N., Nixon, J.S., Lentz, T.O., Liu, L., van Ommen, S., Çöltekin, Ç., van Rij, J. (2018) Neural Response Development During Distributional Learning.

Interspeech, Vol. 19 (pp 1432-1436)

Article | https://doi.org/10.21437/Interspeech.2018-2072 | UvA-DARE

Bonanno, G., Löwe, B., van der Hoek, W. (2010) Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers.

Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI publications on logic, language and information, Vol. 6006. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-642-15164-4 | UvA-DARE

Boncz, P.A., Quak, C.W., Kersten, M.L. (1996) Monet and its Geographic Extensions: a novel Approach to High Performance GIS Processing.

In EDBT proceedings (pp 147-166)

Boneh, D., Dagdelen, Ö., Fischlin, M., Lehmann, A., Schaffner, C., Zhandry, M. (2011) Random Oracles in a Quantum World.

In Lee, D.H. Wang, X. (Eds.), Advances in Cryptology – ASIACRYPT 2011: 17th International Conference on the Theory and Application of Cryptology and Information Security, Seoul, South Korea, December 4-8, 2011 : proceedings (pp 41-69) (Lecture Notes in Computer Science, Vol. 7073). Springer.

Bonizzoni, P., Brattka, V., Löwe, B. (2013) The Nature of Computation : Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013 : proceedings.

Lecture Notes in Computer Science, Vol. 7921. Springer.

Book (Editorship) | https://doi.org/10.1007/978-3-642-39053-1 | UvA-DARE

Bonnema, R.L., Scha, R.J.H., Sima'an, K. (1999) A Memory-Based Model of Syntactic Analysis: Data-Oriented Parsing.

Journal of Experimental and Theoretical Artificial Intelligence, Vol. 11 (pp 409-440)

Article | https://doi.org/10.1080/095281399146481 | UvA-DARE