Sjur K. Dyrkolbotn

21 papers A 1B 1C 2Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2023 B conf
Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture.
JELIA
Sjur K. Dyrkolbotn
2022 J jnl
Paraconsistent resolution.
Australas. J. Log.
Michal Walicki, Sjur K. Dyrkolbotn
2019 J jnl
Paraconsistency, resolution and relevance.
CoRR
Michal Walicki, Sjur K. Dyrkolbotn
2018 — conf
A Formal Analysis of Enthymematic Arguments.
Bridging@IJCAI/ECAI
Sjur K. Dyrkolbotn, Truls Pedersen
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
2017 — conf
Classifying the Autonomy and Morality of Artificial Agents.
CARe-MAS@PRIMA
Sjur K. Dyrkolbotn, Truls Pedersen, Marija Slavkovik
2017 — conf
On Preemption and Overdetermination in Formal Theories of Causality.
CREST
Sjur K. Dyrkolbotn
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
2014 A conf
Playing with norms: tractability of normative systems for homogeneous game structures.
AAMAS
Sjur K. Dyrkolbotn, Piotr Kazmierczak
2014 J jnl
Propositional discourse logic.
Synth.
Sjur K. Dyrkolbotn, Michal Walicki
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
On a Formal Connection between Truth, Argumentation and Belief.
ESSLLI Student Sessions
Sjur K. Dyrkolbotn
2013 — conf
Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic.
AT
Truls Pedersen, Sjur K. Dyrkolbotn, Thomas Ågotnes
2012 J jnl
Finding kernels or solving SAT.
J. Discrete Algorithms
Michal Walicki, Sjur K. Dyrkolbotn
2012 J jnl
Kernels in digraphs that are not kernel perfect.
Discret. Math.
Sjur K. Dyrkolbotn, Michal Walicki
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