About me

I'm a PhD candidate at the Institute for Logic, Language and Computation (ILLC) under the supervision of Ulle Endriss at the University of Amsterdam (funding: NWO TOP1 Project on Customisable Collective Choice).

I'm interested in seeing how computer-aided methods from various fields (Knowledge Representation and Reasoning, Constraint Programming, Logic Programming, etc.) can help solving Social Choice related problems.

I wrote my Master thesis titled "Social Choice and Deliberation" in the GraphIK Team at the Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier (LIRMM).

Publications

2022

Arthur Boixel, Ulle Endriss, and Ronald de Haan, A Calculus for Computing Structured Justifications for Election Outcomes. Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI-2022), February 2022.

2021

Arthur Boixel and Ronald de Haan, On the Complexity of Finding Justifications for Collective Decisions. Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), May 2021.

2020

Arthur Boixel and Ronald de Haan, On the Complexity of Finding Justifications for Collective Decisions. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020. (Abstract)
Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, and Ulle Endriss, Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. Proceedings of the 24th European Conference on Artificial Intelligence (ECAI-2020), June 2020.
Arthur Boixel and Ulle Endriss, Automated Justification of Collective Decisions via Constraint Solving. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2020), IFAAMAS, May 2020.
Arthur Boixel, Computer-aided Reasoning about Collective Decision Making. Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2020), IFAAMAS, May 2020. Doctoral Consortium.

2019

Arthur Boixel, Pierre Bisquert, and Madalina Croitoru, Deliberation Towards Transitivity with Unshared Features. International Conference on Principles and Practice of Multi-Agent Systems. Springer, Cham, 2019.

2018

Arthur Boixel, Master thesis - Choix Social et Délibération. 2018.

Teaching

2021

Teaching assistant for the MoL/AI course on Computational Social Choice, April-May 2021.
Teaching assistant for the MoL/AI course on Game Theory, February-March 2021.

2020

Teaching assistant for the MoL/AI course on Computational Social Choice, April-May 2020.
Teaching assistant for the MoL/AI course on Game Theory, February-March 2020.

2019

Co-instructor of the MoL Advanced Topics in Computational Social Choice research project course, June 2019.
Teaching assistant for the MoL/AI course on Computational Social Choice, April-May 2019.
Teaching assistant for the MoL/AI course on Game Theory, February-March 2019.

Supervision

2021

Oliviero Nardi. MSc Thesis. A Graph-Based Algorithm for the Automated Justification of Collective Decisions October 2020 - July 2021

2020

Nienke Reints. BSc Thesis. Efficient Generation of Justifications for Collective Decision Making. April-June 2020

2019

Lennart Beekhuis. BSc Thesis. Impact of voting rules and collusion in the Eurovision Song Contest. November-January 2019/2020

Arthur Boixel

PhD Candidate - Computational Social Choice

News

About me

Bio

Publications

2022

2021

2020

2019

2018

Talks

Teaching

2021

2020

2019

Supervision

2021

2020

2019

hidden

Contact

Visit

Mailing Address

hidden