Books

All publications

[rss]
2025
[102] Proceedings of the First Workshop on Implementing AI Ethics through a Behavioural Lens (AIEB 2024) co-located with 26th European Conference on Artificial Intelligence (ECAI 2024), Santiago de Compostela, Spain, October 19, 2024, (Luca Nannini, Annabel Gillard, Caroline Friedman Levy, Ali Ihsan Ozkes, Marija Slavkovik, eds.), CEUR-WS.org, volume 3948, . [bibtex] [url]
[101] General procedure to measure fairness in regression problems (, and ), In International Journal of Data Science and Analytics, . [bibtex] [url] [doi]
[100] Probabilistic judgment aggregation with conditional independence constraints ( and ), In Information and Computation, volume 303, . [bibtex] [url] [doi]
[99] 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]
[98] Machine Ethics or AI Alignment? ( and ), In Proceedings of the Symposium of the Norwegian AI Society 2025, Tromsø, Norway, June 17-18, 2025 (Robert Jenssen, Kerstin Bach, eds.), CEUR-WS.org, volume 3975, . [bibtex] [pdf]
2024
[97] Trust, trustworthiness and AI governance (, and ), In Scientific Reports, volume 14, . [bibtex] [url] [doi]
[96] Finding middle grounds for incoherent horn expressions: the moral machine case (, and ), In Autonomous Agents and Multi-Agent Systems, volume 38, . [bibtex] [url] [doi]
[95] Reinforcement Learning and Machine ethics:a systematic review (, and ), In CoRR, volume abs/2407.02425, . [bibtex] [url] [doi]
2023
[94] 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]
[93] 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]
[92] Understanding Privacy by Formalizing It (, and ), Chapter in (Ken Satoh, ed.), . [bibtex] [pdf]
[91] Detecting bots with temporal logic (, and ), In Synthese, volume 202, . [bibtex] [url] [doi]
[90] Egalitarian judgment aggregation (, , and ), In Auton. Agents Multi Agent Syst., volume 37, . [bibtex] [url] [doi]
[89] The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation (, , and ), In J. Artif. Intell. Res., volume 77, . [bibtex] [url] [doi]
[88] 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]
2022
[87] Netreason: Reasoning about social networks (, and ), In J. Log. Comput., volume 32, . [bibtex] [url] [doi]
[86] Markov chain model representation of information diffusion in social networks (, and ), In Journal of Logic and Computation, , exac018. [bibtex] [url] [doi]
[85] 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]
[84] 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]
[83] 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]
[82] 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]
[81] AI Journal Special Issue on Ethics for Autonomous Systems (, and ), In Artif. Intell., volume 305, . [bibtex] [url] [doi]
[80]Probabilistic Judgement Aggregation by Opinion Update ( and ), In Modeling Decisions for Artificial Intelligence (Torra, Vicenç, Narukawa, Yasuo, eds.), Springer International Publishing, . [bibtex]
[79] Computational ethics (, , , , , , , , , , , , , , , , , , and ), In Trends in Cognitive Sciences, . [bibtex] [url] [doi]
2021
[78] 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]
[77] Evaluating AI Assisted Subtitling (, and ), In ACM International Conference on Interactive Media Experiences, Association for Computing Machinery, . [bibtex] [url] [doi]
[76] 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]
[75] The social dilemma in artificial intelligence development and why we have to solve it (, and ), In AI and Ethics, . [bibtex] [url] [doi]
[74] Egalitarian Judgment Aggregation (, , and ), In CoRR, volume abs/2102.02785, . [bibtex] [url]
[73] 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]
2020
[72] Addressing the ethical principles of the Norwegian National Strategy for AI in a kindergarten allocation system (, , , and ), In Norsk Informatikkonferanse, . [bibtex] [url]
[71] Bias mitigation with AIF360: A comparative study (, , and ), In Norsk Informatikkonferanse, , Awarded Best Paper. [bibtex] [url]
[70] Teaching AI Ethics: Observations and Challenges (), In Norwegian Conference on Didactics in IT education, . [bibtex] [url]
[69] The Complexity Landscape of Outcome Determination in Judgment Aggregation (, , and ), In J. Artif. Intell. Res., volume 69, . [bibtex] [url] [doi]
[68] 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]
[67] 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]
[66] 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]
2019
[65] 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]
[64] 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]
[63] 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]
[62] 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]
[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] 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]
[59]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]
[58] 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]
2018
[57]Machines That Know Right And Cannot Do Wrong: The Theory and Practice of Machine Ethics ( and ), In IEEE Intelligent Informatics Bulletin, volume 19, . [bibtex]
[56] Aggregation of probabilisitic logically related judgments ( and ), In Norsk Informatikkonferanse, . [bibtex] [url]
[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] 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]
[53] 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]
[52] 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]
2017
[51] The Norwegian Oil Fund Investment Decider N.O.F.I.D. (, , , , , and ), In Norsk konferanse for organisasjoners bruk at IT, volume 25, . [bibtex] [url]
[50]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]
[49] 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]
[48] Implementing Asimov's First Law of Robotics (, , , , , and ), In Norsk Informatikkonferanse, . [bibtex] [url]
[47] Towards Moral Autonomous Systems (, , , , , , , and ), In CoRR, volume abs/1703.04741, . [bibtex] [url]
[46] A partial taxonomy of judgment aggregation rules and their properties (, , , and ), In Social Choice and Welfare, volume 48, . [bibtex] [url] [doi]
2016
[45]An Introductory Course to Judgment Aggregation (), In CoRR, volume abs/1607.03307, , http://arxiv.org/abs/1607.03307. [bibtex]
[44] Formal verification of ethical choices in autonomous systems (, , and ), In Robotics and Autonomous Systems, volume 77, . [bibtex] [url] [doi]
[43] Agenda Separability in Judgment Aggregation (, and ), In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, . [bibtex] [url]
[42] Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222) (, , and ), In Dagstuhl Reports, volume 6, . [bibtex] [url] [doi]
[41] An Introductory Course to Judgment Aggregation (), In CoRR, volume abs/1607.03307, . [bibtex] [url]
[40] "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]
[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] Dagstuhl Manifesto, Engineering Moral Machines (, , and ), In Informatik-Spektrum, volume 39, . [bibtex] [url] [doi]
2015
[37] An abstract formal basis for digital crowds (, and ), In Distributed and Parallel Databases, Springer US, volume 33, . [bibtex] [url] [doi]
2014
[36] 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]
[35] 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]
[34] 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]
[33] Measuring Dissimilarity between Judgment Sets (), Chapter in Logics in Artificial Intelligence, Springer International Publishing, volume 8761, . [bibtex] [url] [doi]
[32] 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]
[31] JA4AI - Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202) (, , , and ), In Dagstuhl Reports, volume 4, . [bibtex] [url] [doi]
[30] 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]
2013
[29] 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]
[28] 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]
2012
[27] 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]
[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] Judgment Aggregation for Multiagent Systems (), Uitgeverij BOXPress, . [bibtex] [pdf]
[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] Recognition-primed group decisions via judgement aggregation ( and ), In Synthese, Springer Netherlands, volume 189, . [bibtex] [url] [doi]
2011
[18] Judgment Aggregation for Cooperative Anchoring on the NAO Robots (, , and ), In Works-in-progress track - 3rd International Conference on Social Robotics, . [bibtex] [pdf]
[17] 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]
[16] 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]
[15] 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]
[14] Judgment aggregation rules based on minimization (, , and ), In Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge, ACM, . [bibtex] [url] [doi]
[13]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]
2010
[12] Group intentions are social choice with commitment (short version) (, , and ), In Proceedings of the 8th European Workshop on Multiagent systems, . [bibtex] [pdf]
[11] Proceedings of the 15th Student Session of the European Summer School in Logic, Language and Information, (Marija Slavkovik, ed.), . [bibtex] [pdf]
2009
[10] White Manipulation in Judgment Aggregation (, and ), In Proceedings of the 21st Benelux Conference on Artificial Intelligence, . [bibtex] [pdf]
[9] 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]
[8] A complete conclusion-based procedure for judgment aggregation (, and ), Technical report, University of Luxembourg, . [bibtex] [pdf]
[7]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]
[6] White manipulation for judgment aggregation. (, and ), In 6th Workshop on Logic, Game theory and Social Choice, . [bibtex] [pdf]
2008
[5]Independence in judgment aggregation (, and ), In Proceedings of the 9th Ninth International Meeting of the Society for Social Choice and Welfare, . [bibtex]
[4] 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]
[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]