Search results
Results: 8
Number of items: 8
-
Boixel, A., Endriss, U., & Nardi, O. (2022). Displaying Justifications for Collective Decisions. In L. De Raedt (Ed.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence: IJCAI 2022, Vienna, Austria, 23-29 July 2022 (pp. 5892-5895). International Joint Conferences on Artificial Intelligence. https://doi.org/10.24963/ijcai.2022/847 -
Boixel, A., Endriss, U., & de Haan, R. (2022). A Calculus for Computing Structured Justifications for Election Outcomes. In K. Sycara, V. Honavar, & M. Spaan (Eds.), Proceedings of the 36th AAAI Conference on Artificial Intelligence: AAAI-22 : virtual conference, Vancouver, Canada, February 22-March 1, 2022 (Vol. 5, pp. 4859-4866). AAAI Press. https://doi.org/10.1609/aaai.v36i5.20414 -
Nardi, O., Boixel, A., & Endriss, U. (2022). A Graph-Based Algorithm for the Automated Justification of Collective Decisions. In AAMAS '22: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems : May 9-13, 2022, virtual event, New Zealand (Vol. 2, pp. 935-943). International Foundation for Autonomous Agents and Multiagent Systems. https://dl.acm.org/doi/10.5555/3535850.3535955 -
Boixel, A., & de Haan, R. (2021). On the Complexity of Finding Justifications for Collective Decisions. In AAAI-21, IAAI-21, EAAI-21 proceedings: a virtual conference, February 2-9, 2021 : Thirty-Fifth AAAI Conference on Artificial Intelligence, Thirty-Third Conference on Innovative Applications of Articicial Intelligence, Eleventh Symposium on Educational Advances in Artificial Intelligence (Vol. 6, pp. 5194-5201). (Proceedings of the AAAI Conference on Artificial Intelligence; Vol. 35). AAAI Press. https://doi.org/10.1609/aaai.v35i6.16656
-
Boixel, A. (2020). Computer-aided Reasoning about Collective Decision Making. In AAMAS'20: proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems : May 9-13, 2020, Auckland, New Zealand (pp. 2176-2178). International Foundation for Autonomous Agents and Multiagent Systems. http://www.ifaamas.org/Proceedings/aamas2020/pdfs/p2176.pdf
-
Boixel, A., & Endriss, U. (2020). Automated Justification of Collective Decisions via Constraint Solving. In AAMAS'20: proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems : May 9-13, 2020, Auckland, New Zealand (pp. 168-176). International Foundation for Autonomous Agents and Multiagent Systems. http://www.ifaamas.org/Proceedings/aamas2020/pdfs/p168.pdf -
Kluiving, B., de Vries, A., Vrijbergen, P., Boixel, A., & Endriss, U. (2020). Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. In G. De Giacomo, A. Catala, B. Dilkina, M. Milano, S. Barro, A. Bugarín, & J. Lang (Eds.), ECAI 2020: 24th European Conference on Artificial Intelligence : 29 August-8 September 2020, Santiago de Compostela, Spain, including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020) : proceedings (pp. 131-138). (Frontiers in Artificial Intelligence and Applications; Vol. 325). IOS Press. https://doi.org/10.3233/FAIA200085 -
Boixel, A., Bisquert, P., & Croitoru, M. (2019). Deliberation Towards Transitivity with Unshared Features. In M. Baldoni, M. Dastani, B. Liao, Y. Sakurai, & R. Z. Wenkstern (Eds.), PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019 : proceedings (pp. 3-18). ( Lecture Notes in Computer Science; Vol. 11873), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-030-33792-6_1
Page of