编辑配置文件(在新选项卡中打开) 迈克尔·芬克 合著者距离 作者ID: 芬克·迈克尔 发布日期: 迈克尔·芬克 外部链接: MGP公司 已编制索引的文档: 62出版物自1999年以来,包括2个附加arXiv预打印 合著者: 51位合著者具有55联合出版物 826位合作作者 全部的 前5名合著者 2 单作者的 47 托马斯·艾特 15 托马斯·克伦瓦尔纳 10 汉斯·托姆皮茨 7 明州道特兰 7 彼得·舒勒 6 克里斯托夫·雷德尔 6 朱利安娜·萨巴蒂尼 5 斯特凡·沃尔特兰 4 埃斯拉·埃尔登 4 乔瓦姆巴蒂斯塔·伊安尼 4 Daria A.Stepanova。 三 詹森科 三 安东尼乌斯·温齐尔 2 塞夫·埃尔·丁·拜拉克达尔 2 格哈德·布鲁卡 2 佩德罗·卡巴拉尔 2 丹尼尔斯、安娜莉娜 2 尤尔根·迪克斯 2 塞巴斯蒂安·曼内维尔 2 Polleres,阿克塞尔 2 德克·沃尔海尔 2 张应倩 1 乔瓦尼·阿蒙多拉 1 哈比卜·阿马里 1 安蒂奇,克里斯蒂安 1 Senthold阿桑 1 罗萨马里亚·巴里拉罗 1 赛琳·巴索尔 1 马库斯·伯格尔 1 埃里克·博内蒂尔 1 伊夫斯·卡德博斯克 1 邓军 1 克里斯蒂安·德雷舍尔 1 欧尚·埃尔登 1 哈尔特·埃尔多安 1 沃尔夫冈·费伯 1 豪尔赫·范丁诺 1 豪尔赫·范迪诺 1 克里斯蒂娜·费尔 1 卢坎托尼奥·吉昂纳 1 吉安路易吉·格雷科 1 马里恩·莱博尔德 1 多梅尼科·伦博 1 尼古拉·利昂 1 阿格内斯·莫雷尔 1 蒙塔尔多,G。 1 乔昂·莫拉 1 卡洛斯·内格拉 1 佩雷斯,N。 1 菲利普小牛仔裤 1 莱因哈德·皮克勒 1 约格·普勒 1 钱,程 1 弗朗西斯科·里卡 1 J.H.罗伯斯。 1 萨希勒萨洛塔 1 劳伦特·桑德林 1 沈一东 1 M·坦特。 1 乔治·特拉西纳 1 Velásquez、Víctor Martínez 1 托比·沃尔什 1 王克文 全部的 前5名系列 8 逻辑程序设计理论与实践 6 人工智能 三 人工智能研究杂志 2 流体物理学 2 数学与人工智能年鉴 2 ACM计算逻辑事务 1 SIAM应用数学杂志 1 应用非经典逻辑杂志 1 计算机基础理论 1 随机复杂介质中的波 全部的 前5名字段 56 计算机科学(68至XX) 2 流体力学(76-XX) 1 数学逻辑和基础(03-XX) 1 偏微分方程(35-XX) 1 可变形固体力学(74-XX) 1 光学、电磁理论(78-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 52出版物有被引用335中的次212文件 引用人▼ 年份▼ 弹性变形电阻抗断层成像。 Zbl 1156.35101号 H.阿马利。;Bonnetier,E。;卡普代博斯克,Y。;M·坦特。;芬克,M。 50 2008 稳定模型语义下逻辑程序的一致等价。 Zbl 1204.68052号 托马斯·艾特;迈克尔·芬克 28 2003 答案集编程中等价的语义特征和复杂性。 Zbl 1367.68031号 托马斯·艾特;迈克尔·芬克;斯特凡·沃尔特兰 27 2007 在一致和强等价下简化逻辑程序。 Zbl 1122.68369号 托马斯·艾特;迈克尔·芬克;汉斯·托姆皮茨;斯特凡·沃尔特兰 26 2004 具有有界谓词算术和含义的答案集编程的复杂性结果。 Zbl 1138.68017号 托马斯·艾特;沃尔夫冈·费伯;迈克尔·芬克;斯特凡·沃尔特兰 18 2007 基于因果拒绝的更新序列的性质。 Zbl 1105.68326号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 16 2002 寻找多上下文系统中不一致性的解释。 Zbl 1309.68177号 托马斯·艾特;迈克尔·芬克;彼得·舒勒;安东尼乌斯·温齐尔 16 2014 亚相干答案集程序的半平衡模型。 Zbl 1351.68259号 乔瓦尼·阿蒙多拉;托马斯·艾特;迈克尔·芬克;尼古拉·利昂;乔昂·莫拉 15 2016 逻辑程序的因果图证明。 Zbl 1309.68028号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;迈克尔·芬克 14 2014 重温模块化非单调逻辑编程。 Zbl 1251.68056号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 11 2009 基于无基础集合的高效HEX-program评估。 Zbl 1361.68031号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 11 2014 对于一般逻辑程序,FLP应答集语义没有循环证明。 Zbl 1391.68016号 沈毅东;王克文;托马斯·艾特;迈克尔·芬克;克里斯托夫·雷德尔;托马斯·克伦瓦尔纳;邓军 11 2014 带有外部计算的答案集编程的模型构建框架。 Zbl 1379.68058号 托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 10 2016 查询数据集成系统的逻辑程序的有效评估。 Zbl 1204.68080号 托马斯·艾特;迈克尔·芬克;吉安路易吉·格雷科;多梅尼科·伦博 9 2003 正在更新操作域描述。 兹比尔1225.68251 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 9 2010 非单调多上下文系统:集成异构知识源的灵活方法。 Zbl 1326.68273号 格哈德·布鲁卡;托马斯·艾特;迈克尔·芬克 9 2011 与外部源冲突驱动的ASP解决方案。 Zbl 1260.68060号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 9 2012 使用外部源对ASP程序进行域扩展。 Zbl 1351.68265号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 7 2016 通过近似不动点理论实现十六进制语义。 Zbl 1405.68039号 安蒂奇,克里斯蒂安;托马斯·艾特;迈克尔·芬克 7 2013 在答案集编程中寻找相似/不同的解决方案。 Zbl 1266.68081号 托马斯·艾特;埃斯拉·埃尔登;哈尔特·埃尔多安;迈克尔·芬克 7 2013 答案集编程中基于模型的重铸。 Zbl 1400.68048号 托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 7 2013 多上下文系统中基于偏好的不一致性评估。 Zbl 1306.68204号 托马斯·艾特;迈克尔·芬克;安东尼乌斯·温齐尔 5 2010 一个通用框架,用于通过“随时随地”逻辑中的反模型实现答案集编程中的等价性。 Zbl 1218.68070号 迈克尔·芬克 5 2011 使用声学技术进行涡旋动力学研究。 Zbl 1149.76469号 曼内维尔,S。;J.H.罗伯斯。;A.莫雷尔。;小牛仔裤,P。;芬克,M。 4 1999 描述逻辑程序的逻辑语义。 Zbl 1306.68007号 迈克尔·芬克;大卫·皮尔斯 4 2010 分布式非单调多上下文系统的DMCS求解器。 Zbl 1306.68201号 拜拉克达尔,Seif El Din;明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 4 2010 针对涉及充分和必要原因的查询的复杂性评估。 Zbl 1432.68057号 佩德罗·卡巴拉尔;豪尔赫·范迪诺;迈克尔·芬克 4 2014 非单调多上下文系统的分布式评估。 Zbl 1328.68223号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 4 2015 通过模块分解推动HEX程序的有效评估。 Zbl 1327.68062号 托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;彼得·舒勒 4 2011 多上下文系统中的关系信息交换和聚合。 Zbl 1327.68271号 迈克尔·芬克;卢坎托尼奥·吉昂纳;安东尼乌斯·温齐尔 4 2011 将非单调知识库与外部资源相结合。 Zbl 1193.68242号 托马斯·艾特;格哈德·布鲁卡;明州道特兰;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳 4 2009 带有动作原子的HEX程序。 Zbl 1237.68040号 赛琳·巴索尔;欧尚·埃尔登;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼 2 2010 基于语义偏好比较动作描述。 Zbl 1125.68114号 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 2 2007 基于语义偏好比较动作描述。 Zbl 1152.68601号 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 2 2006 逻辑程序更新注意事项。 Zbl 0998.68029号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 2 2000 分布式非单调多上下文系统的分解。 Zbl 1306.68200号 塞夫·埃尔·丁·拜拉克达尔;明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 2 2010 这个mcs-ie公司解释多上下文系统中不一致性的系统。 Zbl 1306.68203号 马库斯·伯格尔;托马斯·艾特;迈克尔·芬克;彼得·舒勒 2 2010 面向不一致DL-programs的实际删除修复。 Zbl 1366.68303号 托马斯·艾特;迈克尔·芬克;达里娅·斯捷潘诺娃 2 2014 利用无根据集合进行HEX-program评估。 Zbl 1361.68030号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 2 2012 动态分布式非单调多上下文系统。 Zbl 1259.68188号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 2 2011 有限域上非基础答案集编程中规则冗余的复杂性。 Zbl 1149.68331号 迈克尔·芬克;莱因哈德·皮克勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 1 2007 为智能信息代理使用声明逻辑编程方法。 Zbl 1105.68325号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 1 2002 在这里和那里的逻辑中,通过反模型实现应答编程的等价性。 Zbl 1185.68157号 迈克尔·芬克 1 2008 扩展逻辑程序的更新前端。 Zbl 1010.68709号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 1 2001 使用声明性计划监视代理。 Zbl 1110.68512号 尤尔根·迪克斯;托马斯·艾特;迈克尔·芬克;Polleres,阿克塞尔;张应倩 1 2003 计算对\(mathcal{EL}\)本体上不一致DL-programs的修复。 Zbl 1432.68437号 托马斯·艾特;迈克尔·芬克;达里亚·斯蒂芬诺娃 1 2014 关于演化非单调知识库的推理。 Zbl 1367.68279号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 1 2005 部分已知多上下文系统中不一致性的近似解释。 Zbl 1327.68270号 托马斯·艾特;迈克尔·芬克;彼得·舒勒 1 2011 多上下文系统中基于偏好的诊断选择。 Zbl 1432.68438号 托马斯·艾特;迈克尔·芬克;安东尼乌斯·温齐尔 1 2015 使用ACTHEX模拟生产规则。 Zbl 1357.68217号 托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克 1 2012 模块化非单调逻辑程序的相关性驱动评估。 Zbl 1258.68028号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 1 2009 使用声明性计划监视代理。 Zbl 1274.68578号 尤尔根·迪克斯;托马斯·艾特;迈克尔·芬克;Polleres,阿克塞尔;张应倩 1 2003 亚相干答案集程序的半平衡模型。 Zbl 1351.68259号 乔瓦尼·阿蒙多拉;托马斯·艾特;迈克尔·芬克;尼古拉·利昂;乔昂·莫拉 15 2016 带有外部计算的答案集编程的模型构建框架。 Zbl 1379.68058号 托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;克里斯托弗·雷德尔;彼得·舒勒 10 2016 使用外部源对ASP程序进行域扩展。 Zbl 1351.68265号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 7 2016 非单调多上下文系统的分布式评估。 Zbl 1328.68223号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 4 2015 多上下文系统中基于偏好的诊断选择。 Zbl 1432.68438号 托马斯·艾特;迈克尔·芬克;安东尼乌斯·温齐尔 1 2015 寻找多上下文系统中不一致性的解释。 Zbl 1309.68177号 托马斯·艾特;迈克尔·芬克;彼得·舒勒;安东尼乌斯·温齐尔 16 2014 逻辑程序的因果图证明。 Zbl 1309.68028号 佩德罗·卡巴拉尔;豪尔赫·范丁诺;迈克尔·芬克 14 2014 基于无基础集合的高效HEX-program评估。 Zbl 1361.68031号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 11 2014 对于一般逻辑程序,FLP应答集语义没有循环证明。 Zbl 1391.68016号 沈毅东;王克文;托马斯·艾特;迈克尔·芬克;克里斯托夫·雷德尔;托马斯·克伦瓦尔纳;邓军 11 2014 针对涉及充分和必要原因的查询的复杂性评估。 Zbl 1432.68057号 佩德罗·卡巴拉尔;豪尔赫·范迪诺;迈克尔·芬克 4 2014 面向不一致DL-programs的实际删除修复。 Zbl 1366.68303号 托马斯·艾特;迈克尔·芬克;达里亚·斯蒂芬诺娃 2 2014 计算对\(mathcal{EL}\)本体上不一致DL-programs的修复。 Zbl 1432.68437号 托马斯·艾特;迈克尔·芬克;达里亚·斯蒂芬诺娃 1 2014 通过近似不动点理论实现十六进制语义。 Zbl 1405.68039号 安蒂奇,克里斯蒂安;托马斯·艾特;迈克尔·芬克 7 2013 在答案集编程中寻找相似/不同的解决方案。 Zbl 1266.68081号 托马斯·艾特;埃斯拉·埃尔登;哈尔特·埃尔多安;迈克尔·芬克 7 2013 答案集编程中基于模型的重铸。 兹比尔1400.68048 托马斯·艾特;迈克尔·芬克;约格·普勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 7 2013 与外部源冲突驱动的ASP解决方案。 Zbl 1260.68060号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔 9 2012 利用无根据集合进行HEX-program评估。 Zbl 1361.68030号 托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳;克里斯托夫·雷德尔;彼得·舒勒 2 2012 使用ACTHEX模拟生产规则。 Zbl 1357.68217号 托马斯·艾特;克里斯蒂娜·费尔;迈克尔·芬克 1 2012 非单调多上下文系统:集成异构知识源的灵活方法。 Zbl 1326.68273号 格哈德·布鲁卡;托马斯·艾特;迈克尔·芬克 9 2011 一个通用框架,用于通过“随时随地”逻辑中的反模型实现答案集编程中的等价性。 Zbl 1218.68070号 迈克尔·芬克 5 2011 通过模块分解推动HEX程序的有效评估。 Zbl 1327.68062号 托马斯·艾特;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳;彼得·舒勒 4 2011 多上下文系统中的关系信息交换和聚合。 Zbl 1327.68271号 迈克尔·芬克;卢坎托尼奥·吉昂纳;安东尼乌斯·温齐尔 4 2011 动态分布式非单调多上下文系统。 Zbl 1259.68188号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 2 2011 部分已知多上下文系统中不一致性的近似解释。 Zbl 1327.68270号 托马斯·艾特;迈克尔·芬克;彼得·舒勒 1 2011 正在更新操作域描述。 兹比尔1225.68251 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 9 2010 多上下文系统中基于偏好的不一致性评估。 Zbl 1306.68204号 托马斯·艾特;迈克尔·芬克;安东尼乌斯·温齐尔 5 2010 描述逻辑程序的逻辑语义。 Zbl 1306.68007号 迈克尔·芬克;大卫·皮尔斯 4 2010 分布式非单调多上下文系统的DMCS求解器。 Zbl 1306.68201号 塞夫·埃尔·丁·拜拉克达尔;明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 4 2010 带有动作原子的HEX程序。 Zbl 1237.68040号 赛琳·巴索尔;厄德姆,奥赞;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼 2 2010 分布式非单调多上下文系统的分解。 Zbl 1306.68200号 塞夫·埃尔·丁·拜拉克达尔;明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 2 2010 这个mcs-ie公司解释多上下文系统中不一致性的系统。 Zbl 1306.68203号 马库斯·伯格尔;托马斯·艾特;迈克尔·芬克;彼得·舒勒 2 2010 重温模块化非单调逻辑编程。 Zbl 1251.68056号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 11 2009 将非单调知识库与外部资源相结合。 Zbl 1193.68242号 托马斯·艾特;格哈德·布鲁卡;明州道特兰;迈克尔·芬克;乔瓦姆巴蒂斯塔·伊安尼;托马斯·克伦瓦尔纳 4 2009 模块化非单调逻辑程序的相关性驱动评估。 Zbl 1258.68028号 明州道特兰;托马斯·艾特;迈克尔·芬克;托马斯·克伦瓦尔纳 1 2009 弹性变形电阻抗断层成像。 Zbl 1156.35101号 H.阿马利。;Bonnetier,E。;卡普代博斯克,Y。;M·坦特。;芬克,M。 50 2008 在这里和那里的逻辑中,通过反模型实现应答编程的等价性。 Zbl 1185.68157号 迈克尔·芬克 1 2008 答案集编程中等价的语义特征和复杂性。 Zbl 1367.68031号 托马斯·艾特;迈克尔·芬克;斯特凡·沃尔特兰 27 2007 具有有界谓词算术和含义的答案集编程的复杂性结果。 Zbl 1138.68017号 托马斯·艾特;沃尔夫冈·费伯;迈克尔·芬克;斯特凡·沃尔特兰 18 2007 基于语义偏好比较动作描述。 Zbl 1125.68114号 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 2 2007 有限域上非基础答案集编程中规则冗余的复杂性。 Zbl 1149.68331号 迈克尔·芬克;莱因哈德·皮克勒;汉斯·托姆皮茨;斯特凡·沃尔特兰 1 2007 基于语义偏好比较动作描述。 Zbl 1152.68601号 托马斯·艾特;埃斯拉·埃尔登;迈克尔·芬克;詹森科 2 2006 关于演化非单调知识库的推理。 Zbl 1367.68279号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 1 2005 在统一和强等价下简化逻辑程序。 Zbl 1122.68369号 托马斯·艾特;迈克尔·芬克;汉斯·托姆皮茨;斯特凡·沃尔特兰 26 2004 稳定模型语义下逻辑程序的一致等价。 Zbl 1204.68052号 托马斯·艾特;迈克尔·芬克 28 2003 查询数据集成系统的逻辑程序的有效评估。 Zbl 1204.68080号 托马斯·艾特;迈克尔·芬克;吉安路易吉·格雷科;多梅尼科·伦博 9 2003 使用声明性计划监视代理。 Zbl 1110.68512号 尤尔根·迪克斯;托马斯·艾特;迈克尔·芬克;Polleres,阿克塞尔;张应倩 1 2003 使用声明性计划监视代理。 Zbl 1274.68578号 尤尔根·迪克斯;托马斯·艾特;迈克尔·芬克;Polleres,阿克塞尔;张应倩 1 2003 基于因果拒绝的更新序列的性质。 Zbl 1105.68326号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 16 2002 为智能信息代理使用声明逻辑编程方法。 Zbl 1105.68325号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 1 2002 扩展逻辑程序的更新前端。 Zbl 1010.68709号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 1 2001 逻辑程序更新注意事项。 Zbl 0998.68029号 托马斯·艾特;迈克尔·芬克;朱利安娜·萨巴蒂尼;汉斯·托姆皮茨 2 2000 使用声学技术进行涡旋动力学研究。 Zbl 1149.76469号 曼内维尔,S。;J.H.罗伯斯。;A.莫雷尔。;小牛仔裤,P。;芬克,M。 4 1999 所有引用出版物 前5名被引用出版物 全部的 前5名274位作者引用 30 托马斯·艾特 19 斯特凡·沃尔特兰 16 迈克尔·芬克 13 佩德罗·卡巴拉尔 9 豪尔赫·范丁诺 9 约昂·莱特 8 乔瓦尼·阿蒙多拉 8 沃尔夫冈·费伯 8 马蒂亚斯·克诺尔 8 弗朗西斯科·里卡 8 特鲁什琴斯基,米洛斯奥 7 格哈德·布鲁卡 7 里卡多·贡萨阿尔维斯 7 托马斯·克伦瓦尔纳 7 托尔斯滕·绍布(Torsten H.Schaub)。 6 埃斯拉·埃尔登 6 尼古拉·利昂 6 约格·普勒 6 克里斯托夫·雷德尔 6 彼得·舒勒 6 汉斯·托姆皮茨 5 马里奥·阿尔维亚诺 5 马克·德内克 5 马丁·格布瑟 5 尤利亚·利勒 5 张燕 4 何塞·朱利奥·阿尔弗雷斯 4 林戈·鲍曼 4 巴特·博加特 4 卡明·多达罗 4 斯特凡·埃尔马瑟勒 4 吉安路易吉·格雷科 4 迈克尔·莫拉克 4 沈一东 4 汉内斯·斯特拉斯 4 弗兰克·沃尔特 4 周毅 三 费利西达·阿瓜多 三 安娜斯塔西娅·安娜斯塔西 三 格里戈里斯·安东尼奥 三 哈拉尔德·贝克 三 斯特凡妮娅·科斯坦蒂尼 三 路易斯·克鲁兹·菲利佩 三 明州道特兰 三 詹姆斯·德尔格兰德。 三 约翰·克劳斯·费希特 三 乔瓦姆巴蒂斯塔·伊安尼 三 井上,Katsumi 三 汤米·詹胡宁 三 本杰明·考夫曼 三 加布里埃尔·克恩·伊斯伯纳 三 卡斯滕·卢茨 三 吉尔伯托·佩雷斯 三 阿古斯丁,巴尔韦德 三 Joost Vennekens 三 康塞普西翁·维达尔 三 卡洛斯·维加斯·达马西奥 三 王克文 三 你,嘉慧 三 迈克尔·维克托洛维奇(Michael Viktorovich) 2 法布里齐奥·安吉乌利 2 Arieli,奥弗 2 利奥波多·贝尔托西。 2 曼纽尔·比什勒 2 埃琳娜·博托埃娃 2 洛雷托·布拉沃 2 JoséLuis Carbarlido 2 贝尔纳多·卡特里 2 豪尔赫·范迪诺 2 克里斯蒂娜·费尔 2 安德烈亚·福米萨诺 2 法比奥·加利亚迪·科兹曼 2 格拉萨·加斯帕 2 迈克尔·盖尔芬德 2 罗兰·卡明斯基 2 托比亚斯·卡明斯基 2 鲍里斯·科涅夫 2 帕特里克·克伦佩尔曼 2 林方珍 2 托马斯·林斯比勒 2 刘芳芳 2 马可·曼纳 2 马可·马拉提亚 2 Denis Deratani毛阿 2 穆克甸 2 伊莎贝尔·努斯 2 谢尔盖·奥丁佐夫。 2 毛里西奥·A·奥索里奥。 2 马克斯·奥斯特罗斯基 2 艾奥尼斯·帕乔拉基斯 2 路易吉·帕洛波利 2 谢尔盖·帕拉莫诺夫 2 弗朗西斯科·帕里西 2 沃尔坎州帕托格鲁 2 哈维尔·罗梅罗 2 弗拉迪斯拉夫·里日科夫 2 恰基萨卡马 2 泽尼普·戈岑·萨里巴特 2 康斯坦丁·舍科提欣 2 克劳迪娅·舒尔茨 …还有174位作者 全部的 前5名22篇连载文章中引用 53 人工智能 39 逻辑程序设计理论与实践 21 数学与人工智能年鉴 9 国际近似推理杂志 5 ACM计算逻辑事务 4 计算机与系统科学杂志 2 机器学习 2 应用非经典逻辑杂志 2 应用逻辑杂志 1 离散数学 1 模糊集与系统 1 逻辑研究 1 理论计算机科学 1 新一代计算 1 信息与计算 1 信息计算杂志 1 计算机基础理论 1 中国科学。F系列 1 泛逻辑 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 1 Logicheskie Issledovaniya公司 全部的 前5名10个领域引用 207 计算机科学(68至XX) 32 数学逻辑和基础(03-XX) 三 运筹学、数学规划(90-XX) 2 生物学和其他自然科学(92-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文