塞缪尔·布切利
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2017 【c5】 塞缪尔·布切利 , 梅格达德·加里 , 托马斯·斯图德 :
时间合理性逻辑。 ICLA的M4M 2017 : 59-74 2015 【c4】 塞缪尔·布切利 , 丹尼尔·克罗宁 , 鲁本·马丁斯 , 阿什图什·纳特拉杰 :
来自AgentSpeak to C,了解无人机的安全注意事项。 塔罗斯 2015 : 69-81 [i2] 塞缪尔·布切利 :
关于时间合理性逻辑的一些注释。 CoRR公司 abs/1510.07247 ( 2015 ) 2014 [注2] 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
通过正当理由实现公告。 J.计算。 系统。 科学。 80 ( 6 ) : 1046-1066 ( 2014 ) 2011 [j1] 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
常识的理由。 J.应用。 非班级。 逻辑 21 ( 1 ) : 35-60 ( 2011 ) 【c3】 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
重新审视论证逻辑的可决定性。 TbiLLC公司 2011 : 166-181 【c2】 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
动态证明逻辑的部分实现。 沃尔利克 2011 : 35-51 2010 [i1] 塞缪尔·布切利 , 罗曼·库兹涅茨 , 托马斯·斯图德 :
具有公共知识的显式证据系统。 CoRR公司 abs/1005.0484 ( 2010 )
2000 – 2009
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)