pith. sign in

Truls Pedersen

Identifiers

  • name variant Truls Pedersen 0.60 · backfill

Papers (3)

  1. Computing consensus: A logic for reasoning about deliberative processes based on argumentation cs.LO · 2014 · author #1
  2. Big, but not unruly: Tractable norms for anonymous game structures cs.MA · 2014 · author #1
  3. No big deal: introducing roles to reduce the size of ATL models cs.LO · 2012 · author #4

Mentions

  • 1408.1647 #1 · backfill · confidence 0.70 Truls Pedersen
  • 1405.6899 #1 · backfill · confidence 0.70 Truls Pedersen
  • 1204.3495 #4 · backfill · confidence 0.70 Truls Pedersen

Frequent Coauthors