Picture by Yann Droy

News


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).

Bio


Publications


2022

  • Arthur Boixel, Ulle Endriss, and Oliviero Nardi, Displaying Justifications for Collective Decisions. Proceedings of the 31st International Joint Conference on Artificial Intelligence (IJCAI-2022), July 2022. Demo paper.
  • Oliviero Nardi, Arthur Boixel, and Ulle Endriss, A Graph-Based Algorithm for the Automated Justification of Collective Decisions. Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS-2022), IFAAMAS, May 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.

Talks


Teaching


2021

2020

2019

Supervision


2021

2020

2019