For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.

A. (Arthur) Boixel

PhD candidate
Faculty of Science
ILLC

Visiting address
  • Science Park 107
  • Room number: F2.13
Postal address
Contact details
  • Profile

    About Me

    I am a PhD candidate at the Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam, supervised by Ulle Endriss. I'm a member of the Computational Social Choice group.

    I received my MSc in Theoretical Computer Science from the University of Montpellier (France) in 2018. My Master´s thesis deals with Social Choice and Deliberation. I also spent some time at the LIRMM with the GraphIK team working on Knowledge Representation and Reasonnning.

  • Publications

    2020

    • 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. http://www.ifaamas.org/Proceedings/aamas2020/pdfs/p2176.pdf [details]
    • 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. http://www.ifaamas.org/Proceedings/aamas2020/pdfs/p168.pdf [details]
    • Kluiving, B., de Vries, A., Vrijbergen, P., Boixel, A., & Endriss, U. (2020). Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. In G. De Giacomo, A. Catala, B. Dilkina, M. Milano, S. Barro, A. Bugarín, & J. Lang (Eds.), ECAI 2020: 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago de Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings (pp. 131-138). (Frontiers in Artificial Intelligence and Applications; Vol. 325). IOS Press. https://doi.org/10.3233/FAIA200085 [details]

    2019

    • Boixel, A., Bisquert, P., & Croitoru, M. (2019). Deliberation Towards Transitivity with Unshared Features. In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai, & R. Z. Wenkstern (Eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019 : proceedings (pp. 3-18). ( Lecture Notes in Computer Science; Vol. 11873), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-33792-6_1 [details]

    2020

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

    2020

    • Kluiving, B., de Vries, A., Vrijbergen, P., Boixel, A. & Endriss, U. (19-2-2020). Supplementary Material for "Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving". Zenodo. https://doi.org/10.5281/zenodo.3675459
    This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list.
  • Ancillary activities
    No ancillary activities