Sjur K. Dyrkolbotn

Affiliations:
  • Western Norway University of Applied Sciences, Department of Civil Engineering, Bergen, Norway


According to our database1, Sjur K. Dyrkolbotn authored at least 26 papers between 2012 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2019
Paraconsistency, resolution and relevance.
CoRR, 2019

2018
On Elitist Lifting and Consistency in Structured Argumentation.
FLAP, 2018

The legally mandated approximate language about AI.
Proceedings of the 31st Norsk Informatikkonferanse, 2018

A Formal Analysis of Enthymematic Arguments.
Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation.
Proceedings of the Multi-Agent Systems - 16th European Conference, 2018

On the Distinction between Implicit and Explicit Ethical Agency.
Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017
On Preemption and Overdetermination in Formal Theories of Causality.
Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

Classifying the Autonomy and Morality of Artificial Agents.
Proceedings of the First Workshop on Computational Accountability and Responsibility in Multiagent Systems co-located with 20th International Conference on Principles and Practice of Multi-Agent Systems, 2017

Formell modellering av kravet til årsakssammenheng i norsk erstatningsrett.
Proceedings of the 30th Norsk Informatikkonferanse, 2017

2016
Arguments, Responsibilities and Moral Dilemmas in Abductive Default Logic.
Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

Argumentation Frameworks with Justified Attacks.
Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

2015
Reasoning about reasons behind preferences using modal logic.
Inf. Syst. Frontiers, 2015

2014
Propositional discourse logic.
Synth., 2014

Big, but not unruly: Tractable norms for anonymous game structures.
CoRR, 2014

How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Playing with norms: tractability of normative systems for homogeneous game structures.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
Concurrent Game Structures with Roles
Proceedings of the Proceedings 1st International Workshop on Strategic Reasoning, 2013

The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic.
Proceedings of the Logic, Language, Information, and Computation, 2013

Arguably Argumentative: A Formal Approach to the Argumentative Theory of Reason.
Proceedings of the Fundamental Issues of Artificial Intelligence, 2013

Agents Homogeneous: A Procedurally Anonymous Semantics Characterizing the Homogeneous Fragment of ATL.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

On a Formal Connection between Truth, Argumentation and Belief.
Proceedings of the Pristine Perspectives on Logic, Language, and Computation, 2013

Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic.
Proceedings of the Agreement Technologies - Second International Conference, 2013

2012
Finding kernels or solving SAT.
J. Discrete Algorithms, 2012

Kernels in digraphs that are not kernel perfect.
Discret. Math., 2012

No big deal: introducing roles to reduce the size of ATL models
CoRR, 2012


  Loading...