Showing cs.LOShow 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.LO2012
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…