Truls Pedersen
Identifiers
- name variant Truls Pedersen 0.60 · backfill
Papers (3)
- Computing consensus: A logic for reasoning about deliberative processes based on argumentation cs.LO · 2014 · author #1
- Big, but not unruly: Tractable norms for anonymous game structures cs.MA · 2014 · author #1
- No big deal: introducing roles to reduce the size of ATL models cs.LO · 2012 · author #4
Mentions
Frequent Coauthors
- Sjur Dyrkolbotn 3 shared papers
- Piotr Ka\'zmierczak 2 shared papers
- Erik Parmann 1 shared papers