Blar i Institutt for byggfag på forfatter "Dyrkolbotn, Sjur Kristoffer"

Viser treff 1-3 av 3

    • Computing Consensus: A Logic for Reasoning About Deliberative Processes Based on Argumentation 

      Dyrkolbotn, Sjur Kristoffer; Pedersen, Truls Andre (Peer reviewed; Journal article, 2019)
      Argumentation theory can encode an agent’s assessment of the state of an exchange of points of view. We present a conservative model of multiple agents potentially disagreeing on the views presented during a process of ...

    • Location and marking of cadastral boundaries in Nordic countries 

      Paasch, Jesper Mayntz; Dyrkolbotn, Sjur Kristoffer; Halme, Pekka; Mjøs, Leiv Bjarte; Paulsson, Jenny; Skovsgaard, Tanja Lindgaard (Peer reviewed; Journal article, 2023)
      Cadastral boundaries are key components for ordering the ownership of real property by dividing it into territories. This study analyses the similarities and differences in marking cadastral boundaries in Denmark, Finland, ...

    • On Preemption and Overdetermination in Formal Theories of Causality 

      Dyrkolbotn, Sjur Kristoffer (Journal article; Peer reviewed, 2017)
      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 ...