Truls Pedersen

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