2025
Probabilistic judgment aggregation with conditional independence constraints.
Inf. Comput., 2025
2024
Finding middle grounds for incoherent horn expressions: the moral machine case.
Auton. Agents Multi Agent Syst., December, 2024
Reinforcement Learning and Machine ethics:a systematic review.
CoRR, 2024
2023
Egalitarian judgment aggregation.
Auton. Agents Multi Agent Syst., June, 2023
The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation.
J. Artif. Intell. Res., 2023
Normative Reasoning for AI (Dagstuhl Seminar 23151).
Dagstuhl Reports, 2023
Roadmap for Responsible Robotics (Dagstuhl Seminar 23371).
Dagstuhl Reports, 2023
Value Engineering for Autonomous Agents.
CoRR, 2023
Against Algorithmic Exploitation of Human Vulnerabilities.
CoRR, 2023
Automatic Detection of Manipulative Consent Management Platforms and the Journey into the Patterns of Darkness.
Proceedings of the 5th Symposium of the Norwegian AI Society, 2023
2022
Netreason: Reasoning about social networks.
J. Log. Comput., 2022
Markov chain model representation of information diffusion in social networks.
J. Log. Comput., 2022
Finding Common Ground for Incoherent Horn Expressions.
CoRR, 2022
Automated detection of dark patterns in cookie banners: how to do it poorly and why it is hard to do it any other way.
CoRR, 2022
The social dilemma in artificial intelligence development and why we have to solve it.
AI Ethics, 2022
AI Journal Special Issue on Ethics for Autonomous Systems.
Artif. Intell., 2022
Logic of Visibility in Social Networks.
Proceedings of the Logic, Language, Information, and Computation, 2022
A content-aware tool for converting videos to narrower aspect ratios.
Proceedings of the IMX '22: ACM International Conference on Interactive Media Experiences, Aveiro, Portugal, June 22, 2022
Probabilistic Judgement Aggregation by Opinion Update.
Proceedings of the Modeling Decisions for Artificial Intelligence, 2022
Automating Moral Reasoning (Invited Paper).
Proceedings of the International Research School in Artificial Intelligence in Bergen, 2022
Smart Technology in the Classroom: Systematic Review and Prospects for Algorithmic Accountability.
Intelligent Techniques in the Educational Process (1), 2022
Objective Tests in Automated Grading of Computer Science Courses: An Overview.
Intelligent Techniques in the Educational Process (1), 2022
2021
The social dilemma in AI development and why we have to solve it.
CoRR, 2021
Evaluating AI assisted subtitling.
Proceedings of the IMX '21: ACM International Conference on Interactive Media Experiences, 2021
Social Bot Detection as a Temporal Logic Model Checking Problem.
Proceedings of the Logic, Rationality, and Interaction - 8th International Workshop, 2021
Machine Ethics - Is It Just Normative Multi-agent Systems?
Proceedings of the Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XIV, 2021
Proceedings of the AIES '21: AAAI/ACM Conference on AI, 2021
Mythical Ethical Principles for AI and How to Attain Them.
Proceedings of the Human-Centered Artificial Intelligence, 2021
2020
The Complexity Landscape of Outcome Determination in Judgment Aggregation.
J. Artif. Intell. Res., 2020
Circumvention by design - dark patterns in cookie consents for online news outlets.
CoRR, 2020
Circumvention by design - dark patterns in cookie consent for online news outlets.
Proceedings of the NordiCHI '20: Shaping Experiences, 2020
Predicting the Winners of Borda, Kemeny and Dodgson Elections with Supervised Machine Learning.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020
Model-Checking Information Diffusion in Social Networks with PRISM.
Proceedings of the Multi-Agent Systems and Agreement Technologies, 2020
2019
Ethics and Trust: Principles, Verification and Validation (Dagstuhl Seminar 19171).
Dagstuhl Reports, 2019
Aggregating Probabilistic Judgments.
Proceedings of the Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, 2019
Improving Judgment Reliability in Social Networks via Jury Theorems.
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019
Answer Set Programming for Judgment Aggregation.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders.
Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019
2018
Aggregation of probabilisitic logically related judgments.
Proceedings of the 31st Norsk Informatikkonferanse, 2018
Autonomous Yet Moral Machines.
Proceedings of the Joint Proceedings of the Workshops C3GI: The 7th International Workshop on Computational Creativity, 2018
On the Distinction between Implicit and Explicit Ethical Agency.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018
Ethics by Design: Necessity or Curse?
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018
Cake, Death, and Trolleys: Dilemmas as benchmarks of ethical decision-making.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018
2017
A partial taxonomy of judgment aggregation rules and their properties.
Soc. Choice Welf., 2017
Towards Moral Autonomous Systems.
CoRR, 2017
Formal Models of Conflicting Social Influence.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017
Classifying the Autonomy and Morality of Artificial Agents.
Proceedings of the First Workshop on Computational Accountability and Responsibility in Multiagent Systems co-located with 20th International Conference on Principles and Practice of Multi-Agent Systems, 2017
Implementing Asimov’s First Law of Robotics.
Proceedings of the 30th Norsk Informatikkonferanse, 2017
A Modified Vickrey Auction with Regret Minimization for Uniform Alliance Decisions.
Proceedings of the Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing, 2017
Complexity Results for Aggregating Judgments using Scoring or Distance-Based Procedures.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017
2016
Formal verification of ethical choices in autonomous systems.
Robotics Auton. Syst., 2016
Engineering Moral Agents - from Human Morality to Artificial Morality (Dagstuhl Seminar 16222).
Dagstuhl Reports, 2016
A Deliberation Procedure for Judgment Aggregation Problems.
CoRR, 2016
An Introductory Course to Judgment Aggregation.
CoRR, 2016
Iterative Judgment Aggregation.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
"How Did They Know?" - Model-Checking for Analysis of Information Leakage in Social Networks.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016
Agenda Separability in Judgment Aggregation.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
An abstract formal basis for digital crowds.
Distributed Parallel Databases, 2015
Majority-preserving judgment aggregation rules.
CoRR, 2015
2014
JA4AI - Judgment Aggregation for Artificial Intelligence (Dagstuhl Seminar 14202).
Dagstuhl Reports, 2014
Measuring Dissimilarity between Judgment Sets.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014
Not all Judgment Aggregation Should be Neutral.
Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014
A weakening of independence in judgment aggregation: agenda separability.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
How Hard is it to Compute Majority-Preserving Judgment Aggregation Rules?
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
A judgment set similarity measure based on prime implicants.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014
2013
Ethical Choice in Unforeseen Circumstances.
Proceedings of the Towards Autonomous Robotic Systems - 14th Annual Conference, 2013
Some Complexity Results for Distance-Based Judgment Aggregation.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013
Judgment Aggregation Rules and Voting Rules.
Proceedings of the Algorithmic Decision Theory - Third International Conference, 2013
2012
Recognition-primed group decisions via judgement aggregation.
Synth., 2012
Two dimensional Standard Deontic Logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system].
Synth., 2012
Competitive Voters vs. Collaborative Bidders: Agreements in Dynamic Task Assignment.
Proceedings of the First International Conference on Agreement Technologies, 2012
Distance-based rules for weighted judgment aggregation.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
Selecting judgment aggregation rules for NAO robots: an experimental approach.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012
2011
Judgment aggregation rules based on minimization.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011
A Satisficing Agreements Model.
Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011
2010
Group Intention = Social Choice + Commitment.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010
Group Intention Is Social Choice with Commitment.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010
2009
A Complete Conclusion-Based Procedure for Judgment Aggregation.
Proceedings of the Algorithmic Decision Theory, First International Conference, 2009
2006
Extended Spiking Neural P Systems.
Proceedings of the Membrane Computing, 7th International Workshop, 2006