编辑配置文件(在新选项卡中打开) 圭多·西亚维科 合著者距离 作者ID: 坐骨神经痛.guido 发布日期: 圭多·西亚维科;Sciavicco,G。 已编制索引的文档: 60出版物自2002年起 4作为编辑的贡献 合著者: 41位合著者具有64联合出版物 579合著者 全部的 前5名合著者 0 单作者的 32 安吉洛·蒙塔纳里 30 大卫·布雷索林 20 黛拉·莫妮卡,达里奥 15 萨拉,彼得罗 14 瓦伦丁·F·戈兰科。 9 埃米利奥·穆尼奥斯·韦拉斯科 5 Stan、Ionel Eduard 4 威廉·康拉迪 三 卢卡·埃特罗 三 萨利赫·杜尔汗 三 马可·加瓦内利 三 Anna Ingólfsdóttir 三 亚历山德罗·帕森蒂诺 2 亚历山德罗·贝尔塔尼翁 2 约翰·甘珀 2 费尔南多·希梅内兹 2 伊莎贝尔·纳瓦雷特 2 苏菲·平奇纳特 2 桑切斯,格拉西亚 2 斯特凡诺·特雷维萨尼 2 蒂齐亚诺别墅 2 马特奥·扎瓦特里 1 菲利普·巴尔比亚尼 1 安德烈·布鲁内洛 1 阿尔弗雷多·布里耶扎 1 Cardenas-Viedma,M.Antonia 1 恩里科·科米纳托 1 戴维·德·弗鲁托斯·埃斯克里格 1 马西莫·弗朗西切特 1 西蒙·格纳尼 1 伊恩·马丁·霍德金森 1 阿吉州库鲁茨 1 费德里科·曼泽拉 1 阿尼埃洛·穆拉诺 1 乔瓦尼·帕利亚里尼 1 佩莱格林,梅赛德斯 1 阿德里亚诺·佩隆 1 加布里埃尔,小狗 1 弗拉迪斯拉夫·里日科夫 1 尼古拉·维塔科洛娜 1 迈克尔·维克托洛维奇(Michael Viktorovich) 全部的 前5名系列 5 信息与计算 4 数学与人工智能年鉴 三 计算机科学中的逻辑方法 2 信息学报 2 理论计算机科学 2 欧洲理论计算机科学协会公报 2 应用逻辑杂志 1 人工智能 1 模糊集与系统 1 纯逻辑与应用逻辑年鉴 1 自动推理杂志 1 国际计算机科学基础杂志 1 应用非经典逻辑杂志 1 通用计算机科学杂志 1 ACM计算逻辑事务 1 多值逻辑与软计算杂志 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 55 数学逻辑和基础(03-XX) 43 计算机科学(68至XX) 4 总体主题;集合(00-XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 1 统计学(62-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用311中的次95文件 引用人▼ 年份▼ 时间间隔逻辑和持续时间计算的路线图。 Zbl 1181.03012号 V.戈兰科。;A.蒙塔纳里。;Sciavicco,G。 31 2004 命题区间邻域逻辑:表达性、可判定性和不可判定扩展。 Zbl 1221.03022号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 30 2009 区间时序逻辑的黑暗面:标记不可判定边界。 Zbl 1325.03014号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 21 2014 时间间隔逻辑:一段旅程。 Zbl 1275.03087号 黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 17 2011 强离散线性序上的区间时序逻辑:表达性和复杂性。 Zbl 1335.03017号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 14 2014 右命题邻域逻辑的最优决策过程。 Zbl 1121.03027号 大卫·布雷索林;安吉洛·蒙塔纳里;圭多·西亚维科 13 2007 Halpern和Shoham的区间时间逻辑的可判定和不可判定片段:走向一个完整的分类。 Zbl 1182.03037号 大卫·布雷索林;Della Monica,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 11 2008 区间时态逻辑(运算符名{AB\上划线{B}})对自然数的可判定性。 Zbl 1230.03047号 安吉洛·蒙塔纳里;加布里埃尔,小狗;萨拉,彼得罗;圭多·西亚维科 11 2010 度量命题邻域逻辑:表达性、可判定性和不可判定性。 Zbl 1211.68397号 布雷索林,D。;黛拉·莫妮卡,D。;V.戈兰科。;A.蒙塔纳里。;Sciavicco,G。 11 2010 命题区间时序逻辑的一般表方法。 兹比尔1274.03033 瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 10 2003 命题区间时序逻辑的一般表方法:理论与实现。 Zbl 1104.03010号 V.戈兰科。;A.蒙塔纳里。;萨拉,P。;Sciavicco,G。 10 2006 艾伦关系区间逻辑表达的完整分类:一般情况和密集情况。 Zbl 1339.03018号 卢卡·埃特罗;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 9 2016 区间时序逻辑在分裂帧上通过粒度的决定性。 Zbl 1013.03013号 安吉洛·蒙塔纳里;圭多·西亚维科;尼古拉·维塔科隆纳 8 2002 Halpern-Shoham区间时间逻辑的角片段。 Zbl 1407.03029号 大卫·布雷索林;阿吉·库鲁茨;埃米利奥·穆尼奥斯·韦拉斯科;弗拉迪斯拉夫·里日科夫;圭多·西亚维科;迈克尔·扎克哈里亚舍夫 8 2017 一种新的空间推理模式逻辑:空间命题邻域逻辑。 Zbl 1127.03013号 安东尼奥·莫拉莱斯;伊莎贝尔·纳瓦雷特;圭多·西亚维科 7 2007 线性序上右命题邻域逻辑的最优表。 Zbl 1178.03030号 大卫·布雷索林;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 7 2008 区间时间逻辑的光明面:CDT的Bernays Schönfinkel片段。 Zbl 1325.03015号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 7 2014 命题区间邻域逻辑的可判定性和表示性。 Zbl 1132.03335号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 6 2007 艾伦关系的区间时间逻辑的次传播片段。 兹比尔1432.03028 大卫·布雷索林;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 6 2014 两种排序的时间间隔点逻辑。 Zbl 1347.03030号 菲利普·巴尔比亚尼;瓦伦丁·戈兰科;圭多·西亚维科 6 2011 具有C、D和T的区间时序逻辑的非有限公理化性和不可判定性。 兹比尔1156.03321 伊恩·霍德金森;安吉洛·蒙塔纳里;圭多·西亚维科 6 2008 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 Zbl 1333.03006号 大卫·布雷索林;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 6 2011 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 Zbl 1436.03120号 D.布雷索林。;黛拉·莫妮卡,D。;A.蒙塔纳里。;萨拉,P。;Sciavicco,G。 5 2019 关于密集结构上艾伦关系的模态逻辑片段的复杂性。 Zbl 1451.03020号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 5 2015 关于粗区间时序逻辑。 Zbl 1480.03010号 埃米利奥·穆尼奥斯·韦拉斯科;佩莱格林,梅赛德斯;萨拉,彼得罗;圭多·西亚维科;Stan、Ionel Eduard 4 2019 有限结构、自然数和整数上MPNL的最优决策过程。 Zbl 1296.03013号 大卫·布雷索林;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 4 2013 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 Zbl 1432.03027号 卢卡·埃特罗;黛拉·莫妮卡,达里奥;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 4 2014 有限线性序上的区间时序逻辑:全貌。 兹伯利1327.03012 D.布雷索林。;黛拉·莫妮卡,D。;A.蒙塔纳里。;萨拉,P。;Sciavicco,G。 4 2012 在开始、见面和之前。 兹比尔1259.03028 大卫·布雷索林;萨拉,彼得罗;圭多·西亚维科 三 2012 具有矩形基数关系的空间推理。凸可处理子代数。 Zbl 1286.68432号 伊莎贝尔·纳瓦雷特;安东尼奥·莫拉莱斯;圭多·西亚维科;Cardenas Viedma,M.安东尼亚 三 2013 枚举Horn理论最大模型的算法及其在模态逻辑中的应用。 Zbl 1433.03019号 卢卡·埃特罗;黛拉·莫妮卡,达里奥;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 2 2013 树状结构的类艾伦时间理论。 Zbl 1436.03122号 杜尔汉,S。;Sciavicco,G。 2 2018 判定分支时间间隔网络的一致性。 Zbl 1487.68212号 马可·加瓦内利;亚历山德罗·帕森蒂诺;圭多·西亚维科 2 2018 区间时序逻辑决策树学习。 Zbl 1525.68157号 安德烈·布鲁内洛;圭多·西亚维科;Stan、Ionel Eduard 2 2019 线性阶上点和区间的综合一阶理论。一、。 Zbl 1453.03013号 威廉·康拉迪;萨利赫·杜尔汗;圭多·西亚维科 2 2018 强离散线性序上的区间时序逻辑:全貌。 Zbl 1469.03045号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 2 2012 有限线性序上右命题邻域逻辑的表系统:一个实现。 Zbl 1401.68275号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 2 2013 区间时序逻辑中的快速推理。 兹伯利1434.03066 大卫·布雷索林;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 2 2017 通过区间时序逻辑模型检查评估时序数据集。 Zbl 1515.68109号 黛拉·莫妮卡,达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科 2 2017 提取区间时序逻辑规则:第一种方法。 兹比尔1487.68192 大卫·布雷索林;恩里科·科米纳托;西蒙·格纳尼;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 1 2018 时间粒度的二进制谓词的可定义性和可判定性。 Zbl 1101.03016号 马西莫·弗朗西切特;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;圭多·西亚维科 1 2006 离散线性序上重叠关系逻辑的不可解性。 Zbl 1345.03019号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 1 2010 分支区间代数:一幅几乎完整的图画。 Zbl 1518.68356号 A.Bertagnon。;M.加瓦内利。;A.帕森蒂诺。;Sciavicco,G。;Trevisani,S。 1 2021 间隔时间随机森林及其在新型冠状病毒肺炎诊断中的应用。 Zbl 07744950号 费德里科·曼泽拉;乔瓦尼·帕利亚里尼;圭多·西亚维科;Stan、Ionel Eduard 1 2021 时间间隔模糊模态逻辑的一种方法。 Zbl 1464.68349号 威廉·康拉迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 1 2020 分支区间代数:一幅几乎完整的图画。 Zbl 1518.68356号 A.Bertagnon。;M.加瓦内利。;A.帕森蒂诺。;Sciavicco,G。;Trevisani,S。 1 2021 间隔时间随机森林及其在新型冠状病毒肺炎诊断中的应用。 Zbl 07744950号 费德里科·曼泽拉;乔瓦尼·帕利亚里尼;圭多·西亚维科;Stan、Ionel Eduard 1 2021 时间间隔模糊模态逻辑的一种方法。 Zbl 1464.68349号 威廉·康拉迪;黛拉·莫妮卡,达里奥;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 1 2020 艾伦关系的模态逻辑片段对理性的决定性和复杂性。 Zbl 1436.03120号 布雷索林,D。;黛拉·莫妮卡,D。;A.蒙塔纳里。;萨拉,P。;Sciavicco,G。 5 2019 关于粗区间时序逻辑。 Zbl 1480.03010号 埃米利奥·穆尼奥斯·韦拉斯科;佩莱格林,梅赛德斯;萨拉,彼得罗;圭多·西亚维科;Stan、Ionel Eduard 4 2019 区间时序逻辑决策树学习。 Zbl 1525.68157号 安德烈·布鲁内洛;圭多·西亚维科;Stan、Ionel Eduard 2 2019 树状结构的类艾伦时间理论。 Zbl 1436.03122号 杜尔汉,S。;Sciavicco,G。 2 2018 判定分支时间间隔网络的一致性。 Zbl 1487.68212号 马可·加瓦内利;亚历山德罗·帕森蒂诺;圭多·西亚维科 2 2018 线性阶上点和区间的综合一阶理论。一、。 Zbl 1453.03013号 威廉·康拉迪;萨利赫·杜尔汗;圭多·西亚维科 2 2018 提取区间时序逻辑规则:第一种方法。 兹比尔1487.68192 大卫·布雷索林;恩里科·科米纳托;西蒙·格纳尼;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 1 2018 Halpern-Shoham区间时间逻辑的角片段。 Zbl 1407.03029号 大卫·布雷索林;阿吉·库鲁茨;埃米利奥·穆尼奥斯·贝拉斯科;弗拉迪斯拉夫·里日科夫;圭多·西亚维科;迈克尔·扎克哈里亚舍夫 8 2017 区间时序逻辑中的快速推理。 Zbl 1434.03066号 大卫·布雷索林;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 2 2017 通过区间时序逻辑模型检查评估时序数据集。 Zbl 1515.68109号 Della Monica,达里奥;戴维·德·弗鲁托斯·埃斯克里格;安吉洛·蒙塔纳里;阿尼埃洛·穆拉诺;圭多·西亚维科 2 2017 艾伦关系区间逻辑表达的完整分类:一般情况和密集情况。 Zbl 1339.03018号 卢卡·埃特罗;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 9 2016 关于密集结构上艾伦关系的模态逻辑片段的复杂性。 Zbl 1451.03020号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 5 2015 区间时序逻辑的黑暗面:标记不可判定边界。 Zbl 1325.03014号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 21 2014 强离散线性序上的区间时序逻辑:表达性和复杂性。 Zbl 1335.03017号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 14 2014 区间时序逻辑的光明面:CDT的Bernays-Schönfinkel片段。 Zbl 1325.03015号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 7 2014 艾伦关系的区间时间逻辑的次传播片段。 Zbl 1432.03028号 大卫·布雷索林;埃米利奥·穆尼奥斯·韦拉斯科;圭多·西亚维科 6 2014 关于有限和离散线性阶上Allen关系的区间逻辑的表示性。 Zbl 1432.03027号 卢卡·埃特罗;黛拉·莫妮卡,达里奥;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 4 2014 MPNL在有限结构、自然数和整数上的最优决策过程。 Zbl 1296.03013号 大卫·布雷索林;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 4 2013 具有矩形基数关系的空间推理。凸可处理子代数。 Zbl 1286.68432号 伊莎贝尔·纳瓦雷特;安东尼奥·莫拉莱斯;圭多·西亚维科;Cardenas Viedma,M.安东尼亚 三 2013 枚举Horn理论最大模型的算法及其在模态逻辑中的应用。 Zbl 1433.03019号 卢卡·埃特罗;黛拉·莫妮卡,达里奥;Anna Ingólfsdóttir;安吉洛·蒙塔纳里;圭多·西亚维科 2 2013 有限线性序上右命题邻域逻辑的表系统:一个实现。 Zbl 1401.68275号 大卫·布雷索林;Della Monica,达里奥;安吉洛·蒙塔纳里;圭多·西亚维科 2 2013 有限线性序上的区间时序逻辑:全貌。 Zbl 1327.03012号 D.布雷索林。;黛拉·莫妮卡,D。;A.蒙塔纳里。;萨拉,P。;Sciavicco,G。 4 2012 在开始、见面和之前。 Zbl 1259.03028号 大卫·布雷索林;萨拉,彼得罗;圭多·西亚维科 三 2012 强离散线性序上的区间时序逻辑:全貌。 Zbl 1469.03045号 大卫·布雷索林;黛拉·莫妮卡,达里奥;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 2 2012 时间间隔逻辑:一段旅程。 Zbl 1275.03087号 黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 17 2011 两种排序的时间间隔点逻辑。 Zbl 1347.03030号 菲利普·巴尔比亚尼;瓦伦丁·戈兰科;圭多·西亚维科 6 2011 命题邻域逻辑在所有、稠密和离散线性序上的最优表系统。 Zbl 1333.03006号 大卫·布雷索林;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 6 2011 区间时态逻辑(运算符名{AB上的{B}})对自然数的可判定性。 Zbl 1230.03047号 安吉洛·蒙塔纳里;加布里埃尔,小狗;萨拉,彼得罗;圭多·西亚维科 11 2010 度量命题邻域逻辑:可表达性、可判定性和不可判定性。 Zbl 1211.68397号 D.布雷索林。;黛拉·莫妮卡,D。;V.戈兰科。;A.蒙塔纳里。;Sciavicco,G。 11 2010 离散线性序上重叠关系逻辑的不可解性。 Zbl 1345.03019号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 1 2010 命题区间邻域逻辑:表达性、可判定性和不可判定扩展。 Zbl 1221.03022号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 30 2009 Halpern和Shoham的区间时间逻辑的可判定和不可判定片段:走向一个完整的分类。 Zbl 1182.03037号 大卫·布雷索林;黛拉·莫妮卡,达里奥;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 11 2008 线性序上右命题邻域逻辑的最优表。 Zbl 1178.03030号 大卫·布雷索林;安吉洛·蒙塔纳里;萨拉,彼得罗;圭多·西亚维科 7 2008 具有C、D和T的区间时序逻辑的非有限公理化性和不可判定性。 Zbl 1156.03321号 伊恩·霍德金森;安吉洛·蒙塔纳里;圭多·西亚维科 6 2008 右命题邻域逻辑的最优决策过程。 Zbl 1121.03027号 大卫·布雷索林;安吉洛·蒙塔纳里;圭多·西亚维科 13 2007 一种新的空间推理模式逻辑:空间命题邻域逻辑。 Zbl 1127.03013号 安东尼奥·莫拉莱斯;伊莎贝尔·纳瓦雷特;圭多·西亚维科 7 2007 命题区间邻域逻辑的可判定性和表示性。 Zbl 1132.03335号 大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 6 2007 命题区间时序逻辑的一般表方法:理论与实现。 Zbl 1104.03010号 V.戈兰科。;A.蒙塔纳里。;萨拉,P。;Sciavicco,G。 10 2006 时间粒度的二进制谓词的可定义性和可判定性。 Zbl 1101.03016号 马西莫·弗朗西切特;安吉洛·蒙塔纳里;阿德里亚诺·佩隆;圭多·西亚维科 1 2006 时间间隔逻辑和持续时间计算的路线图。 Zbl 1181.03012号 V.戈兰科。;A.蒙塔纳里。;Sciavicco,G。 31 2004 命题区间时间逻辑的一种通用表绘制方法。 Zbl 1274.03033号 瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 10 2003 区间时序逻辑在分裂帧上通过粒度的决定性。 Zbl 1013.03013号 安吉洛·蒙塔纳里;圭多·西亚维科;尼古拉·维塔科隆纳 8 2002 所有引用出版物 前5名被引用出版物 全部的 前5名96位作者引用 35 安吉洛·蒙塔纳里 30 圭多·西亚维科 22 萨拉,彼得罗 17 阿德里亚诺·佩隆 16 大卫·布雷索林 13 劳拉,博泽利 11 黛拉·莫妮卡,达里奥 11 阿尔贝托·莫利纳里 7 瓦伦丁·F·戈兰科。 6 埃米利奥·穆尼奥斯·韦拉斯科 三 威廉·康拉迪 三 Stéphane P.德姆里。 三 马可·加瓦内利 三 亚历山德罗·帕森蒂诺 三 Michael Sioutis先生 三 Stan、Ionel Eduard 2 卢卡·埃特罗 2 亚历山德罗·贝尔塔尼翁 2 Cardenas-Viedma,M.Antonia 2 Deters,摩根 2 萨利赫·杜尔汗 2 Dimitar P.Guelev。 2 罗宾·赫希 2 Anna Ingólfsdóttir 2 萨瓦斯·科努尔 2 阿莱西奥·曼苏蒂 2 安德烈亚·马西尼 2 本·C·莫斯科夫斯基。 2 阿尼埃洛·穆拉诺 2 伊莎贝尔·纳瓦雷特 2 马可·巴扎利亚 2 加布里埃尔,小狗 2 斯特凡诺·特雷维萨尼 2 卢卡·维甘诺 2 马尔科·沃尔佩 2 沃尔特,迪德里奇 1 娜塔莎·亚历奇纳 1 马里奥·阿尔维亚诺 1 格里戈里斯·安东尼奥 1 菲利普·巴尔比亚尼 1 乔治·巴里扬尼斯 1 巴萨基斯、索蒂利斯 1 马克·贝泽姆 1 托马斯·博兰德 1 奇日科夫,A.S。 1 安东尼·科恩(Anthony G.Cohn)。 1 恩里科·科米纳托 1 科内杰罗·罗德里格斯(Conejero Rodríguez)、胡安·何塞(Juan José) 1 康拉德·卡齐米尔兹·达布罗夫斯基 1 阿纳州阿尔梅达博尔赫斯 1 Du,鹤山 1 阿明·法朱迪安 1 大卫·费尔南德斯·杜克 1 卡洛·阿尔贝托·福里亚 1 珍妮·拉法·加格利翁 1 西蒙·格纳尼 1 米雷亚González Bedmar 1 延斯·乌尔里克·汉森 1 Michael Reichhardt汉森 1 彼得·霍夫纳 1 汤米·詹胡宁 1 克雷斯蒂安·约布茨克 1 彼得·琼森 1 Joost J.乔斯特恩。 1 马丁·勒克 1 安东尼·利格扎 1 阿列克谢·利西萨(Alexei P.Lisitsa)。 1 布赖恩·洛根 1 罗珊 1 布雷特·麦克林 1 伯恩哈德·莫勒 1 丹尼尔·奈德 1 塞巴斯蒂安·奥德尼亚克 1 乔治·奥西波夫 1 埃马纽埃尔·帕帕达基斯。 1 阿纳斯塔西亚·帕帕里佐 1 佩莱格林,梅赛德斯 1 朱塞佩·佩雷利 1 马诺利斯皮茨卡利斯 1 伊恩·普拉特·哈特曼 1 马克·亚历山大·雷诺兹 1 罗伊,拉贾什 1 弗拉基米尔·弗拉迪米洛维奇·里巴科夫 1 西尔万·施密茨 1 鲍拉·斯波莱蒂尼 1 阿列克谢·斯图卡切夫。 1 沃伊特克省Szajnkenig 1 伊利亚斯·塔赫马齐迪斯 1 德国、贤治 1 托普库,乌福 1 马可·沃伊格特 1 Wałga,Przemys aw Andrzej 1 米查·瓦利基 1 徐哲 1 Micha Zawidzki 1 周,可以 全部的 前5名24篇连载文章中引用 12 信息与计算 7 理论计算机科学 6 数学与人工智能年鉴 4 应用非经典逻辑杂志 4 计算机科学中的逻辑方法 三 信息学报 三 人工智能 三 ACM计算逻辑事务 2 模糊集与系统 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 逻辑、语言与信息杂志 1 国际理论物理杂志 1 信息传输问题 1 符号逻辑杂志 1 西伯利亚数学杂志 1 SIAM离散数学杂志 1 国际计算机科学基础杂志 1 人工智能研究杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 计算机科学前沿 1 ACM计算理论汇刊 全部的 前5名在8个字段中引用 78 数学逻辑和基础(03-XX) 71 计算机科学(68至XX) 三 相对论和引力理论(83至XX) 2 组合数学(05-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文