编辑配置文件(在新选项卡中打开) 伊恩·霍洛克斯 合著者距离 作者ID: 可怕的伊安 发布日期: 伊恩·霍洛克斯;霍洛克斯,I。 已编制索引的文档: 65出版物自1998年以来,包括1本书 4作为编辑的贡献 合著者: 69合著者具有62联合出版物 1158名合作作者 全部的 前5名合著者 7 单作者的 15 Cuenca Grau,贝尔纳多 15 鲍里斯·莫提克 11 乌尔里克·萨特勒 6 彼得·施奈德(Peter F.Patel-Schneider)。 5 马克·卡明斯基 5 杰夫·Z·潘。 5 乔戈斯·斯托洛斯 4 格利姆,伯尔特 4 叶夫根尼·哈萨克夫 4 Despoina马加 4 托比,斯蒂芬 三 Cucala,David Tena,大卫·特纳 三 马库斯·科洛奇 三 弗朗蒂舍克·西蒙切克 三 乔戈斯·斯塔姆(Giorgos B.Stamou)。 三 塞尔吉奥·特萨利斯 2 弗兰兹·巴德 2 胡、潘 2 埃内斯托·吉梅内斯·鲁伊斯 2 埃戈尔·V·科斯蒂列夫。 2 卡斯滕·卢茨 2 亚沃·内诺夫 2 佩雷兹·乌尔维纳(Héctor) 2 罗伯·希勒 2 瓦西里斯·索瓦拉斯 2 王哲 2 周玉娇 1 丹瓦·安东尼拉贾赫 1 卡洛斯·阿雷塞斯 1 阿玛斯·罗梅罗,安娜 1 安德鲁·M·贝特。 1 肖恩·贝赫霍夫 1 布兰登·贝内特 1 迭戈·卡尔瓦内斯 1 大卫·卡拉尔 1 L.卡斯滕。 1 陈娇艳 1 马尔滕,德里伊克 1 克莱尔·狄克逊 1 托马斯·艾特 1 克里斯蒂娜·费尔 1 迈克尔·费希尔 1 恩里科·弗朗科尼 1 卡罗尔·高布尔 1 乔治·戈特洛布 1 詹姆斯·亨德勒。 1 帕斯卡·希茨勒 1 Ole Magnus霍尔特 1 乌尔里希·赫斯塔特 1 迈克尔·基弗 1 Phokion G.科莱蒂斯。 1 乔治·康斯坦蒂尼迪斯 1 马诺利斯库巴拉基斯 1 克莱门斯·库普克 1 乔治·劳森 1 林方珍 1 查拉兰波斯·尼古劳 1 林·帕德汉姆 1 罗伯特·皮罗 1 亚历山德罗·隆卡 1 塞巴斯蒂安·鲁道夫 1 乌利·萨特勒 1 罗伯托·塞巴斯蒂亚尼 1 劳拉·C·汤姆森。 1 德米特里·察尔科夫 1 弗兰克·范·哈梅伦 1 安德烈·沃伦科夫 1 格哈德·威库姆 1 赵玉婷 全部的 前5名系列 10 人工智能研究杂志 8 人工智能 5 自动推理杂志 4 计算机科学课堂讲稿 2 逻辑与计算杂志 2 IGPL逻辑杂志 1 机器学习 1 人工智能综述 1 美国医学会杂志 1 应用逻辑杂志 领域 68 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 三 一般性和全局性主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 50出版物有被引用574中的次328文件 引用人▼ 年份▼ 描述逻辑简介。 Zbl 1373.68002号 弗兰兹·巴德;伊恩·霍洛克斯;卡斯滕·卢茨;乌利·萨特勒 67 2017 (\mathcal{SHOIQ}\)的表决策过程。 Zbl 1132.68734号 伊恩·霍洛克斯;乌尔里克·萨特勒 41 2007 非常富有表现力的描述逻辑的实用推理。 Zbl 0967.03026号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比,斯蒂芬 34 2000 表达描述逻辑的实用推理。 Zbl 0947.68134号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比,斯蒂芬 32 1999 本体的模块化重用:理论与实践。 Zbl 1183.68479号 Cuenca Grau,B。;霍洛克斯,I。;Y.哈萨克夫。;美国萨特勒。 31 2008 具有传递和反向角色以及角色层次结构的描述逻辑。 Zbl 0940.03039号 伊恩·霍洛克斯;乌尔里克·萨特勒 29 1999 描述逻辑SHIQ的连接查询应答。 Zbl 1183.68244号 格利姆,B。;C.卢茨。;霍洛克斯,I。;美国萨特勒。 29 2008 推理与非常富有表现力的模糊描述逻辑。 Zbl 1182.68292号 G.斯托洛斯。;斯塔穆,G。;潘,J.Z。;V·苏瓦拉斯。;霍洛克斯,I。 25 2007 将逻辑描述为语义网的本体语言。 Zbl 1098.68705号 弗兰兹·巴德;伊恩·霍洛克斯;Ulrike萨特勒 22 2005 描述逻辑的超表推理。 Zbl 1192.68664号 莫蒂克,B。;右采煤机。;霍洛克斯,I。 22 2009 优化描述逻辑包含。 Zbl 0940.03038号 伊恩·霍洛克斯;彼得·施奈德(Peter F.Patel-Schneider)。 21 1999 具有复杂角色包含公理的SHIQ的可判定性。 Zbl 1086.68129号 伊恩·霍洛克斯;乌尔里克·萨特勒 20 2004 存在规则的非循环概念及其在本体中查询应答中的应用。 Zbl 1270.68295号 伯纳多·坎卡·格劳;伊恩·霍洛克斯;马库斯·科洛奇;克莱门斯·库普克;Despoina马加;鲍里斯·莫提克;王哲 20 2013 HermiT:OWL 2推理机。 Zbl 1314.68280号 格利姆,伯尔特;伊恩·霍洛克斯;鲍里斯·莫提克;乔戈斯·斯托洛斯;王哲 19 2014 为描述逻辑进行个体推理(mathcal{SHIQ})。 Zbl 0963.68197号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比,斯蒂芬 17 2000 优化表达描述逻辑的术语推理。 Zbl 1132.68742号 德米特里·察尔科夫;伊恩·霍洛克斯;彼得·施奈德(Peter F.Patel-Schneider)。 16 2007 关键词、名词和具体领域。 兹比尔1080.68683 L.卡斯滕。;阿雷塞斯,C。;霍洛克斯,I。;美国萨特勒。 15 2005 描述逻辑约束下的可追踪查询应答和重写。 兹比尔1192.68218 佩雷兹·乌尔维纳(Héctor);鲍里斯·莫提克;伊恩·霍洛克斯 13 2010 使用hypertableaux优化描述逻辑中的推理。 Zbl 1213.68593号 鲍里斯·莫提克;罗伯·希勒;伊恩·霍洛克斯 11 2007 模态逻辑的组合。 Zbl 1014.68158号 布兰登·贝内特;克莱尔·狄克逊;迈克尔·费希尔;乌尔里希·赫斯塔特;恩里科·弗兰科尼;伊恩·霍洛克斯;马尔滕,德里伊克 8 2002 \(\数学{EL}\)化本体。 Zbl 1423.68487号 大卫·卡拉尔;克里斯蒂娜·费尔;Cuenca Grau,贝尔纳多;帕斯卡·希茨勒;伊恩·霍洛克斯 6 2014 重新审查数据日志实体化的维护。 Zbl 1478.68076号 鲍里斯·莫提克;亚沃·内诺夫;罗伯特·皮罗;伊恩·霍洛克斯 6 2019 混合逻辑和本体语言。 Zbl 1278.68287号 伊恩·霍洛克斯;格利姆,伯尔特;乌尔里克·萨特勒 6 2007 描述逻辑入门。 Zbl 1358.68276号 马库斯·科洛奇;弗朗蒂舍克·西蒙切克;伊恩·霍洛克斯 6 2014 通过数据日志推理在表达性本体语言中提取模块。 Zbl 1352.68235号 阿玛斯·罗梅罗,安娜;马克·卡明斯基;伯纳多·坎卡·格劳;伊恩·霍洛克斯 4 2016 描述逻辑({\mathcal{EL}})与数字数据类型的可追踪扩展。 Zbl 1243.68275号 Despoina马加;叶夫根尼·哈萨克夫;伊恩·霍洛克斯 4 2011 从本体中提取模块:一种基于逻辑的方法。 Zbl 1242.68310号 Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;叶夫根尼·哈萨克夫;乌尔里克·萨特勒 4 2009 使用定理证明器对表达性本体语言的推理支持。 Zbl 1177.68179号 伊恩·霍洛克斯;安德烈·沃伦科夫 4 2006 f-SWRL:SWRL的模糊扩展。 兹比尔1186.68454 杰夫·Z·潘。;乔戈斯·斯托洛斯;乔戈斯·斯塔姆;瓦西里斯·索瓦拉斯;伊恩·霍洛克斯 4 2006 PAGOdA:使用数据日志推理器回答pay-as-you-go本体查询。 Zbl 1343.68073号 周玉娇;伯纳多·坎卡·格劳;内诺夫,亚沃;马克·卡明斯基;伊恩·霍洛克斯 三 2015 描述逻辑中基于结果和固定参数的可处理推理。 Zbl 1334.68211号 弗朗蒂舍克·西蒙切克;鲍里斯·莫提克;伊恩·霍洛克斯 三 2014 使用描述逻辑、描述图和规则表示本体。 Zbl 1180.68262号 鲍里斯·莫提克;Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;乌尔里克·萨特勒 三 2009 查询语义网:一种形式化的方法。 Zbl 1048.68782号 伊恩·霍洛克斯;塞尔吉奥·特萨利斯 三 2002 DAML+OIL:一种合理的web本体语言。 Zbl 1054.68785号 伊恩·霍洛克斯 三 2002 抽象规则的具体结果。 Zbl 1405.68358号 马库斯·科洛奇;Despoina马加;伊恩·霍洛克斯 2 2013 重写描述逻辑知识库上的连接查询。 Zbl 1165.68516号 佩雷兹·乌尔维纳(Héctor);鲍里斯·莫提克;伊恩·霍洛克斯 2 2008 描述逻辑推理中的个体重用。 Zbl 1165.68505号 鲍里斯·莫提克;伊恩·霍洛克斯 2 2008 OilEd:语义网的合理本体编辑器。 Zbl 1007.68719号 肖恩·贝赫霍夫;伊恩·霍洛克斯;卡罗尔·戈布尔;罗伯特·史蒂文斯 2 2001 优化描述逻辑包含的命题模态可满足性。 Zbl 0910.68204号 伊恩·霍洛克斯;彼得·施奈德(Peter F.Patel-Schneider)。 2 1998 描述逻辑(\mathcal{EL})与数字数据类型的可追踪扩展。 兹比尔1291.68383 Despoina马加;叶夫根尼·哈萨克夫;伊恩·霍洛克斯 2 2010 通过核心块优化描述逻辑推理。 Zbl 1291.68344号 格利姆,伯尔特;伊恩·霍洛克斯;鲍里斯·莫提克 2 2010 语义Web-ISWC 2002。第一届国际会议,2002年6月9日至12日,意大利撒丁岛。诉讼程序。 Zbl 0992.68520号 1 2002 包语义下基于本体的数据访问基础。 兹比尔1478.68366 查拉兰波斯·尼古劳;埃戈尔·柯斯特列夫(Egor V.Kostylev)。;乔治·康斯坦蒂尼迪斯;马克·卡明斯基;Cuenca Grau,贝尔纳多;伊恩·霍洛克斯 1 2019 利用FaCT进行基准分析。 Zbl 0963.68516号 伊恩·霍洛克斯 1 2000 扩展web本体推理中的数据类型支持。 Zbl 1018.68780号 杰夫·Z·潘。;伊恩·霍洛克斯 1 2002 如何使用描述逻辑确定约束下的查询包含。 Zbl 0988.68060号 伊恩·霍洛克斯;乌尔里克·萨特勒;塞尔吉奥·特萨利斯;托比,斯蒂芬 1 2000 具有析取和数量限制的描述逻辑的基于结果的推理。 Zbl 1451.68253号 安德鲁·贝特;鲍里斯·莫提克;Cuenca Grau,贝尔纳多;大卫·特纳·库卡拉;弗朗蒂舍克·西蒙切克;伊恩·霍洛克斯 1 2018 描述逻辑的基于结果的Pay-as-you-go推理(mathcal{SROIQ})。 Zbl 1522.68532号 戴维·特娜·库卡拉;Cuenca Grau,贝尔纳多;伊恩·霍洛克斯 1 2021 本体应用中的描述逻辑。 兹比尔1142.68534 伊恩·霍洛克斯 1 2005 不完全本体推理机的完整性保证:理论与实践。 Zbl 1243.68276号 Cuenca Grau,贝尔纳多;鲍里斯·莫提克;乔戈斯·斯托洛斯;伊恩·霍洛克斯 1 2012 描述逻辑的基于结果的Pay-as-you-go推理(mathcal{SROIQ})。 Zbl 1522.68532号 Tena Cucala,大卫;Cuenca Grau,贝尔纳多;伊恩·霍洛克斯 1 2021 重新审查数据日志实体化的维护。 Zbl 1478.68076号 鲍里斯·莫提克;亚沃·内诺夫;罗伯特·皮罗;伊恩·霍洛克斯 6 2019 包语义下基于本体的数据访问基础。 Zbl 1478.68366号 查拉兰波斯·尼古劳;埃戈尔·柯斯特列夫(Egor V.Kostylev)。;康斯坦丁尼迪斯,乔治;马克·卡明斯基;Cuenca Grau,贝尔纳多;伊恩·霍洛克斯 1 2019 具有析取和数量限制的描述逻辑的基于结果的推理。 Zbl 1451.68253号 安德鲁·贝特;鲍里斯·莫提克;Cuenca Grau,贝尔纳多;大卫·特纳·库卡拉;弗朗蒂舍克·西蒙切克;伊恩·霍洛克斯 1 2018 描述逻辑简介。 Zbl 1373.68002号 弗兰兹·巴德;伊恩·霍洛克斯;卡斯滕·卢茨;乌利·萨特勒 67 2017 通过数据日志推理在表达性本体语言中提取模块。 Zbl 1352.68235号 阿玛斯·罗梅罗,安娜;马克·卡明斯基;伯纳多·坎卡·格劳;伊恩·霍洛克斯 4 2016 PAGOdA:使用数据日志推理器回答pay-as-you-go本体查询。 Zbl 1343.68073号 周玉娇;伯纳多·坎卡·格劳;亚沃·内诺夫;马克·卡明斯基;伊恩·霍洛克斯 三 2015 HermiT:OWL 2推理机。 Zbl 1314.68280号 格利姆,伯尔特;伊恩·霍洛克斯;鲍里斯·莫提克;乔戈斯·斯托洛斯;王哲 19 2014 \(\数学{EL}\)化本体。 Zbl 1423.68487号 大卫·卡拉尔;克里斯蒂娜·费尔;Cuenca Grau,贝尔纳多;帕斯卡·希茨勒;伊恩·霍洛克斯 6 2014 描述逻辑入门。 Zbl 1358.68276号 Krötzsch,马库斯;弗朗蒂舍克·西蒙切克;伊恩·霍洛克斯 6 2014 描述逻辑中基于结果和固定参数的可处理推理。 Zbl 1334.68211号 弗朗蒂舍克·西蒙切克;鲍里斯·莫提克;伊恩·霍洛克斯 三 2014 存在规则的非循环概念及其在本体中查询应答中的应用。 Zbl 1270.68295号 伯纳多·坎卡·格劳;伊恩·霍洛克斯;马库斯·科洛奇;克莱门斯·库普克;马格卡,Despoina;鲍里斯·莫提克;王哲 20 2013 抽象规则的具体结果。 Zbl 1405.68358号 马库斯·科洛奇;Despoina马加;伊恩·霍洛克斯 2 2013 不完全本体推理机的完整性保证:理论与实践。 Zbl 1243.68276号 Cuenca Grau,贝尔纳多;鲍里斯·莫提克;乔戈斯·斯托洛斯;伊恩·霍洛克斯 1 2012 描述逻辑({\mathcal{EL}})与数字数据类型的可追踪扩展。 Zbl 1243.68275号 Despoina马加;叶夫根尼·哈萨克夫;伊恩·霍洛克斯 4 2011 描述逻辑约束下的可追踪查询应答和重写。 Zbl 1192.68218号 佩雷兹·乌尔维纳(Héctor);鲍里斯·莫提克;伊恩·霍洛克斯 13 2010 描述逻辑(\mathcal{EL})与数字数据类型的可追踪扩展。 Zbl 1291.68383号 Despoina马加;叶夫根尼·哈萨克夫;伊恩·霍洛克斯 2 2010 通过核心块优化描述逻辑推理。 Zbl 1291.68344号 格利姆,伯尔特;伊恩·霍洛克斯;鲍里斯·莫提克 2 2010 描述逻辑的超表推理。 Zbl 1192.68664号 莫提克,B。;右采煤机。;霍洛克斯,I。 22 2009 从本体中提取模块:一种基于逻辑的方法。 Zbl 1242.68310号 Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;叶夫根尼·哈萨克夫;乌尔里克·萨特勒 4 2009 使用描述逻辑、描述图和规则来表示本体。 Zbl 1180.68262号 鲍里斯·莫提克;Cuenca Grau,贝尔纳多;伊恩·霍洛克斯;乌尔里克·萨特勒 三 2009 本体的模块化重用:理论与实践。 Zbl 1183.68479号 Cuenca Grau,B。;霍洛克斯,I。;Y.哈萨克夫。;美国萨特勒。 31 2008 描述逻辑SHIQ的连接查询应答。 Zbl 1183.68244号 格利姆,B。;C.卢茨。;霍洛克斯,I。;美国萨特勒。 29 2008 重写描述逻辑知识库上的连接查询。 Zbl 1165.68516号 佩雷兹·乌尔维纳(Héctor);鲍里斯·莫提克;伊恩·霍洛克斯 2 2008 描述逻辑推理中的个体重用。 Zbl 1165.68505号 鲍里斯·莫提克;伊恩·霍洛克斯 2 2008 (\mathcal{SHOIQ}\)的表决策过程。 Zbl 1132.68734号 伊恩·霍洛克斯;乌尔里克·萨特勒 41 2007 推理与非常富有表现力的模糊描述逻辑。 Zbl 1182.68292号 G.斯托洛斯。;G.斯塔努。;潘,J.Z。;V·苏瓦拉斯。;霍洛克斯,I。 25 2007 优化表达描述逻辑的术语推理。 Zbl 1132.68742号 德米特里·察尔科夫;伊恩·霍洛克斯;彼得·施奈德(Peter F.Patel-Schneider)。 16 2007 使用hypertableaux优化描述逻辑中的推理。 Zbl 1213.68593号 鲍里斯·莫提克;罗伯·希勒;伊恩·霍洛克斯 11 2007 混合逻辑和本体语言。 兹比尔1278.68287 伊恩·霍洛克斯;格利姆,伯尔特;乌尔里克·萨特勒 6 2007 使用定理证明器对表达性本体语言的推理支持。 Zbl 1177.68179号 伊恩·霍洛克斯;安德烈·沃伦科夫 4 2006 f-SWRL:SWRL的模糊扩展。 Zbl 1186.68454号 杰夫·Z·潘。;乔戈斯·斯托洛斯;乔治·斯塔穆;瓦西里斯·索瓦拉斯;伊恩·霍洛克斯 4 2006 将逻辑描述为语义网的本体语言。 Zbl 1098.68705号 弗兰兹·巴德;伊恩·霍洛克斯;乌尔里克·萨特勒 22 2005 关键词、名词和具体领域。 Zbl 1080.68683号 L.卡斯滕。;阿雷塞斯,C。;霍洛克斯,I。;美国萨特勒。 15 2005 本体应用中的描述逻辑。 Zbl 1142.68534号 伊恩·霍洛克斯 1 2005 具有复杂角色包含公理的SHIQ的可判定性。 Zbl 1086.68129号 伊恩·霍洛克斯;乌尔里克·萨特勒 20 2004 模态逻辑的组合。 Zbl 1014.68158号 布兰登·贝内特;克莱尔·狄克逊;迈克尔·费希尔;乌尔里希·赫斯塔特;恩里科·弗朗科尼;伊恩·霍洛克斯;马尔滕,德里伊克 8 2002 查询语义网:一种形式化的方法。 Zbl 1048.68782号 伊恩·霍洛克斯;塞尔吉奥·特萨利斯 三 2002 DAML+OIL:一种合理的web本体语言。 Zbl 1054.68785号 伊恩·霍洛克斯 三 2002 语义Web-ISWC 2002。第一届国际会议,2002年6月9日至12日,意大利撒丁岛。诉讼程序。 Zbl 0992.68520号 1 2002 扩展web本体推理中的数据类型支持。 Zbl 1018.68780号 潘,杰夫·Z。;伊恩·霍洛克斯 1 2002 OilEd:语义网的合理本体编辑器。 Zbl 1007.68719号 肖恩·贝赫霍夫;伊恩·霍洛克斯;卡罗尔·高布尔;罗伯特·史蒂文斯 2 2001 非常富有表现力的描述逻辑的实用推理。 Zbl 0967.03026号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比,斯蒂芬 34 2000 与描述逻辑的个体进行推理\(\mathcal{SHIQ}\)。 Zbl 0963.68197号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比斯,斯蒂芬 17 2000 利用FaCT进行基准分析。 Zbl 0963.68516号 伊恩·霍洛克斯 1 2000 如何使用描述逻辑确定约束下的查询包含。 Zbl 0988.68060号 伊恩·霍洛克斯;乌尔里克·萨特勒;塞尔吉奥·特萨利斯;托比斯,斯蒂芬 1 2000 表达描述逻辑的实用推理。 Zbl 0947.68134号 伊恩·霍洛克斯;乌尔里克·萨特勒;托比,斯蒂芬 32 1999 具有传递和反向角色以及角色层次结构的描述逻辑。 Zbl 0940.03039号 伊恩·霍洛克斯;乌尔里克·萨特勒 29 1999 优化描述逻辑包含。 Zbl 0940.03038号 伊恩·霍洛克斯;彼得·施奈德(Peter F.Patel-Schneider)。 21 1999 优化描述逻辑包含的命题模态可满足性。 Zbl 0910.68204号 伊恩·霍洛克斯;Patel Schneider,Peter F。 2 1998 所有引用出版物 前5名被引用出版物 全部的 前5名486位作者引用 18 卡斯滕·卢茨 17 伊恩·霍洛克斯 16 弗兰兹·巴德 14 弗兰克·沃尔特 11 斯特凡·博格沃德 11 鲍里斯·莫提克 11 马格达莱娜·奥尔蒂斯 11 翁贝托·斯特拉契亚 10 拉斐尔·佩尼亚洛萨 10 乌尔里克·萨特勒 9 费尔南多·博比略 9 托马斯·艾特 9 叶夫根尼·哈萨克夫 8 Cuenca Grau,贝尔纳多 8 拉杰夫·普拉巴卡尔·戈尔 8 迈克尔·维克托洛维奇(Michael Viktorovich) 7 姜云成 7 马克·卡明斯基 7 帕特里克·科普曼 6 迭戈·卡尔瓦内斯 6 格利姆,伯尔特 6 托马斯·卢卡西维奇 6 杰夫·Z·潘。 6 安德烈亚斯·皮耶利斯 6 雷娜特·施密特(Renate A.Schmidt)。 6 西蒙库斯,曼塔斯 6 安妮·亚斯敏(Anni-Yasmin Turhan) 5 巴托斯·贝德纳西克 5 乔治·戈特洛布 5 马库斯·科洛奇 5 阮林安 5 安娜·奥扎基 5 弗拉迪斯拉夫·里日科夫 5 格特·斯莫尔卡 4 埃琳娜·博托埃娃 4 坎通纳,多梅尼科 4 玛尔塔·恰尔迪亚·梅耶 4 沃尔克·哈尔斯列夫 4 乌尔里希·赫斯塔特 4 乔瓦姆巴蒂斯塔·伊安尼 4 让·克里斯托夫·荣格 4 弗朗西斯科·克里格尔 4 玛丽安娜·尼科洛西·阿斯蒙多 4 比扬·帕西娅 4 塞巴斯蒂安·鲁道夫 4 丹尼尔·弗朗西斯科·桑塔马利亚 4 伊南·塞兰 4 唐素琴 4 唐勇 4 王菊 三 彼得罗·阿巴特 三 亚历山德罗·阿塔尔 三 法沙德·巴迪 三 彼得·鲍姆加特纳 三 马可·卡劳蒂 三 安德烈·卡利 三 马尔科·塞拉米 三 陈启迈 三 朱塞佩·德贾科莫 三 Stéphane P.德姆里。 三 天使加西亚·塞尔达尼亚 三 斯迪恩·海曼斯 三 斯坦尼斯拉夫·基科特 三 鲍里斯·科涅夫 三 Kontchakov,罗马人 三 Alisa Kovtunova 三 托马斯·克伦瓦尔纳 三 莫里齐奥·伦泽里尼 三 桂林齐 三 雅库布·里德瓦尔 三 乔戈斯·斯塔姆(Giorgos B.Stamou)。 三 大卫·托曼 三 王哲 三 格兰特·韦德尔(Grant E.Weddell)。 三 弗洛里安·维德曼 三 Jessica Zangari 2 什奇蓬贾·艾哈迈塔吉 2 克里斯蒂安·阿拉巴阿 2 梅亨·宾文努 2 阮成平 2 皮耶罗·安德里亚·博纳蒂 2 塞里托、塞雷内拉 2 克莱尔·狄克逊 2 杜建峰 2 弗朗西斯科·埃斯特瓦 2 克里斯蒂娜·费尔 2 迈克尔·费希尔 2 恩里科·弗朗科尼 2 弗雷德·弗雷塔斯 2 布莱恩·R·盖恩斯。 2 纪尧姆·霍夫曼 2 瓦桑特·霍纳瓦尔 2 胡、潘 2 亚兹米恩·安吉利卡,伊瓦涅兹·加西亚 2 季、秋 2 卡普尔,迪帕克 2 阿拉什·卡里米 2 马里兰州阿基尔汗 2 亨宁·科勒 2 Koutris,Paraschos公司 …还有386位作者 全部的 前5名54篇连载文章中引用 34 人工智能 30 自动推理杂志 14 国际近似推理杂志 13 逻辑程序设计的理论与实践 11 应用逻辑杂志 8 模糊集与系统 7 信息科学 6 信息与计算 5 理论计算机科学 5 应用非经典逻辑杂志 5 ACM计算逻辑事务 4 数学与人工智能年鉴 4 泛逻辑 4 计算机科学中的逻辑方法 三 离散应用数学 三 计算机与系统科学杂志 三 逻辑、语言与信息杂志 三 人工智能研究杂志 2 计算机与数学及其应用 2 符号计算杂志 2 计算的形式方面 2 计算系统理论 2 计算机基础理论 2 洛巴切夫斯基数学杂志 2 机器学习研究杂志 2 伊尔库茨科戈大学。Seriya Matematika公司 2 Logicheskie Issledovaniya公司 1 信息处理信件 1 哲学逻辑杂志 1 符号逻辑杂志 1 圣母院形式逻辑期刊 1 SIAM计算机杂志 1 西伯利亚数学杂志 1 Studia Logica公司 1 逻辑科公报 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 新一代计算 1 国际并行程序设计杂志 1 国际智能系统杂志 1 数学和计算机建模 1 机器学习 1 国际计算机数学杂志 1 控制论与系统分析 1 数学逻辑季刊(MLQ) 1 符号逻辑公报 1 软计算 1 逻辑与逻辑哲学 1 计算智能 1 数学生物科学与工程 1 计算机科学评论 1 程序设计中的逻辑与代数方法杂志 1 希腊数学学会公报 全部的 前5名在6个字段中引用 305 计算机科学(68至XX) 102 数学逻辑和基础(03-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 生物学和其他自然科学(92-XX) 1 统计学(62-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文