Truls Pedersen

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 10

Top Topics

Automatic Identification

Defeasible Reasoning

Top Venues

Publications

Sjur K. Dyrkolbotn, Truls Pedersen, Jan M. Broersen
On Elitist Lifting and Consistency in Structured Argumentation. FLAP 5 (3) (2018)
Samia Touileb, Truls Pedersen, Helle Sjøvaag
Automatic identification of unknown names with specific roles. LaTeCH@COLING (2018)
Truls Pedersen, Sjur Kristoffer Dyrkolbotn
The legally mandated approximate language about AI. NIK (2018)
Sjur K. Dyrkolbotn, Truls Pedersen
Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation. EUMAS (2018)
Sjur K. Dyrkolbotn, Truls Pedersen, Marija Slavkovik
On the Distinction between Implicit and Explicit Ethical Agency. AIES (2018)
Sjur K. Dyrkolbotn, Truls Pedersen
A Formal Analysis of Enthymematic Arguments. Bridging@IJCAI/ECAI (2018)
Truls Pedersen, Marija Slavkovik
Formal Models of Conflicting Social Influence. PRIMA (2017)
Sjur K. Dyrkolbotn, Truls Pedersen, Marija Slavkovik
Classifying the Autonomy and Morality of Artificial Agents. CARe-MAS@PRIMA (2017)
Sjur Kristoffer Dyrkolbotn, Truls Pedersen, Jan M. Broersen
Arguments, Responsibilities and Moral Dilemmas in Abductive Default Logic. DEON (2016)
Sjur Kristoffer Dyrkolbotn, Truls Pedersen
Argumentation Frameworks with Justified Attacks. DEON (2016)
Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes
Reasoning about reasons behind preferences using modal logic. Inf. Syst. Frontiers 17 (4) (2015)
Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak
Big, but not unruly: Tractable norms for anonymous game structures. CoRR (2014)
Truls Pedersen, Sjur K. Dyrkolbotn
Computing consensus: A logic for reasoning about deliberative processes based on argumentation. CoRR (2014)
Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes
Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. AT (2013)
Sjur K. Dyrkolbotn, Truls Pedersen
Arguably Argumentative: A Formal Approach to the Argumentative Theory of Reason. PT-AI (2013)
Truls Pedersen, Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann
Concurrent Game Structures with Roles SR (2013)
Truls Pedersen, Sjur Kristoffer Dyrkolbotn
Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL. PRIMA (2013)
Piotr Kazmierczak, Truls Pedersen, Thomas Ågotnes
NORMC: a Norm Compliance Temporal Logic Model Checker. STAIRS (2012)
Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann, Truls Pedersen
No big deal: introducing roles to reduce the size of ATL models CoRR (2012)