2 citations · 2 across the 5 of their papers we have counts for
5 papers
Understanding Privacy by Formalizing It
Réka Markovich, Truls Pedersen, Marija Slavkovik
In most of the modern societies, there is a broad consensus regarding the need for promoting privacy and thus placing restrictions on technological-including AI-developments to pro…
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…