Sjur K.Dyrkolbotn先生
人员信息
附属: 挪威西部应用科学大学土木工程系,挪威卑尔根
优化列表
2020年–今天
2023 [第18条] Sjur K.Dyrkolbotn先生 :
弱论证语义和不安全的奇数循环:结果和推测。 杰莉亚 2023 : 161-175
2010 – 2019
2019 [i4] 米查尔·瓦利基 , Sjur K.Dyrkolbotn先生 :
超一致性、解决方案和相关性。 CoRR公司 abs/1906.03476 ( 2019 ) 2018 [j5] Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 , 简·M·布罗森 :
论精英提升与结构化论证的一致性。 拍打 5 ( 三 ) : 709-746 ( 2018 ) [第17条] Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 , 玛丽亚·斯拉夫科维奇 :
论隐性伦理代理与显性伦理代理的区别。 AIES公司 2018 : 74-80 [第16条] Sjur K.Dyrkolbotn公司 , 特鲁斯·佩德森 :
计算共识:基于论证的审议过程推理逻辑。 欧盟货币体系 2018 : 205-219 [第15条] Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 :
纠缠争论的形式分析。 IJCAI桥接 /ECAI公司 2018 : 13-18 [第14条] 特鲁斯·佩德森 , 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) :
关于人工智能的法定近似语言。 NIK公司 2018 2017 [第13条] 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) :
Formell modellering av kravet tilársakssammenheng i norsk erstatningsrett公司。 NIK公司 2017 [第12条] Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 , 玛丽亚·斯拉夫科维奇 :
对人工智能的自主性和道德性进行分类。 PRIMA护理质量 2017 : 67-83 [第11条] Sjur K.Dyrkolbotn公司 :
论因果关系形式理论中的先发制人和过度决定。 ETAPS坝顶 2017 : 1-15 2016 [第10条] 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) , 特鲁斯·佩德森 :
论证框架与正当攻击。 DEON公司 2016 : 49-64 【c9】 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) , 特鲁斯·佩德森 , 简·M·布罗森 :
诱拐缺省逻辑中的争论、责任和道德困境。 DEON公司 2016 : 65-79 2015 【j4】 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 托马斯·奥戈特斯 :
使用模态逻辑推理偏好背后的原因。 信息系统。 边境 17 ( 4 ) : 713-724 ( 2015 ) 2014 [j3] Sjur K.Dyrkolbotn先生 , 米查尔·瓦利基 :
命题话语逻辑。 合成。 191 ( 5 ) : 863-899 ( 2014 ) 【c8】 Sjur K.Dyrkolbotn先生 , 彼得·卡兹米尔扎克 :
玩弄规范:同质博弈结构规范体系的可驾驭性。 美国原子能机构 2014 : 125-132 【c7】 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) :
如何为任何事情争论:使用AF强制执行任意标签集。 韩国 2014 [i3] 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 彼得罗·卡兹米尔扎克 :
大,但不难控制:匿名游戏结构的可追踪规范。 CoRR公司 abs/1405.6899 ( 2014 ) [i2] 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 :
计算共识:基于论证对审议过程进行推理的逻辑。 CoRR公司 abs/1408.1647 ( 2014 ) 2013 【c6】 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 托马斯·奥戈特斯 :
理性推理:使用模态逻辑推理偏好背后的原因。 自动变速箱 2013 : 120-134 【c5】 Sjur K.Dyrkolbotn先生 :
真理、论证和信仰之间的形式联系。 ESSLLI学生课程 2013 : 69-90 【c4】 特鲁斯·佩德森 , 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) :
同质代理:描述ATL同质片段的过程匿名语义。 主要的 2013 : 245-259 【c3】 Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 :
可论证的论证:论证理性理论的形式方法。 PT-AI公司 2013 : 317-339 【c2】 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) :
相同、相似还是完全不同? 逻辑论证的等价性。 沃尔利克 2013 : 96-110 【c1】 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 彼得罗·卡兹米尔扎克 , 埃里克·帕尔曼 :
具有角色的并发游戏结构。 SR公司 2013 : 61-69 2012 [注2] Sjur K.Dyrkolbotn先生 , 米查尔·瓦利基 :
有向图中非核完美的核。 谨慎。 数学。 312 ( 16 ) : 2498-2505 ( 2012 ) [j1] 米查尔·瓦利基 , Sjur K.Dyrkolbotn先生 :
查找内核或求解SAT。 J.离散算法 10 : 146-164 ( 2012 ) [i1] Sjur K.Dyrkolbotn先生 , 彼得罗·卡兹米尔扎克 , 埃里克·帕尔曼 , 特鲁斯·佩德森 :
没什么大不了的:引入角色来缩小ATL模型的大小。 CoRR公司 abs/1204.3495 ( 2012 )