2 citations · 3 across the 6 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
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…
cs.MA2014
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…