Zobrazeno 1 - 10
of 41
pro vyhledávání: '"Dyrkolbotn, Sjur"'
Autor:
Walicki, Michal, Dyrkolbotn, Sjur
Digraphs provide an alternative syntax for propositional logic, with digraph kernels corresponding to classical models. Semikernels generalize kernels and we identify a subset of well-behaved semikernels that provides nontrivial models for inconsiste
Externí odkaz:
http://arxiv.org/abs/1906.03476
Autor:
Dyrkolbotn, Sjur Kristoffer
For most governments, facilitating economic growth is a top priority. Sometimes, in their pursuit of this objective, governments interfere with private property. Often, they do so by indirect means, for instance through their power to regulate permit
Externí odkaz:
http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.685666
Autor:
Dyrkolbotn, Sjur K
Publikováno v:
EPTCS 259, 2017, pp. 1-15
One of the key challenges when looking for the causes of a complex event is to determine the causal status of factors that are neither individually necessary nor individually sufficient to produce that event. In order to reason about how such factors
Externí odkaz:
http://arxiv.org/abs/1710.03390
Autor:
Pedersen, Truls, Dyrkolbotn, Sjur
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 on this basis. We think of a deliberative process as taking the shape o
Externí odkaz:
http://arxiv.org/abs/1408.1647
We present a new strategic logic NCHATL that allows for reasoning about norm compliance on concurrent game structures that satisfy anonymity. We represent such game structures compactly, avoiding models that have exponential size in the number of age
Externí odkaz:
http://arxiv.org/abs/1405.6899
Autor:
Paasch, Jesper M.1,2,3 jesper.paasch@hig.se, Dyrkolbotn, Sjur Kristoffer4, Halme, Pekka5, Mjøs, Leiv Bjarte4, Paulsson, Jenny6, Skovsgaard, Tanja L.7
Publikováno v:
Nordic Journal of Surveying & Real Estate Research. 2023 Special Issue, p5-35. 31p.
Publikováno v:
EPTCS 112, 2013, pp. 61-69
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 agent belongs to exactly one role, and the role specifies what actions a
Externí odkaz:
http://arxiv.org/abs/1303.0792
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 agent belongs to exactly one role, and the role specifies what actions a
Externí odkaz:
http://arxiv.org/abs/1204.3495