Sjur Dyrkolbotn

Identifiers

• name variant Sjur Dyrkolbotn 0.60 · backfill

Papers (4)

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

Mentions

• 1408.1647 #2 · backfill · confidence 0.70 Sjur Dyrkolbotn
• 1405.6899 #2 · backfill · confidence 0.70 Sjur Dyrkolbotn
• 1204.3495 #1 · backfill · confidence 0.70 Sjur Dyrkolbotn

Frequent Coauthors

• Truls Pedersen 3 shared papers
• Piotr Ka\'zmierczak 2 shared papers
• Erik Parmann 1 shared papers
• Michal Walicki 1 shared papers