Home
Sjur Kristoffer Dyrkolbotn's picture

Sjur Kristoffer Dyrkolbotn

PhD Candidate
Selected publications
  • Dyrkolbotn, Sjur Kristoffer; Walicki, Michal. 2014. Propositional discourse logic. Synthese. 191: 863-899. doi: 10.1007/s11229-013-0297-x
  • Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas. 2015. Reasoning about reasons behind preferences using modal logic. Information Systems Frontiers. 17: 713-724. doi: 10.1007/s10796-014-9520-7
  • Dyrkolbotn, Sjur K.; Pedersen, Truls Andre. 2016. Arguably Argumentative: A Formal Approach to the Argumentative Theory of Reason. Chapter 19, pages 315-337. In:
    • Müller, Vincent C. 2016. Fundamental Issues of Artificial Intelligence. Springer. 570 pages. ISBN: 978-3-319-26483-7.
  • Dyrkolbotn, Sjur Kristoffer. 2016. Counterfactual Reasoning and Expropriation Compensation: An Argument for Elimination of Elimination Rules. European Property Law Journal. 5: 301-331. doi: https://doi.org/10.1515/eplj-2016-0016
  • Dyrkolbotn, Sjur Kristoffer. 2015. On Benefit Sharing and the Compensatory Approach to Economic Development Takings. Kapittel, pages 319-359. In:
    • Hoops, B.; Marais, E.J.; Mostert, H.; Sluysman, J.A.M.A.; Verstappen, L.C.A. 2015. Rethinking Expropriation Law II: Context, Criteria, and Consequences of Expropriation Law. Eleven International Publishing. 398 pages. ISBN: 978‐94‐6236‐632‐9.
  • Dyrkolbotn, Sjur Kristoffer. 2015. Expropriation Law in Norway. Kapittel, pages 369-405. In:
    • Sluysman, J.A.M.A.; Verbijst, S.; Waring, E. 2015. Expropriation Law in Europe. Wolters Kluwer. 508 pages. ISBN: 9789013131796.
  • Dyrkolbotn, Sjur Kristoffer. 2017. On Preemption and Overdetermination in Formal Theories of Causality. Electronic Proceedings in Theoretical Computer Science. 259: 1-15. doi: 10.4204/EPTCS.259.1
Journal articles
  • Dyrkolbotn, Sjur Kristoffer. 2017. On Preemption and Overdetermination in Formal Theories of Causality. Electronic Proceedings in Theoretical Computer Science. 259: 1-15. doi: 10.4204/EPTCS.259.1
  • Dyrkolbotn, Sjur Kristoffer. 2016. Counterfactual Reasoning and Expropriation Compensation: An Argument for Elimination of Elimination Rules. European Property Law Journal. 5: 301-331. doi: https://doi.org/10.1515/eplj-2016-0016
  • Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas. 2015. Reasoning about reasons behind preferences using modal logic. Information Systems Frontiers. 17: 713-724. doi: 10.1007/s10796-014-9520-7
  • Dyrkolbotn, Sjur Kristoffer; Walicki, Michal. 2014. Propositional discourse logic. Synthese. 191: 863-899. doi: 10.1007/s11229-013-0297-x
  • Pedersen, Truls Andre; Dyrkolbotn, Sjur Kristoffer; Ågotnes, Thomas. 2013. Reasonably Rational: Reasoning about Reasons Behind Preferences Using Modal Logic. Lecture Notes in Computer Science. 8068: 120-134. doi: 10.1007/978-3-642-39860-5_10
  • Dyrkolbotn, Sjur Kristoffer; Walicki, Michal. 2012. Kernels in digraphs which are not kernel-perfect. Discrete Mathematics. 312: 2498-2505. doi: 10.1016/j.disc.2012.05.004
  • Walicki, Michal; Dyrkolbotn, Sjur Kristoffer. 2012. Finding kernels or solving SAT. Journal of Discrete Algorithms. 10: 146-164. doi: 10.1016/j.jda.2011.11.004
Reports and theses
  • Dyrkolbotn, Sjur Kristoffer. 2012. Argumentation, paradox and kernels in directed graphs. University of Bergen.
Book sections
  • Dyrkolbotn, Sjur Kristoffer. 2016. Arguments for an informational layer in theories of argumentation. Artikkel, pages 417-431. In:
    • Mohammed, Dima; Lewinski, Marcin. 2016. Argumentation and Reasoned Action: Proceedings of the First European Conference on Argumentation, Lisbon, 9-12 June 2015. College Publications. 1118 pages. ISBN: 978-1-84890-212-1.
  • Dyrkolbotn, Sjur Kristoffer. 2015. On Benefit Sharing and the Compensatory Approach to Economic Development Takings. Kapittel, pages 319-359. In:
    • Hoops, B.; Marais, E.J.; Mostert, H.; Sluysman, J.A.M.A.; Verstappen, L.C.A. 2015. Rethinking Expropriation Law II: Context, Criteria, and Consequences of Expropriation Law. Eleven International Publishing. 398 pages. ISBN: 978‐94‐6236‐632‐9.
  • Dyrkolbotn, Sjur Kristoffer. 2015. Expropriation Law in Norway. Kapittel, pages 369-405. In:
    • Sluysman, J.A.M.A.; Verbijst, S.; Waring, E. 2015. Expropriation Law in Europe. Wolters Kluwer. 508 pages. ISBN: 9789013131796.
  • Dyrkolbotn, Sjur Kristoffer. 2014. How to Argue for Anything: Enforcing Arbitrary Sets of Labellings using AFs. Artikkel, pages 626-629. In:
    • Baral, Chitta; De Giacomo, Giuseppe; Thomas, Eiter. 2014. Proceedings, Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR-14). AAAI Press. 714 pages. ISBN: 978-1-57735-657-8.
  • Dyrkolbotn, Sjur Kristoffer; Piotr, Kazmierczak. 2014. Playing with norms: tractability of normative systems for homogeneous game structures. Artikkel, pages 125-132. In:
    • Lomuscio, Alessio R.; Scerri, Paul. 2014. Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems. The International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS). 1752 pages. ISBN: 978-1-4503-2738-1.

More information in national current research information system (CRIStin)