陈金生
人员信息
其他同名人员
优化列表
2020年–今天
2022 【j4】 陈金生 , 朱塞佩·格雷科 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐莫利斯 :
非正规模态逻辑和条件逻辑:语义分析和证明理论。 Inf.计算。 287 : 104756 ( 2022 ) [j3] 陈金生 , 朱塞佩·格雷科 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐莫利斯 :
正确显示演算的句法完整性。 ACM事务处理。 计算。 日志。 23 ( 4 ) : 23:1-23:46 ( 2022 ) [i3] 郝武 , 汉斯·范·迪特马什 , 陈金生 :
公开公告逻辑的标记序列演算。 CoRR公司 abs/2207.10262 ( 2022 ) 2021 【c5】 陈金生 , 辽北水 , 林德特·范德托雷 :
基础论证是演绎论证的抽象。 CLAR公司 2021 : 468-476 [i2] 陈金生 , 朱塞佩·格雷科 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐穆利斯 :
正确显示计算的语法完整性。 CoRR公司 abs/2102.11641 ( 2021 ) [i1] 陈金生 , 汉斯·范·迪特马什 , 朱塞佩·格雷科 , 阿波斯托洛斯·齐穆利斯 :
分级模态逻辑的邻域语义。 CoRR公司 abs/2105.09202 ( 2021 ) 2020 [注2] 陈金生 , 京东 , 彭义石 :
基于技能的路由调查及其在服务运营管理中的应用。 排队系统。 理论应用。 96 ( 1-2 ) : 53-82 ( 2020 )
2010 – 2019
2019 [j1] 马明慧 , 陈金生 :
全局模态后果关系的序贯演算。 Stud Logica公司 107 ( 4 ) : 613-637 ( 2019 ) 【c4】 陈金生 , 朱塞佩·格雷科 , 亚历山德拉·帕尔米吉亚诺 , 阿波斯托洛斯·齐穆利斯 :
非正规逻辑:语义分析和证明理论。 沃尔利克 2019 : 99-118 2017 【c3】 李新余 , 罗旭东 , 陈金生 :
具有多个模糊真值的最小时间逻辑。 哈萨克斯坦国家石油公司 2017 : 365-377 [c2] 陈金生 , 马明慧 :
查询逻辑的标记序贯演算。 LORI公司 2017 : 526-540 2016 【c1】 陈金生 , 罗旭东 :
一种多语言值模态逻辑。 澳大利亚人工智能会议 2016 : 317-323