2 citations · 3 across the 6 of their papers we have counts for
6 papers
Paraconsistency, resolution and relevance
Michal Walicki, Sjur Dyrkolbotn
Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of w…
On Preemption and Overdetermination in Formal Theories of Causality
Sjur K Dyrkolbotn
One of the key challenges when looking for the causes of a complex event is to determine the causal status of factors that are neither individually necessary nor individually suffi…
Computing consensus: A logic for reasoning about deliberative processes based on argumentation
Truls Pedersen, Sjur Dyrkolbotn
We consider multi-agent argumentation, where each agent's view of the arguments is encoded as an argumentation framework (AF). Then we study deliberative processes than can occur o…
Big, but not unruly: Tractable norms for anonymous game structures
Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak
We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures comp…
Concurrent Game Structures with Roles
Truls Pedersen, Sjur Dyrkolbotn, Piotr Kaźmierczak +1
In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each ag…
No big deal: introducing roles to reduce the size of ATL models
Sjur Dyrkolbotn, Piotr Kaźmierczak, Erik Parmann +1
In the following paper we present a new semantics for the well-known strategic logic ATL. It is based on adding roles to concurrent game structures, that is at every state, each ag…