NORMC: a Norm Compliance Temporal Logic Model Checker. - Piotr Kazmierczak; Truls Pedersen; Thomas Ågotnes (STAIRS, 2012)

No big deal: introducing roles to reduce the size of ATL models - Sjur K. Dyrkolbotn; Piotr Kazmierczak; Erik Parmann; Truls Pedersen (CoRR, 2012)

Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. - Truls Pedersen; Sjur K. Dyrkolbotn; Thomas Ågotnes (AT, 2013)

Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL. - Truls Pedersen; Sjur Kristoffer Dyrkolbotn (PRIMA, 2013)

Arguably Argumentative: A Formal Approach to the Argumentative Theory of Reason. - Sjur K. Dyrkolbotn; Truls Pedersen (PT-AI, 2013)

Concurrent Game Structures with Roles - Truls Pedersen; Sjur K. Dyrkolbotn; Piotr Kazmierczak; Erik Parmann (SR, 2013)

Big, but not unruly: Tractable norms for anonymous game structures. - Truls Pedersen; Sjur K. Dyrkolbotn; Piotr Kazmierczak (CoRR, 2014)

Reasoning about reasons behind preferences using modal logic. - Truls Pedersen; Sjur K. Dyrkolbotn; Thomas Ågotnes (Inf. Syst. Frontiers, 2015)

Argumentation Frameworks with Justified Attacks. - Sjur Kristoffer Dyrkolbotn; Truls Pedersen (DEON, 2016)

Arguments, Responsibilities and Moral Dilemmas in Abductive Default Logic. - Sjur Kristoffer Dyrkolbotn; Truls Pedersen; Jan M. Broersen (DEON, 2016)

Classifying the Autonomy and Morality of Artificial Agents. - Sjur K. Dyrkolbotn; Truls Pedersen; Marija Slavkovik 001 (CARe-MAS@PRIMA, 2017)

Formal Models of Conflicting Social Influence. - Truls Pedersen; Marija Slavkovik 001 (PRIMA, 2017)

On the Distinction between Implicit and Explicit Ethical Agency. - Sjur K. Dyrkolbotn; Truls Pedersen; Marija Slavkovik 001 (AIES, 2018)

Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation. - Sjur K. Dyrkolbotn; Truls Pedersen (EUMAS, 2018)

A Formal Analysis of Enthymematic Arguments. - Sjur K. Dyrkolbotn; Truls Pedersen (Bridging@IJCAI/ECAI, 2018)

Automatic identification of unknown names with specific roles. - Samia Touileb; Truls Pedersen; Helle Sjøvaag (LaTeCH@COLING, 2018)

The legally mandated approximate language about AI. - Truls Pedersen; Sjur Kristoffer Dyrkolbotn (NIK, 2018)

On Elitist Lifting and Consistency in Structured Argumentation. - Sjur K. Dyrkolbotn; Truls Pedersen; Jan M. Broersen (FLAP, 2018)