Books
| Circumvention by design - dark patterns in cookie consent for online news outlets , In NordiCHI '20: Shaping Experiences, Shaping Society, Proceedings of the 11th Nordic Conference on Human-Computer Interaction, Tallinn, Estonia, 25-29 October, 2020 (David Lamas, Hegle Sarapuu, Marta Lárusdóttir, Jan Stage, Carmelo Ardito, eds.), ACM, 2020. (Video of the presentation https://vimeo.com/534427774)) [bib] [pdf] [doi] | |
| 2019 | |
| Multi-Agent Systems - 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers, (Marija Slavkovik, ed.), Springer, volume 11450, 2019. [bib] [pdf] [doi] | |
| Autonomous Yet Moral Machines , In Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, Concept Invention, and General Intelligence ISD4: The 4th Image Schema Day, and SCORE: From Image Schemas to Cognitive Robotics Bozen-Bolzano, Italy, December 13-15, 2018. (O. Kutz, M. Hedblom, eds.), CEUR Workshop Proceedings, volume 2347, 2019. [bib] | |
| Aggregating Probabilistic Judgments , In Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019 (Lawrence S. Moss, ed.), volume 297, 2019. [bib] [pdf] [doi] | |
| Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders , In Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2019, Honolulu, HI, USA, January 27-28, 2019, 2019. [bib] [pdf] [doi] | |
| Answer Set Programming for Judgment Aggregation , In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019 (Sarit Kraus, ed.), ijcai.org, 2019. [bib] [pdf] [doi] | |
| Improving Judgment Reliability in Social Networks via Jury Theorems , In Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings (Patrick Blackburn, Emiliano Lorini, Meiyun Guo, eds.), Springer, volume 11813, 2019. [bib] [pdf] [doi] | |
| Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171) , In Dagstuhl Reports (Michael Fisher, Christian List, Marija Slavkovik, Astrid Weiss, eds.), Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, volume 9, 2019. [bib] [pdf] [doi] | |
| The Complexity of Elections with Rational Actors , In Algorithmic Decision Theory - 6th International Conference, ADT 2019, Duke, North Carolina, October 25-27, 2017, Proceedings (K. B. Venable, S. Peke\^c, eds.), Springer Nature, 2019. [bib] [pdf] | |
| 2018 | |
| Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making , In Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2018, New Orleans, LA, USA, February 02-03, 2018 (Jason Furman, Gary E. Marchant, Huw Price, Francesca Rossi, eds.), ACM, 2018. [bib] [pdf] [doi] | |
| Ethics by Design: Necessity or Curse? , In Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2018, New Orleans, LA, USA, February 02-03, 2018 (Jason Furman, Gary E. Marchant, Huw Price, Francesca Rossi, eds.), ACM, 2018. [bib] [pdf] [doi] | |
| Machines That Know Right And Cannot Do Wrong: The Theory and Practice of Machine Ethics , In IEEE Intelligent Informatics Bulletin, volume 19, 2018. [bib] | |
| Aggregation of probabilisitic logically related judgments , In Norsk Informatikkonferanse, 2018. [bib] [pdf] | |
| A Modified Vickrey Auction with Regret Minimization for Uniform Alliance Decisions , Chapter in Intelligent Distributed Computing XI (M. Ivanovi\'c, C. B\uadic\ua, J Dix, Z. Jovanovi\'c, M. Malgeri, M. Savi\'c, eds.), Springer International Publishing, 2018. [bib] [pdf] [doi] | |
| On the Distinction between Implicit and Explicit Ethical Agency , In Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2018, New Orleans, LA, USA, February 02-03, 2018, 2018. [bib] [pdf] [doi] | |
| 2017 | |
| Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures , In Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017 (Kate Larson, Michael Winikoff, Sanmay Das, Edmund H. Durfee, eds.), ACM, 2017. [bib] [pdf] | |
| Formal Models of Conflicting Social Influence , In 20th International Conference on Principles and Practice of Multi-Agent Systems, Nice, France, October 30 - November 3, 2017, Proceedings, Springer, 2017. [bib] | |
| The Norwegian Oil Fund Investment Decider N.O.F.I.D. , In Norsk konferanse for organisasjoners bruk at IT, volume 25, 2017. [bib] [pdf] | |
| Implementing Asimov's First Law of Robotics , In Norsk Informatikkonferanse, 2017. [bib] [pdf] | |
| A partial taxonomy of judgment aggregation rules and their properties , In Social Choice and Welfare, volume 48, 2017. [bib] [pdf] [doi] | |
| Towards Moral Autonomous Systems , In CoRR, volume abs/1703.04741, 2017. [bib] [pdf] | |
| 2016 | |
| Formal verification of ethical choices in autonomous systems , In Robotics and Autonomous Systems, volume 77, 2016. [bib] [pdf] [doi] | |
| Iterative Judgment Aggregation , In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016) (Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds.), IOS Press, volume 285, 2016. [bib] [pdf] [doi] | |
| "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks , In Coordination, Organizations, Institutions, and Norms in Agent Systems XII - COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers (Stephen Cranefield, Samhar Mahmoud, Julian A. Padget, Ana Paula Rocha, eds.), Springer, volume 10315, 2016. [bib] [pdf] [doi] | |
| An Introductory Course to Judgment Aggregation , In CoRR, volume abs/1607.03307, 2016. (http://arxiv.org/abs/1607.03307) [bib] |