Books

All publications

[rss]
2025
[100] General procedure to measure fairness in regression problems (, and ), In International Journal of Data Science and Analytics, . [bibtex] [url] [doi]
[99] Probabilistic judgment aggregation with conditional independence constraints ( and ), In Information and Computation, volume 303, . [bibtex] [url] [doi]
[98] Contesting Black Box AI Decisions (, , , , and ), In Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '25, Detroit, USA, May 19?23, 2025 (Sanmay Das, Ann Nowe, Eugene Vorobeychik, Nisarg Shah, Paolo Turrini, eds.), International Foundation for Autonomous Agents and Multiagent Systems, . [bibtex] [url] [doi]
2024
[97] Finding middle grounds for incoherent horn expressions: the moral machine case (, and ), In Autonomous Agents and Multi-Agent Systems, volume 38, . [bibtex] [url] [doi]
[96] Reinforcement Learning and Machine ethics:a systematic review (, and ), In CoRR, volume abs/2407.02425, . [bibtex] [url] [doi]
[95] Trust, trustworthiness and AI governance (, and ), In Scientific Reports, volume 14, . [bibtex] [url] [doi]
2023
[94] Understanding Privacy by Formalizing It (, and ), Chapter in (Ken Satoh, ed.), . [bibtex] [pdf]
[93] Mythical Ethical Principles for AI and how to attain them (), Chapter in (Chetouani, Mohamed, Dignum, Virginia, Lukowicz, Paul, Sierra, Carles, eds.), Springer International Publishing, . [bibtex] [url] [doi]
[92] Normative Reasoning for AI (Dagstuhl Seminar 23151) (, , , and ), In Dagstuhl Reports (Ciabattoni, Agata, Horty, John F., Slavkovik, Marija, van der Torre, Leendert, Knoks, Aleks, eds.), Schloss Dagstuhl – Leibniz-Zentrum für Informatik, volume 13, . [bibtex] [url] [doi]
[91] The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation (, , and ), In J. Artif. Intell. Res., volume 77, . [bibtex] [url] [doi]
[90] Detecting bots with temporal logic (, and ), In Synthese, volume 202, . [bibtex] [url] [doi]
[89] Automatic Detection of Manipulative Consent Management Platforms and the Journey into the Patterns of Darkness (, and ), In Proceedings of the 5th Symposium of the Norwegian AI Society, Bergen, Norway, June 14-15, 2023 (Rustam Galimullin, Samia Touileb, eds.), CEUR-WS.org, volume 3431, . [bibtex] [pdf]
[88] Egalitarian judgment aggregation (, , and ), In Auton. Agents Multi Agent Syst., volume 37, . [bibtex] [url] [doi]
2022
[87] AI Journal Special Issue on Ethics for Autonomous Systems (, and ), In Artif. Intell., volume 305, . [bibtex] [url] [doi]
[86] Computational ethics (, , , , , , , , , , , , , , , , , , and ), In Trends in Cognitive Sciences, . [bibtex] [url] [doi]
[85] Netreason: Reasoning about social networks (, and ), In J. Log. Comput., volume 32, . [bibtex] [url] [doi]
[84] Markov chain model representation of information diffusion in social networks (, and ), In Journal of Logic and Computation, , exac018. [bibtex] [url] [doi]
[83] Smart Technology in the Classroom: Systematic Review and Prospects for Algorithmic Accountability (, , , , and ), Chapter in (IIvanović, Mirjana, Klašnja-Milićević, Aleksandra, Jain, Lakhmi C., eds.), Springer International Publishing, . [bibtex] [url] [doi]
[82] Objective Tests in Automated Grading of Computer Science Courses: An Overview (, , , and ), Chapter in (Ivanović, Mirjana, Klašnja-Milićević, Aleksandra, Jain, Lakhmi C., eds.), Springer International Publishing, . [bibtex] [url] [doi]
[81] Automating Moral Reasoning (Invited Paper) (), In International Research School in Artificial Intelligence in Bergen, AIB 2022, June 7-11, 2022, University of Bergen, Norway (Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, eds.), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, volume 99, . [bibtex] [url] [doi]
[80] A Content-Aware Tool for Converting Videos to Narrower Aspect Ratios ( and ), In ACM International Conference on Interactive Media Experiences, Association for Computing Machinery, . [bibtex] [url] [doi]
[79]Probabilistic Judgement Aggregation by Opinion Update ( and ), In Modeling Decisions for Artificial Intelligence (Torra, Vicenç, Narukawa, Yasuo, eds.), Springer International Publishing, . [bibtex]
2021
[78] Egalitarian Judgment Aggregation (, , and ), In CoRR, volume abs/2102.02785, . [bibtex] [url]
[77] Digital Voodoo Dolls (, , and ), In Proceedings of the 2021 AAAI/ACM Conference on AI, Ethics, and Society, May 19–21, 2021, Virtual Event, USA, , preprint available at ArXiv.org. [bibtex] [url]
[76] Evaluating AI Assisted Subtitling (, and ), In ACM International Conference on Interactive Media Experiences, Association for Computing Machinery, . [bibtex] [url] [doi]
[75] The social dilemma in artificial intelligence development and why we have to solve it (, and ), In AI and Ethics, . [bibtex] [url] [doi]
[74] Artificial Intelligence: Is the Power Matched with Responsibility? (), Chapter in Meeting the Challenges of Existential Threats through Educational Innovation: A Proposal for an Expanded Curriculum (Herner Saeverot, ed.), Routledge, , November 1, 2021. [bibtex] [url]
[73] Social Bot Detection as a Temporal Logic Model Checking Problem (, and ), In Logic, Rationality, and Interaction - 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings (Sujata Ghosh, Thomas Icard, eds.), Springer, volume 13039, . [bibtex] [url] [doi]
2020
[72] Predicting the Winners of Borda, Kemeny and Dodgson Elections with Supervised Machine Learning ( and ), In Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers (Nick Bassiliades, Georgios Chalkiadakis, Dave de Jonge, eds.), Springer, volume 12520, . [bibtex] [url] [doi]
[71] Model-Checking Information Diffusion in Social Networks with PRISM ( and ), In Multi-Agent Systems and Agreement Technologies - 17th European Conference, EUMAS 2020, and 7th International Conference, AT 2020, Thessaloniki, Greece, September 14-15, 2020, Revised Selected Papers (Nick Bassiliades, Georgios Chalkiadakis, Dave de Jonge, eds.), Springer, volume 12520, . [bibtex] [url] [doi]
[70] The Complexity Landscape of Outcome Determination in Judgment Aggregation (, , and ), In J. Artif. Intell. Res., volume 69, . [bibtex] [url] [doi]
[69] Circumvention by design - dark patterns in cookie consent for online news outlets (, , and ), 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, , Video of the presentation https://vimeo.com/534427774). [bibtex] [url] [doi]
[68] Addressing the ethical principles of the Norwegian National Strategy for AI in a kindergarten allocation system (, , , and ), In Norsk Informatikkonferanse, . [bibtex] [url]
[67] Bias mitigation with AIF360: A comparative study (, , and ), In Norsk Informatikkonferanse, , Awarded Best Paper. [bibtex] [url]
[66] Teaching AI Ethics: Observations and Challenges (), In Norwegian Conference on Didactics in IT education, . [bibtex] [url]
2019
[65] Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders (, and ), In Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2019, Honolulu, HI, USA, January 27-28, 2019, . [bibtex] [url] [doi]
[64] Multi-Agent Systems - 16th European Conference, EUMAS 2018, Bergen, Norway, December 6-7, 2018, Revised Selected Papers, (Marija Slavkovik, ed.), Springer, volume 11450, . [bibtex] [url] [doi]
[63]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. (Kutz, O., Hedblom, M., eds.), CEUR Workshop Proceedings, volume 2347, . [bibtex]
[62] Aggregating Probabilistic Judgments ( and ), 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, . [bibtex] [url] [doi]
[61] Answer Set Programming for Judgment Aggregation ( and ), 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, . [bibtex] [url] [doi]
[60] Improving Judgment Reliability in Social Networks via Jury Theorems (, and ), 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, . [bibtex] [url] [doi]
[59] Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171) (, , and ), In Dagstuhl Reports (Fisher, Michael, List, Christian, Slavkovik, Marija, Weiss, Astrid, eds.), Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, volume 9, . [bibtex] [url] [doi]
[58] The Complexity of Elections with Rational Actors ( and ), In Algorithmic Decision Theory - 6th International Conference, ADT 2019, Duke, North Carolina, October 25-27, 2017, Proceedings (Venable, K. B., Peke\^c, S., eds.), Springer Nature, . [bibtex] [url]
2018
[57] A Modified Vickrey Auction with Regret Minimization for Uniform Alliance Decisions ( and ), Chapter in Intelligent Distributed Computing XI (Ivanović, M., B\uadic\ua, C., Dix, J, Jovanović, Z., Malgeri, M., Savić, M., eds.), Springer International Publishing, . [bibtex] [url] [doi]
[56] On the Distinction between Implicit and Explicit Ethical Agency (, and ), In Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, AIES 2018, New Orleans, LA, USA, February 02-03, 2018, . [bibtex] [url] [doi]
[55] Ethics by Design: Necessity or Curse? (, , , , , , , , , , , , , , , , and ), 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, . [bibtex] [url] [doi]
[54] Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making (, , , , , , and ), 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, . [bibtex] [url] [doi]
[53] Aggregation of probabilisitic logically related judgments ( and ), In Norsk Informatikkonferanse, . [bibtex] [url]
[52]Machines That Know Right And Cannot Do Wrong: The Theory and Practice of Machine Ethics ( and ), In IEEE Intelligent Informatics Bulletin, volume 19, . [bibtex]
2017
[51] Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures ( and ), 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, . [bibtex] [url]
[50] A partial taxonomy of judgment aggregation rules and their properties (, , , and ), In Social Choice and Welfare, volume 48, . [bibtex] [url] [doi]
[49] Implementing Asimov's First Law of Robotics (, , , , , and ), In Norsk Informatikkonferanse, . [bibtex] [url]
[48]Formal Models of Conflicting Social Influence ( and ), In 20th International Conference on Principles and Practice of Multi-Agent Systems, Nice, France, October 30 - November 3, 2017, Proceedings, Springer, . [bibtex]
[47] The Norwegian Oil Fund Investment Decider N.O.F.I.D. (, , , , , and ), In Norsk konferanse for organisasjoners bruk at IT, volume 25, . [bibtex] [url]
[46] Towards Moral Autonomous Systems (, , , , , , , and ), In CoRR, volume abs/1703.04741, . [bibtex] [url]
2016
[45] Formal verification of ethical choices in autonomous systems (, , and ), In Robotics and Autonomous Systems, volume 77, . [bibtex] [url] [doi]
[44] Dagstuhl Manifesto, Engineering Moral Machines (, , and ), In Informatik-Spektrum, volume 39, . [bibtex] [url] [doi]
[43] "How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks (, and ), 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, . [bibtex] [url] [doi]
[42]An Introductory Course to Judgment Aggregation (), In CoRR, volume abs/1607.03307, , http://arxiv.org/abs/1607.03307. [bibtex]
[41] An Introductory Course to Judgment Aggregation (), In CoRR, volume abs/1607.03307, . [bibtex] [url]
[40] Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222) (, , and ), In Dagstuhl Reports, volume 6, . [bibtex] [url] [doi]
[39] Iterative Judgment Aggregation ( and ), 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, . [bibtex] [url] [doi]
[38] Agenda Separability in Judgment Aggregation (, and ), In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, . [bibtex] [url]
2015
[37] An abstract formal basis for digital crowds (, and ), In Distributed and Parallel Databases, Springer US, volume 33, . [bibtex] [url] [doi]
2014
[36] Measuring Dissimilarity between Judgment Sets (), Chapter in Logics in Artificial Intelligence, Springer International Publishing, volume 8761, . [bibtex] [url] [doi]
[35] Not all judgment aggregation should be neutral (), In Proceedings of the European Conference on Social Intelligence (Herzig, A., Lorini, E., eds.), , 14 pages. http://ceur-ws.org/Vol-1283/paper_26.pdf. [bibtex] [pdf]
[34] JA4AI - Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202) (, , , and ), In Dagstuhl Reports, volume 4, . [bibtex] [url] [doi]
[33] A Judgment Set Similarity Measure Based on Prime Implicants (), In Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, International Foundation for Autonomous Agents and Multiagent Systems, . [bibtex] [url]
[32] Ethical Choice in Unforeseen Circumstances (, , and ), In Towards Autonomous Robotic Systems (Natraj, A., Cameron, S., Melhuish, C., Witkowski, M., eds.), Springer Berlin Heidelberg, volume 8069, . [bibtex] [url] [doi]
[31] A weakening of independence in judgment aggregation: agenda separability (, and ), In Proceedings of the 21sr European Conference on Artificial Intelligence, volume 263:ECAI 2014, . [bibtex] [url] [doi]
[30] How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules? ( and ), In Proceedings of the 21st European Conference on Artificial Intelligence, volume 263:ECAI 2014, . [bibtex] [url] [doi]
2013
[29] Some Complexity Results for Distance-Based Judgment Aggregation ( and ), Chapter in 26th Australasian Joint Conference Proceedings (Cranefield, S., Nayak, A., eds.), Springer International Publishing, volume 8272, . [bibtex] [url] [doi]
[28] Judgment Aggregation Rules and Voting Rules ( and ), Chapter in Proceedings of the 3rd International Conference on Algorithmic Decision Theory, Springer-Verlag, volume 8176, . [bibtex] [url]
2012
[27] Judgment Aggregation for Multiagent Systems (), Uitgeverij BOXPress, . [bibtex] [pdf]
[26] Two dimensional Standard Deontic Logic $[$including a detailed analysis of the 1985 Jones–Pörn deontic logic system$]$ (, , and ), In Synthese, volume 187, . [bibtex] [url]
[25] Competitive Voters vs. Collaborative Bidders: Agreements in Dynamic Task Assignment ( and ), In Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012, . [bibtex] [pdf]
[24] Distance-based rules for weighted judgment aggregation ( and ), In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), . [bibtex] [url]
[23] Recognition-primed group decisions via judgement aggregation ( and ), In Synthese, Springer Netherlands, volume 189, . [bibtex] [url] [doi]
[22] New Directions in Logic, Language and Computation: ESSLLI 2010 and ESSLLI 2011 Students Sessions Selected Papers, (Marija Slavkovik, Daniel Lassiter, eds.), Springer, . [bibtex] [url]
[21] Selecting judgment aggregation rules for NAO robots: an experimental approach (, , and ), In International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes) (Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, Michael Winikoff, eds.), IFAAMAS, . [bibtex] [url]
[20] Judgment Aggregation for Multiagent Systems (), Uitgeverij BOXPress, . [bibtex] [pdf]
[19] New Directions in Logic, Language and Computation - ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers, (Daniel Lassiter, Marija Slavkovik, eds.), Springer, volume 7415, . [bibtex] [url] [doi]
2011
[18]Judgment aggregation rules based on minimization. (, , and ), In Actes des Sixièmes Journées Francophones Modèles Formel de l'Interaction (MFI 11) (Dessalles, J.L., Konieczny, S., eds.), , 3-5 June 2009, Lannion, France. [bibtex]
[17] Judgment aggregation rules based on minimization (, , and ), In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM, . [bibtex] [url] [doi]
[16] Judgment Aggregation for Cooperative Anchoring on the NAO Robots (, , and ), In Works-in-progress track - 3rd International Conference on Social Robotics, . [bibtex] [pdf]
[15] Group Intention Is Social Choice with Commitment (, , and ), Chapter in Coordination, Organizations, Institutions, and Norms in Agent Systems VI (De Vos, M., Fornara, N., Pitt, J., Vouros, G., eds.), Springer Berlin Heidelberg, volume 6541, . [bibtex] [url]
[14] Distance-based Judgment Aggregation of Three-valued Judgments with Weights ( and ), In Proceedings of the IJCAI Workshop on Social Choice and Artificial Intelligence (Elkind, E., Endriss, U., Lang, J., eds.), . [bibtex] [pdf]
[13] A Satisficing Agreements Model (, , and ), In Web Intelligence and Intelligent Agent Technology (WI-IAT), 2011 IEEE/WIC/ACM International Conference (van Riemsdijk, M. B., Salceda, J.V., eds.), IEEE Conference Publications, volume 3, . [bibtex] [url] [doi]
2010
[12] Proceedings of the 15th Student Session of the European Summer School in Logic, Language and Information, (Marija Slavkovik, ed.), . [bibtex] [pdf]
[11] Group intentions are social choice with commitment (short version) (, , and ), In Proceedings of the 8th European Workshop on Multiagent systems, . [bibtex] [pdf]
2009
[10] A complete conclusion-based procedure for judgment aggregation (, and ), Technical report, University of Luxembourg, . [bibtex] [pdf]
[9]Formal ex-post rationalization - A complete conclusion-based procedure for judgment aggregation (, and ), In Actes des Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 09) (Maudet, N., Schobbens, P.Y., Guyomard, M., eds.), , 3-5 June 2009, Lannion, France. [bibtex]
[8] White Manipulation in Judgment Aggregation (, and ), In Proceedings of the 21st Benelux Conference on Artificial Intelligence, . [bibtex] [pdf]
[7] White manipulation for judgment aggregation. (, and ), In 6th Workshop on Logic, Game theory and Social Choice, . [bibtex] [pdf]
[6] A Complete Conclusion-Based Procedure for Judgment Aggregation (, and ), Chapter in Algorithmic Decision Theory (Rossi, F., Tsoukias, A., eds.), Springer Berlin Heidelberg, volume 5783, . [bibtex] [url]
2008
[5] Desirable tie-breaking rules in collective decision making (, and ), In Annales du Lamsade, Proceedings of the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory (Roy, B., Paschos, V., eds.), DIMACS, . [bibtex] [pdf]
[4]Independence in judgment aggregation (, and ), In Proceedings of the 9th Ninth International Meeting of the Society for Social Choice and Welfare, . [bibtex]
[3]Conclusion-based procedure for judgment aggregation satisfying premise independence. (, and ), In Proceedings of the 8th International Conference on Logic and the Foundations of Game and Decision Theory (van der Hoek, W., Bonanno, G., Lowe, B., eds.), . [bibtex]
2007
[2]Deep Analysis for an Interactive Question Answering System (), Master's thesis, Free University of Bozen-Bolzano, , http://slavkovik.com/mt.pdf. [bibtex]
2006
[1]Extended Spiking Neural P Systems (, , and ), Chapter in Membrane Computing (Hoogeboom, Hendrik Jan, P\uaun, Gheorghe, Rozenberg, Grzegorz, Salomaa, Arto, eds.), Springer Berlin Heidelberg, . [bibtex]