Multi-Winner Voting with Approval Preferences

Martin Lackner works on artificial intelligence, specifically on computational social choice. His research deals with fundamental questions about fair collective decision making and how algorithms can support such decisions. Currently, he is principal investigator of the project “Algorithms for Sustainable Group Decision Making” at TU Wien. Before that, he was holding a postdoctoral researcher position at the University of Oxford. He obtained his doctoral degree from TU Wien and has published over 50 papers at top artificial intelligence and algorithms venues (and also in economics and philosophy journals).Piotr Skowron is an Assistant Professor at the University of Warsaw. He obtained his PhD from the University of Warsaw, followed by a postdoc position at the University of Oxford and a Humboldt fellowship for postdoctoral researchers at TU Berlin. His research mainly concerns the topic of computational social choice, specifically committee elections. His worklinks various ideas from computational social choice, game theory, resource allocation, and approximation algorithms. For his contribution to the literature on committee elections, he won the 2020 IJCAI Computers and Thought Award. He has published more than 70 articles and conference papers in the top venues on algorithmic game theory and artificial intelligence.

“The present document concerns the presentation of a special type of processes known as the multi-winner voting. … It is an interesting document, which may be a basic reference especially that in social sciences such as politics … . In its structure, the document is well organized. … The document is achieved with a technical Appendix designated to some useful proofs and counterexamples.” (Anouar Ben Mabrouk, zbMATH 1514.91004, 2023)

• Approval-Based Committee Voting.- Dramatis Personae: ABC Rules.- Basic Properties of ABC Rules.- Proportionality.- Algorithms and Computational Complexity.- Related Formalisms and Applications.- Outlook and Research Directions.- Additional Proofs.