西尔维·多特
人员信息
附属: 法国图卢兹IRIT
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2023 [公元10年] 刘晓龙 , 学家菲利普·贝斯纳德 , 西尔维·多特 :
由不一致度量导出的次一致推理关系。 国际期刊近似原因。 152 : 183-197 ( 2023 ) [公元9年] 西尔维·多特 , 安德烈亚斯·赫齐格 , 安东尼·亨特 :
逻辑、论点和矛盾:为纪念菲利普·贝斯纳德而举行的节日庆典介绍。 J.应用。 非班级。 逻辑 33 ( 3-4 ) : 207-211 ( 2023 ) [j8] 西尔维·杜特 , Marie-Christine Lagasquie-Schiex女士 :
RAF分隔器 :在高阶抽象论证框架中计算语义的分布式算法。 J.应用。 非班级。 逻辑 33 ( 3-4 ) : 244-297 ( 2023 ) [j7] 学家菲利普·贝斯纳德 , 西尔维·多特 , 塞奥·杜沙特尔 , Marie-Christine Lagasquie-Schiex女士 :
用于论证的通用逻辑编码。 J.日志。 计算。 33 ( 三 ) : 623-704 ( 2023 ) [公元36年] 西尔维·多特 , 塞奥·杜沙特尔 , Marie-Christine Lagasquie-Schiex女士 :
抽象辩论中辩护的视觉解释。 美国原子能机构 2023 : 2346-2348 [公元35年] 西尔维·多特 , 塞奥·杜沙特尔 , Marie-Christine Lagasquie-Schiex女士 :
抽象论证中验证问题的解释类。 日本国际机场 2023 : 124-134 [公元34年] 瑞安·舒尔坎普 , 菲利普·贾巴内利 , 翁贝托·格兰迪 , 西尔维·多特 :
如何组合模型? 聚合模糊认知地图的原理和机制。 WSC公司 2023 : 2518-2529 [电子2] Oana Cocarascu公司 , 西尔维·多特 , Jean-Guy Mailly女士 , 安东尼奥·拉戈 :
第一届论证与应用国际研讨会论文集,与第二十届知识表示与推理原则国际会议(KR 2023)合办,希腊罗德斯,2023年9月2日至8日。 CEUR研讨会记录 3472, CEUR-WS.org公司 2023 [目录] 2022 [j6] 西尔维·多特 , 米卡·拉法赫斯 , Marie-Christine Lagasquie-Schiex女士 :
面向具有高阶攻击的论证框架的算法。 国际艺术杂志。 因特尔。 工具 31 ( 7 ) : 2260007:1-2260007:75 ( 2022 ) [j5] 学家菲利普·贝斯纳德 , 西尔维·多特 , 塞奥·杜沙特尔 , Marie-Christine Lagasquie-Schiex女士 :
解释抽象论证中的语义和扩展成员关系。 因特尔。 系统。 申请。 16 : 200118 ( 2022 ) [公元33年] 西尔维·多特 , Marie Christine Lagasquie Schiex女士 :
计算高阶抽象论证框架的标号。 SAFA@COMMA 2022 : 45-58 2021 【j4】 林戈·鲍曼 , 西尔维·多特 , Jean-Guy Mailly女士 , 约翰·彼得·沃纳 :
形式论证中的强制执行。 拍打 8 ( 6 ) : 1623-1678 ( 2021 ) [公元32年] 刘小龙 , 学家菲利普·贝斯纳德 , 西尔维·多特 :
从不一致度量中归纳推理关系。 ECSQARU公司 2021 : 486-498 2020 [公元31年] 西尔维·多特 , 米卡·拉法赫斯 , Marie-Christine Lagasquie-Schiex女士 :
具有高阶攻击的论证框架:标签和复杂性。 国际通信技术协会 2020 : 1210-1217
2010 – 2019
2019 [公元30年] 西尔维·多特 , 米卡·拉法赫斯 , Marie-Christine Lagasquie-Schiex女士 :
抽象论证中枚举问题的分布式聚类算法。 主要的 2019 : 87-105 [公元29年] 格里戈兹·利索夫斯基 , 西尔维·多特 , 翁贝托·格兰迪 :
基于价值的论证框架中的聚合。 TARK(目标) 2019 : 313-331 2018 [j3] 西尔维·多特 , Jean-Guy Mailly女士 :
约束与变化:抽象论证动力学综述。 参数计算。 9 ( 三 ) : 223-248 ( 2018 ) [公元28年] 西尔维·多特 , 安德烈亚斯·赫齐格 , 劳伦特·佩鲁塞尔 :
动态逻辑中的抽象论证:表示、推理和变化。 CLAR公司 2018 : 153-185 [公元27年] 格里戈兹·利索夫斯基 , 西尔维·多特 , 翁贝托·格兰迪 :
防止在基于价值的论证框架中聚集受众的操纵。 SAFA@COMMA 2018 : 48-59 2017 [公元26年] 学家菲利普·贝斯纳德 , 西尔维·杜特 , 多米尼克·隆宁 :
《芝麻街系统》:辩论的Spécifier des sémantiques。 APIA公司 2017 [c25] 西尔维·多特 , Jean-Guy Mailly女士 :
论证语义的比较标准。 EUMAS/AT公司 2017 : 219-234 [公元24年] 学家菲利普·贝斯纳德 , 维克托·戴维 , 西尔维·多特 , 多米尼克·隆宁 :
基于排名的论证中原则之间的包容和不相容。 国际通信技术协会 2017 : 853-859 【c23】 西尔维·多特 , 福斯汀·马弗尔 , 彼得·麦克伯尼 :
抽象论证的动态逻辑框架:添加和删除参数。 IEA/AIE(2) 2017 : 295-305 [公元22年] 西尔维·多特 , Jean-Guy Mailly女士 :
抽象论证中的语义变化和扩展实施。 SUM(总和) 2017 : 194-207 2016 【c21】 学家菲利普·贝斯纳德 , 西尔维·多特 , 范希浩 , 多米尼克·隆宁 :
SESAME-在抽象论证中指定语义的系统。 SAFA@COMMA 2016 : 40-51 [公元20年] 西尔维·多特 , Jean-Guy Mailly女士 :
量化论证语义之间的差异。 COMMA公司 2016 : 255-262 2014 [第19条] 克劳德特·凯洛尔 , 西尔维·多特 , Marie-Christine Lagasquie-Schiex女士 :
GRAFIX:抽象论证工具。 COMMA公司 2014 : 453-454 [第18条] 学家菲利普·贝斯纳德 , 西尔维·多特 , 安德烈亚斯·赫尔齐格 :
在逻辑中编码参数图。 IPMU(2) 2014 : 345-354 [第17条] 西尔维·多特 , 安德烈亚斯·赫齐格 , 劳伦特·佩鲁塞尔 :
抽象论证的动态逻辑框架。 韩国 2014 2010 [第16条] 卡罗琳·德弗雷德 , 西尔维·多特 , 克莱尔·莱夫维尔 , 帕斯卡·尼古拉斯 :
约束论证的辩证证明。 COMMA公司 2010 : 159-170
2000 – 2009
2008 [第15条] 特雷弗·J.M.长凳 , 西尔维·多特 , 保罗·邓恩 :
提出正确的问题:在考试对话中强制承诺。 逗号 2008 : 49-60 [电子1] 学家菲利普·贝斯纳德 , 西尔维·多特 , 安东尼·亨特 :
《争论的计算模型:2008年COMMA会议录》,法国图卢兹,2008年5月28日至30日。 人工智能和应用的前沿 172, IOS出版社 2008 ,国际标准图书编号 978-1-58603-859-5 [目录] 2007 [注2] 特雷弗·J.M.长凳 , 西尔维·多特 , 保罗·邓恩 :
论证框架中的受众。 Artif公司。 智力。 171 ( 1 ) : 42-71 ( 2007 ) [第14条] 劳伦特·佩鲁塞尔 , 西尔维·多特 , Jean-Marc Thévenin女士 , 彼得·麦克伯尼 :
获取信息的说服对话框。 ArgMAS公司 2007 : 63-79 [第13条] 西尔维·多特 , 彼得·麦克伯尼 , 劳伦特·佩鲁塞尔 , Jean-Marc Thévenin女士 :
为获取信息而争论。 美国原子能机构 2007 : 20 [第12条] 卡罗琳·德弗雷德 , 西尔维·多特 :
轻信谨慎偏好论证语义的辩证证明理论。 ECSQARU公司 2007 : 271-282 2005 [第11条] 西尔维·多特 , 特雷弗·J.M.长凳 , 保罗·邓恩 :
通过论证确定首选项。 爱*爱 2005 : 98-109 [第10条] 西尔维·多特 , 彼得·麦克伯尼 , 迈克尔·伍尔德里奇 :
法律控制Linda作为代理对话协议的语义。 美国原子能机构 2005 : 1257-1258 [c9] 西尔维·多特 , 特雷弗·J.M.长凳 , 保罗·邓恩 :
用参数位置解释首选项。 国际JCAI 2005 : 1560-1561 【c8】 保罗·邓恩 , 西尔维·多特 , 特雷弗·J.M.长凳 :
通过考试对话发现不一致。 国际JCAI 2005 : 1680-1681 2004 【c7】 西尔维·多特 , 杰罗姆·门根 :
抽象论证系统的怀疑与轻信接受。 杰莉亚 2004 : 462-473 【c6】 学家菲利普·贝斯纳德 , 西尔维·多特 :
论元系统的语义表征。 韩国 2004 : 183-193 【c5】 学家菲利普·贝斯纳德 , 西尔维·多特 :
检查一组参数的可接受性。 核磁共振 2004 : 59-64 【c4】 西尔维·多特 , 杰罗姆·门根 :
关于对抽象论证系统的怀疑与轻信接受。 核磁共振 2004 : 134-139 2003 [j1] 克劳德特·凯洛尔 , 西尔维·多特 , 杰罗姆·门根 :
与论证框架的首选语义相关的决策问题。 J.日志。 计算。 13 ( 三 ) : 377-403 ( 2003 ) 2002 [c3] 克劳德特·凯洛尔 , 西尔维·多特 , Marie-Christine Lagasquie-Schiex女士 , 杰罗姆·门根 :
“最小防御”:对论证框架的首选语义进行细化。 核磁共振 2002 : 408-415 [i1] 克劳德特·凯洛尔 , 西尔维·多特 , Marie-Christine Lagasquie-Schiex女士 , 杰罗姆·门根 :
“最小防御”:对论证框架的首选语义进行细化。 CoRR公司 反恐精英。 AI/0207025 ( 2002 ) 2001 【c2】 西尔维·多特 , 杰罗姆·门根 :
论证框架的首选扩展:查询回答和计算。 国际JCAR 2001 : 272-288 【c1】 克劳德特·凯洛尔 , 西尔维·杜特 , 杰罗姆·门根 :
论证框架中轻信偏好语义的辩证证明理论。 ECSQARU公司 2001 : 668-679
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)