Deliberation Towards Transitivity with Unshared Features. - Arthur Boixel; Pierre Bisquert; Madalina Croitoru (PRIMA, 2019)

Computer-aided Reasoning about Collective Decision Making. - Arthur Boixel (AAMAS, 2020)

Automated Justification of Collective Decisions via Constraint Solving. - Arthur Boixel; Ulle Endriss (AAMAS, 2020)

Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. - Boas Kluiving; Adriaan de Vries; Pepijn Vrijbergen; Arthur Boixel; Ulle Endriss (ECAI, 2020)

On the Complexity of Finding Justifications for Collective Decisions. - Arthur Boixel; Ronald de Haan (AAAI, 2021)

A Calculus for Computing Structured Justifications for Election Outcomes. - Arthur Boixel; Ulle Endriss; Ronald de Haan (AAAI, 2022)

A Graph-Based Algorithm for the Automated Justification of Collective Decisions. - Oliviero Nardi; Arthur Boixel; Ulle Endriss (AAMAS, 2022)

Displaying Justifications for Collective Decisions. - Arthur Boixel; Ulle Endriss; Oliviero Nardi (IJCAI, 2022)