托马斯·斯图德
人员信息
优化列表
2020年–今天
2024 [电子2] 乔治·梅特卡夫 , 托马斯·斯图德 , 鲁伊·J·G·B·德·奎罗斯 :
逻辑、语言、信息和计算——第30届国际研讨会,WoLLIC 2024,瑞士伯尔尼,2024年6月10日至13日,会议记录。 计算机科学课堂讲稿 14672, 施普林格 2024 ,国际标准图书编号 978-3-031-62686-9 [目录] [i13] 克里斯蒂安·卡钦 , 大卫·莱恩赫尔 , 托马斯·斯图德 :
协同知识。 CoRR公司 abs/2403.18646 ( 2024 ) 2023 [公元40年] 罗杰廷 , 迈赫迪·达斯坦尼 , 托马斯·斯图德 , 辽北水 :
你在乎什么:从情感中推断价值。 美国原子能机构 2023 : 2289-2291 [公元39年] 克里斯蒂安·卡钦 , 大卫·莱恩赫尔 , 托马斯·斯图德 :
多智能体系统的模态和论证逻辑(邀请谈话)。 CLAR公司 2023 : 3-8 [公元38年] 罗杰廷 , 托马斯·斯图德 , 迈赫迪·达斯坦尼 :
提供个性化解释:对话方法。 CLAR公司 2023 : 121-137 [公元37年] 克里斯蒂安·卡钦 , 大卫·莱恩赫尔 , 托马斯·斯图德 :
协同知识。 SSS系统 2023 : 552-567 [公元36年] 费德里科·L·G·法拉第 , 阿特菲赫·罗哈尼 , 托马斯·斯图德 :
论证逻辑中的条件义务。 沃尔利克 2023 : 178-193 [i12] 托马斯·斯图德 :
时间支配的逻辑。 CoRR公司 abs/2306.01455 ( 2023 ) [i11] 罗杰廷 , 托马斯·斯图德 , 迈赫迪·达斯坦尼 :
提供个性化的解释:对话方法。 CoRR公司 abs/2307.11452 ( 2023 ) [i10] 费德里科·L·G·法拉第 , 梅格达德·加里 , 伊夫林·莱曼 , 托马斯·斯图德 :
正当化逻辑中的不可能和冲突义务。 CoRR公司 腹肌/230915763 ( 2023 ) [第九章] 伊芙琳·莱曼 , 托马斯·斯图德 :
子集模型中的信念扩展。 CoRR公司 abs/2310.03627 ( 2023 ) [i8] 罗杰廷 , 迈赫迪·达斯坦尼 , 托马斯·斯图德 , 辽北水 :
你在乎什么:从情感中推断价值。 CoRR公司 abs/2311.06250 ( 2023 ) 2022 [公元31年] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
交互式证明的逻辑。 J.日志。 计算。 32 ( 8 ) : 1645-1658 ( 2022 ) [公元35年] 奥利维尔·斯塔赫利 , 托马斯·奥斯特 , 托马斯·斯图德 :
基于人工智能的生物声学狼监测系统的开发。 FLAIRS公司 2022 [公元34年] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
互动证明的逻辑。 LFCS公司 2022 : 143-155 2021 【j30】 米夏埃尔·鲍尔 , 托马斯·斯图德 :
证据的半环。 J.日志。 计算。 31 ( 8 ) : 2084-2106 ( 2021 ) [公元29年] 赵旭 , 燕京王 , 托马斯·斯图德 :
知道原因的逻辑。 合成。 198 ( 2 ) : 1259-1285 ( 2021 ) [公元33年] 阿特菲赫·罗哈尼 , 托马斯·斯图德 :
显式非正规模态逻辑。 沃尔利克 2021 : 64-81 [i7] 阿特菲赫·罗哈尼 , 托马斯·斯图德 :
显式非正规模态逻辑。 CoRR公司 abs/2108.04486 ( 2021 ) [i6] 大卫·莱恩赫尔 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
交互式证明的逻辑。 CoRR公司 abs/2109.00775 ( 2021 ) 2020 [公元28年] Ioannis Kokkinis公司 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
概率论证逻辑。 J.日志。 计算。 30 ( 1 ) : 257-280 ( 2020 ) [公元27年] 凯·布伦勒 , Dandolo Flumini公司 , 托马斯·斯图德 :
区块链更新的逻辑。 J.日志。 计算。 30 ( 8 ) : 1469-1485 ( 2020 ) [公元32年] 兹沃尼米尔·西基奇 , 西尔维娅·吉勒赞 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
逻辑和应用-LAP会议。 逻辑、语言和安全 2020 : 98-100 [公元31年] 米夏埃尔·鲍尔 , 托马斯·斯图德 :
证据的半环。 CLAR公司 2020 : 42-57 [公元30年] 伊芙琳·莱曼 , 托马斯·斯图德 :
子集模型中的信念扩展。 LFCS公司 2020 : 85-97 [i5] 托马斯·斯图德 :
数据隐私的不允许定理。 CoRR公司 abs/2005.13811 ( 2020 )
2010 – 2019
2019 [公元26年] 内纳德·萨维奇 , 托马斯·斯图德 :
相关论证逻辑。 拍打 6 ( 2 ) : 397-412 ( 2019 ) [公元25年] 博扬·马里科维奇 , 保拉·格拉文 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
带有非刚性代理集的时间认知逻辑,用于分析区块链协议。 J.日志。 计算。 29 ( 5 ) : 803-830 ( 2019 ) [公元29年] 哈姆泽·穆罕默德 , 托马斯·斯图德 :
贝叶斯确认和理由。 ECSQARU公司 2019 : 408-418 [公元28年] 博扬·马里科维奇 , 保拉·格拉文 , 佐兰·奥格尼亚诺维奇 , Dragan Doder公司 , 托马斯·斯图德 :
区块链协议的概率共识。 ECSQARU公司 2019 : 469-480 [公元27年] 内纳德·萨维奇 , 托马斯·斯图德 :
认识模型和超理论的公开公告。 ICLA公司 2019 : 64-75 [公元26年] 托马斯·斯图德 :
时间支配的逻辑。 RIVF公司 2019 : 1-4 [公元25年] Dragan Doder公司 , 佐兰·奥格尼亚诺维奇 , 内纳德·萨维奇 , 托马斯·斯图德 :
信息和理由不完整。 TbiLLC公司 2019 : 258-278 [公元24年] 伊芙琳·莱曼 , 托马斯·斯图德 :
合理性逻辑的子集模型。 沃尔利克 2019 : 433-449 2018 【c23】 米歇尔·马蒂 , 托马斯·斯图德 :
直觉主义证明逻辑的内在分离性质。 模态逻辑的进展 2018 : 511-529 [公元22年] 凯·布伦勒 , Dandolo Flumini公司 , 托马斯·斯图德 :
区块链更新的逻辑。 LFCS公司 2018 : 107-119 [电子1] 古拉姆·贝扎尼什维利 , 乔瓦娜·达戈斯蒂诺 , 乔治·梅特卡夫 , 托马斯·斯图德 :
模态逻辑进展12,2018年8月27日至31日在瑞士伯尔尼举行的第12届“模态逻辑进展”会议纪要。 学院出版物 2018 ,国际标准图书编号 978-1-84890-255-8 [目录] 2017 【c21】 佐兰·奥格尼亚诺维奇 , 内纳德·萨维奇 , 托马斯·斯图德 :
具有近似条件概率的证明逻辑。 洛里 2017 : 681-686 [公元20年] 塞缪尔·布切利 , 梅格达德·加里 , 托马斯·斯图德 :
时间合理性逻辑。 ICLA的M4M 2017 : 59-74 [i4] 凯·布伦勒 , Dandolo Flumini公司 , 托马斯·斯图德 :
区块链更新的逻辑。 CoRR公司 abs/1707.01766 ( 2017 ) 2016 [公元24年] 米歇尔·马蒂 , 托马斯·斯图德 :
直觉主义模态逻辑使显式。 拍打 三 ( 5 ) : 877-902 ( 2016 ) [公元23年] 罗曼·库兹涅茨 , 托马斯·斯图德 :
证明逻辑的弱算术解释。 日志。 J.IGPL公司 24 ( 三 ) : 424-440 ( 2016 ) [第19条] Ioannis Kokkinis公司 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
概率论证逻辑。 LFCS公司 2016 : 174-186 [i3] 米歇尔·马蒂 , 托马斯·斯图德 :
直觉推理逻辑的模块化模型。 CoRR公司 abs/1604.07181 ( 2016 ) 2015 [公元22年] Ioannis Kokkinis公司 , 彼得·马克西莫维奇 , 佐兰·奥格尼亚诺维奇 , 托马斯·斯图德 :
概率合理性逻辑的第一步。 日志。 J.IGPL公司 23 ( 4 ) : 662-687 ( 2015 ) [i2] 托马斯·斯图德 :
证明逻辑具有强大的有限模型属性。 CoRR公司 abs/1506.06933 ( 2015 ) 2014 [公元21年] 卢卡·阿尔贝鲁奇 , Jürg Krähenbühl村 , 托马斯·斯图德 :
论证模态μ-公式的归纳法。 日志。 J.IGPL公司 22 ( 6 ) : 805-817 ( 2014 ) [公元20年] 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
通过正当理由实现公告。 J.计算。 系统。 科学。 80 ( 6 ) : 1046-1066 ( 2014 ) [公元19年] 托马斯·斯图德 , 约翰内斯·沃纳 :
布尔描述逻辑的检查器。 事务处理。 数据优先级。 7 ( 三 ) : 223-252 ( 2014 ) 2013 [公元18年] 托马斯·斯图德 :
一些带有负面自省的证明逻辑的可决定性。 J.塞姆。 日志。 78 ( 2 ) : 388-402 ( 2013 ) [公元17年] 托马斯·斯图德 :
保证数据隐私的通用方法。 泛逻辑 7 ( 2 ) : 195-209 ( 2013 ) [第18条] 罗曼·库兹涅茨 , 托马斯·斯图德 :
更新为证据:信念扩展。 LFCS公司 2013 : 266-279 2012 [公元16年] 凯·布伦勒 , 托马斯·斯图德 :
模态μ演算的一个片段的句法切割消除。 Ann.纯粹应用。 日志。 163 ( 12 ) : 1838-1853 ( 2012 ) [第17条] 罗曼·库兹涅茨 , 托马斯·斯图德 :
合理性、本体论和保守性。 模态逻辑的进展 2012 : 437-458 [第16条] 格里戈里造币厂 , 托马斯·斯图德 :
用一个变量消除微积分。 菲莎国际学院 2012 : 47-54 2011 [公元15年] 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
常识的理由。 J.应用。 非班级。 逻辑 21 ( 1 ) : 35-60 ( 2011 ) [公元14年] 格哈德·贾格尔 , 托马斯·斯图德 :
模态定点逻辑的Buchholz规则。 泛逻辑 5 ( 1 ) : 1-19 ( 2011 ) [第15条] 托马斯·斯图德 :
证明逻辑在协议验证中的应用。 独联体 2011 : 779-783 [c14] 托马斯·斯图德 :
合理的术语推理。 埃尔肖夫纪念大会 2011 : 349-361 [第13条] 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
重新审视论证逻辑的可决定性。 TbiLLC公司 2011 : 166-181 [第12条] 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
动态证明逻辑的部分实现。 沃尔利克 2011 : 35-51 2010 [i1] 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
具有常识的明确证据系统。 CoRR公司 abs/1005.0484 ( 2010 )
2000 – 2009
2009 [j13] 凯·布伦勒 , 托马斯·斯图德 :
常识的句法删减。 Ann.纯粹应用。 日志。 160 ( 1 ) : 82-95 ( 2009 ) [公元12年] 托马斯·斯图德 :
常识没有贝思的属性。 信息处理。 莱特。 109 ( 12 ) : 611-614 ( 2009 ) [第11条] 托马斯·斯图德 :
本体的隐私保护模块。 埃尔肖夫纪念大会 2009 : 380-387 [第10条] 菲尼基·斯托帕 , 托马斯·斯图德 :
知识库的数据隐私。 LFCS公司 2009 : 409-421 【c9】 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
获得常识的两种方法。 400万 2009 : 83-98 2008 [公元11年] 格哈德·贾格尔 , 马西斯·克雷茨 , 托马斯·斯图德 :
无穷μ的正则完备性。 J.日志。 代数方法课程。 76 ( 2 ) : 270-292 ( 2008 ) [公元10年] 凯·布伦勒 , Dieter Probst公司 , 托马斯·斯图德 :
关于收缩和模态片段。 数学。 日志。 问:。 54 ( 4 ) : 345-349 ( 2008 ) [公元9年] 托马斯·斯图德 :
关于模态微积分的证明理论。 Stud Logica公司 89 ( 三 ) : 343-363 ( 2008 ) 2007 [j8] 格哈德·贾格尔 , 马西斯·克雷茨 , 托马斯·斯图德 :
无需刻板的常识。 J.应用。 日志。 5 ( 4 ) : 681-689 ( 2007 ) 【c8】 诺伯特·科特曼 , 托马斯·斯图德 :
改进语义查询答案。 DEXA公司 2007 : 671-679 【c7】 大卫·斯坦纳 , 托马斯·斯图德 :
公开公告总数。 LFCS公司 2007 : 498-511 【c6】 凯·布伦勒 , 托马斯·斯图德 :
常见知识的句法删减。 400万 2007 : 227-240 2006 [j7] 马西斯·克雷茨 , 托马斯·斯图德 :
常识的演绎链。 J.应用。 日志。 4 ( 三 ) : 331-357 ( 2006 ) 【c5】 菲尼基·斯托帕 , 托马斯·斯图德 :
数据隐私的正式模型。 埃尔肖夫纪念大会 2006 : 400-408 2005 [j6] 托马斯·斯图德 :
明确的数学:功率类型和过载。 Ann.纯粹应用。 日志。 134 ( 2-3 ) : 284-302 ( 2005 ) 【c4】 基利安·斯托菲尔 , 托马斯·斯图德 :
可证明的数据隐私。 DEXA公司 2005 : 324-332 【c3】 迈克尔·杜里格 , 托马斯·斯图德 :
概率ABox推理:初步结果。 描述逻辑 2005 2002 [j5] 格哈德·贾格尔 , 托马斯·斯图德 :
扩展系统T 0 显式数学:极限和Mahlo公理。 Ann.纯粹应用。 日志。 114 ( 1-3 ) : 79-101 ( 2002 ) 2001 【j4】 格哈德·贾格尔 , 莱因哈德·卡勒 , 托马斯·斯图德 :
显式数学中的宇宙。 Ann.纯粹应用。 日志。 109 ( 三 ) : 141-162 ( 2001 ) [j3] 莱因哈德·卡勒 , 托马斯·斯图德 :
将递归程序的非终止形式化。 J.日志。 代数方法课程。 49 ( 1-2 ) : 1-14 ( 2001 ) [注2] 托马斯·斯图德 :
[lambda]的语义:重载和延迟绑定的微积分。 J.日志。 计算。 11 ( 4 ) : 527-544 ( 2001 ) [j1] Dieter Probst公司 , 托马斯·斯图德 :
如何使杰伊正常化。 理论。 计算。 科学。 254 ( 1-2 ) : 677-681 ( 2001 ) 【c2】 托马斯·斯图德 :
轻量级Java的建设性基础。 计算机科学中的证明理论 2001 : 202-238 2000 [c1] 莱因哈德·卡勒 , 托马斯·斯图德 :
显式数学等价于ID的理论 1 . CSL公司 2000 : 356-370