特鲁斯·佩德森
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2018 [注2] Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 , 简·M·布罗森 :
论精英提升与结构化论证的一致性。 拍打 5 ( 三 ) : 709-746 ( 2018 ) [第14条] Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 , 玛丽亚·斯拉夫科维奇 :
论隐性伦理代理与显性伦理代理的区别。 AIES公司 2018 : 74-80 [第13条] Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 :
计算共识:基于论证的审议过程推理逻辑。 欧盟货币体系 2018 : 205-219 [第12条] Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 :
对热议论点的形式分析。 IJCAI桥接 /ECAI公司 2018 : 13-18 [第11条] 萨米娅·图伊勒布 , 特鲁斯·佩德森 , 海尔·舍瓦格 :
自动识别具有特定角色的未知名称。 冷态下的LaTeCH 2018 : 150-158 [第10条] 特鲁斯·佩德森 , 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) :
关于人工智能的法定近似语言。 NIK公司 2018 2017 【c9】 Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 , 玛丽亚·斯拉夫科维奇 :
对人工智能的自主性和道德性进行分类。 PRIMA护理质量 2017 : 67-83 【c8】 特鲁斯·佩德森 , 玛丽娅·斯拉夫科维奇 :
冲突社会影响的形式模型。 主要的 2017 : 349-365 2016 【c7】 Kristoffer Dyrkolbotn法官 , 特鲁斯·佩德森 :
论证框架与正当攻击。 DEON公司 2016 : 49-64 【c6】 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) , 特鲁斯·佩德森 , 简·M·布罗森 :
诱拐缺省逻辑中的争论、责任和道德困境。 DEON公司 2016 : 65-79 2015 [j1] 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 托马斯·奥戈特斯 :
使用模态逻辑推理偏好背后的原因。 信息系统。 前沿 17 ( 4 ) : 713-724 ( 2015 ) 2014 [i3] 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 彼得罗·卡兹米尔扎克 :
大,但不难控制:匿名游戏结构的可追踪规范。 CoRR公司 abs/1405.6899 ( 2014 ) [i2] 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 :
计算共识:基于论证对审议过程进行推理的逻辑。 CoRR公司 abs/1408.1647 ( 2014 ) 2013 【c5】 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 托马斯·奥戈特斯 :
合理理性:使用模态逻辑推理偏好背后的原因。 自动变速箱 2013 : 120-134 【c4】 特鲁斯·佩德森 , 克里斯托弗·迪尔科尔博顿(Sjur Kristoffer Dyrkolbotn) :
同质代理:描述ATL同质片段的过程匿名语义。 主要的 2013 : 245-259 【c3】 Sjur K.Dyrkolbotn先生 , 特鲁斯·佩德森 :
可论证的论证:论证理性理论的形式方法。 PT-AI公司 2013 : 317-339 【c2】 特鲁斯·佩德森 , Sjur K.Dyrkolbotn先生 , 彼得罗·卡兹米尔扎克 , 埃里克·帕尔曼 :
具有角色的并发游戏结构。 SR公司 2013 : 61-69 2012 【c1】 彼得罗·卡兹米尔扎克 , 特鲁斯·佩德森 , 托马斯·奥戈特斯 :
NORMC:一个规范符合性时态逻辑模型检查器。 楼梯 2012 : 168-179 [i1] Sjur K.Dyrkolbotn先生 , 彼得罗·卡兹米尔扎克 , 埃里克·帕尔曼 , 特鲁斯·佩德森 :
没什么大不了的:引入角色来缩小ATL模型的规模。 CoRR公司 abs/1204.3495 ( 2012 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)