Truls Pedersen

According to our database, Truls Pedersen authored at least 18 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2018

On Elitist Lifting and Consistency in Structured Argumentation.

Sjur K. Dyrkolbotn, Truls Pedersen, Jan M. Broersen

FLAP, 2018

The legally mandated approximate language about AI.

Truls Pedersen, Sjur Kristoffer Dyrkolbotn

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Automatic identification of unknown names with specific roles.

Samia Touileb, Truls Pedersen, Helle Sjøvaag

Proceedings of the Second Joint SIGHUM Workshop on Computational Linguistics for Cultural Heritage, 2018

A Formal Analysis of Enthymematic Arguments.

Sjur K. Dyrkolbotn, Truls Pedersen

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation.

Sjur K. Dyrkolbotn, Truls Pedersen

Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

On the Distinction between Implicit and Explicit Ethical Agency.

Sjur K. Dyrkolbotn, Truls Pedersen, Marija Slavkovik

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017

Formal Models of Conflicting Social Influence.

Truls Pedersen, Marija Slavkovik

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.

Sjur K. Dyrkolbotn, Truls Pedersen, Marija Slavkovik

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

2016

Arguments, Responsibilities and Moral Dilemmas in Abductive Default Logic.

Sjur Kristoffer Dyrkolbotn, Truls Pedersen, Jan M. Broersen

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

Argumentation Frameworks with Justified Attacks.

Sjur Kristoffer Dyrkolbotn, Truls Pedersen

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015

Reasoning about reasons behind preferences using modal logic.

Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes

Inf. Syst. Frontiers, 2015

2014

Big, but not unruly: Tractable norms for anonymous game structures.

Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak

CoRR, 2014

2013

Concurrent Game Structures with Roles

Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann

Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

Arguably Argumentative: A Formal Approach to the Argumentative Theory of Reason.

Sjur K. Dyrkolbotn, Truls Pedersen

Proceedings of the Fundamental Issues of Artificial Intelligence, 2013

Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL.

Truls Pedersen, Sjur Kristoffer Dyrkolbotn

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic.

Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes

Proceedings of the Agreement Technologies - Second International Conference, 2013

2012

No big deal: introducing roles to reduce the size of ATL models

Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann, Truls Pedersen

CoRR, 2012

NORMC: a Norm Compliance Temporal Logic Model Checker.

Piotr Kazmierczak, Truls Pedersen, Thomas Ågotnes

Proceedings of the STAIRS 2012, 2012