Books

All publications

[rss]
2024
[97] Reinforcement Learning and Machine ethics:a systematic review (, and ), In CoRR, volume abs/2407.02425, . [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] 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] Detecting bots with temporal logic (, and ), In Synthese, volume 202, . [bibtex] [url] [doi]
[92] Egalitarian judgment aggregation (, , and ), In Auton. Agents Multi Agent Syst., volume 37, . [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] 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]
[89] 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]
[88] 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]
2022
[87] 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]
[86]Probabilistic Judgement Aggregation by Opinion Update ( and ), In Modeling Decisions for Artificial Intelligence (Torra, Vicenç, Narukawa, Yasuo, eds.), Springer International Publishing, . [bibtex]
[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] Markov chain model representation of information diffusion in social networks (, and ), In Journal of Logic and Computation, , exac018. [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] Netreason: Reasoning about social networks (, and ), In J. Log. Comput., volume 32, . [bibtex] [url] [doi]
[80] AI Journal Special Issue on Ethics for Autonomous Systems (, and ), In Artif. Intell., volume 305, . [bibtex] [url] [doi]
[79] Computational ethics (, , , , , , , , , , , , , , , , , , and ), In Trends in Cognitive Sciences, . [bibtex] [url] [doi]
2021
[78] 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]
[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] Egalitarian Judgment Aggregation (, , and ), In CoRR, volume abs/2102.02785, . [bibtex] [url]
[75] Evaluating AI Assisted Subtitling (, and ), In ACM International Conference on Interactive Media Experiences, Association for Computing Machinery, . [bibtex] [url] [doi]
[74] 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]
[73] The social dilemma in artificial intelligence development and why we have to solve it (, and ), In AI and Ethics, . [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] Addressing the ethical principles of the Norwegian National Strategy for AI in a kindergarten allocation system (, , , and ), In Norsk Informatikkonferanse, . [bibtex] [url]
[69] The Complexity Landscape of Outcome Determination in Judgment Aggregation (, , and ), In J. Artif. Intell. Res., volume 69, . [bibtex] [url] [doi]
[68] Teaching AI Ethics: Observations and Challenges (), In Norwegian Conference on Didactics in IT education, . [bibtex] [url]
[67] Bias mitigation with AIF360: A comparative study (, , and ), In Norsk Informatikkonferanse, , Awarded Best Paper. [bibtex] [url]
[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] 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]
[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] 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]
[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]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]
[59] 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]
[58] 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]
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] Implementing Asimov's First Law of Robotics (, , , , , and ), In Norsk Informatikkonferanse, . [bibtex] [url]
[50] Towards Moral Autonomous Systems (, , , , , , , and ), In CoRR, volume abs/1703.04741, . [bibtex] [url]
[49]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]
[48] The Norwegian Oil Fund Investment Decider N.O.F.I.D. (, , , , , and ), In Norsk konferanse for organisasjoners bruk at IT, volume 25, . [bibtex] [url]
[47] 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]
[46] A partial taxonomy of judgment aggregation rules and their properties (, , , and ), In Social Choice and Welfare, volume 48, . [bibtex] [url] [doi]
2016
[45] Formal verification of ethical choices in autonomous systems (, , and ), In Robotics and Autonomous Systems, volume 77, . [bibtex] [url] [doi]
[44] Agenda Separability in Judgment Aggregation (, and ), In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, . [bibtex] [url]
[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] 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]An Introductory Course to Judgment Aggregation (), In CoRR, volume abs/1607.03307, , http://arxiv.org/abs/1607.03307. [bibtex]
[39] Dagstuhl Manifesto, Engineering Moral Machines (, , and ), In Informatik-Spektrum, volume 39, . [bibtex] [url] [doi]
[38] 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]
2015
[37] An abstract formal basis for digital crowds (, and ), In Distributed and Parallel Databases, Springer US, volume 33, . [bibtex] [url] [doi]
2014
[36] JA4AI - Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202) (, , , and ), In Dagstuhl Reports, volume 4, . [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] Measuring Dissimilarity between Judgment Sets (), Chapter in Logics in Artificial Intelligence, Springer International Publishing, volume 8761, . [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] 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] Recognition-primed group decisions via judgement aggregation ( and ), In Synthese, Springer Netherlands, volume 189, . [bibtex] [url] [doi]
[20] 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]
[19] Judgment Aggregation for Multiagent Systems (), Uitgeverij BOXPress, . [bibtex] [pdf]
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] 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 for judgment aggregation. (, and ), In 6th Workshop on Logic, Game theory and Social Choice, . [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] White Manipulation in Judgment Aggregation (, and ), In Proceedings of the 21st Benelux Conference on Artificial Intelligence, . [bibtex] [pdf]
[6]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]
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]