Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Sjur Dyrkolbotn
Map detail
Sjur Dyrkolbotn5 visible / 5 total nodes / 4 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipSjur DyrkolbotnASjur DyrkolbotnResearcherNo big deal: introducing roles to reduce the size of ATL modelsWNo big deal: introducin...preprint / 2012Concurrent Game Structures with RolesWConcurrent Game Structu...preprint / 2013Computing consensus: A logic for reasoning about deliberative processes based on argumentationWComputing consensus: A ...preprint / 2014Big, but not unruly: Tractable norms for anonymous game structuresWBig, but not unruly: Tr...preprint / 2014
Person4 links

Sjur Dyrkolbotn

Researcher