Arthur Boixel

According to our database, Arthur Boixel authored at least 8 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Displaying Justifications for Collective Decisions.

Arthur Boixel, Ulle Endriss, Oliviero Nardi

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

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

Oliviero Nardi, Arthur Boixel, Ulle Endriss

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

A Calculus for Computing Structured Justifications for Election Outcomes.

Arthur Boixel, Ulle Endriss, Ronald de Haan

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

On the Complexity of Finding Justifications for Collective Decisions.

Arthur Boixel, Ronald de Haan

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving.

Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, Ulle Endriss

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Automated Justification of Collective Decisions via Constraint Solving.

Arthur Boixel, Ulle Endriss

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

Computer-aided Reasoning about Collective Decision Making.

Arthur Boixel

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Deliberation Towards Transitivity with Unshared Features.

Arthur Boixel, Pierre Bisquert, Madalina Croitoru

Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019