Sjur K. Dyrkolbotn

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 8

Top Topics

Argumentation Semantics

Top Venues

ESSLLI Student Sessions

Publications

Sjur K. Dyrkolbotn
Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture. JELIA (2023)
Michal Walicki, Sjur K. Dyrkolbotn
Paraconsistency, resolution and relevance. CoRR (2019)
Sjur K. Dyrkolbotn, Truls Pedersen, Jan M. Broersen
On Elitist Lifting and Consistency in Structured Argumentation. FLAP 5 (3) (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)
Sjur K. Dyrkolbotn
On Preemption and Overdetermination in Formal Theories of Causality. CREST@ETAPS (2017)
Sjur K. Dyrkolbotn, Truls Pedersen, Marija Slavkovik
Classifying the Autonomy and Morality of Artificial Agents. CARe-MAS@PRIMA (2017)
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)
Sjur K. Dyrkolbotn, Piotr Kazmierczak
Playing with norms: tractability of normative systems for homogeneous game structures. AAMAS (2014)
Sjur K. Dyrkolbotn, Michal Walicki
Propositional discourse logic. Synth. 191 (5) (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)
Sjur K. Dyrkolbotn
On a Formal Connection between Truth, Argumentation and Belief. ESSLLI Student Sessions (2013)
Sjur K. Dyrkolbotn, Michal Walicki
Kernels in digraphs that are not kernel perfect. Discret. Math. 312 (16) (2012)
Sjur K. Dyrkolbotn, Piotr Kazmierczak, Erik Parmann, Truls Pedersen
No big deal: introducing roles to reduce the size of ATL models CoRR (2012)
Michal Walicki, Sjur K. Dyrkolbotn
Finding kernels or solving SAT. J. Discrete Algorithms 10 (2012)