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


2020

  • 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


2020

2019

Supervision


2020

2019