COMPUTER-AIDED REASONING ABOUT COLLECTIVE DECISION MAKING

von Boixel, Arthur
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 3 of 3 (2021)

AUTOMATED JUSTIFICATION OF COLLECTIVE DECISIONS VIA CONSTRAINT SOLVING

von Boixel, Arthur
Veröffentlicht in AAMAS (19. : 2020 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2020) ; Volume 1 of 3 (2021)

A Graph-Based Algorithm for the Automated Justification of Collective Decisions

von Nardi, Oliviero
Veröffentlicht in International Conference on Autonomous Agents and Multiagent Systems (21. : 2022 : Online) International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) ; Volume 2 of 3 (2022)

Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving

von Kluiving, Boas
Veröffentlicht in European Conference on Artificial Intelligence (24. : 2020 : Online) ECAI 2020 ; Part 1 (2020)