编辑配置文件（在新选项卡中打开） 乌尔里希·赫斯塔特 合著者距离 作者ID： 胡斯塔特·乌尔里奇 发布日期： 乌尔里希·赫斯塔特；美国Hustadt。 外部链接： 逆戟鲸 已编制索引的文档： 54出版物自1995年起 合著者： 37位合著者具有53联合出版物 833位合作作者 全部的 前5名合著者 1 单作者的 24 雷娜特·施密特（Renate A.Schmidt）。 23 克莱尔·狄克逊 11 Cláudia Nalon 7 迈克尔·费舍尔 6 张，兰 4 鲍里斯·科涅夫 4 法比奥·帕帕奇尼 三 保罗·盖纳 三 莉莉亚·乔治耶娃 三 鲍里斯·莫提克 三 乌尔里克·萨特勒 2 斯文·林克尔 2 米歇尔·路德维希 2 安娜·奥扎基 2 蒂什科夫斯基，德米特里 1 布兰登·贝内特 1 汉斯·德·尼维尔 1 马尔滕·德·里杰克 1 德吉亚列夫，阿纳托利·伊万诺维奇 1 Fermüller，Christian G。 1 费尔南德斯·加戈（M.Carmen Fernández Gago） 1 恩里科·弗朗科尼 1 哈拉尔德·甘辛格 1 瓦伦丁·F·戈兰科。 1 伊恩·霍洛克斯 1 亚历山大·莱奇 1 克里斯托夫·迈耶 1 约翰·朱尔斯·查尔斯·梅耶 1 汉斯·尤根·奥巴赫 1 或者艾瓦·奥斯卡。 1 亚历山大·里亚扎诺夫 1 塔内尔·塔米特 1 迪米特·瓦卡雷洛夫 1 范德霍克，威比 1 安德烈·沃伦科夫 1 弗兰克·沃尔特 1 迈克尔·维克托洛维奇（Michael Viktorovich） 全部的 前5名系列 7 自动推理杂志 三 ACM计算逻辑事务 2 信息与计算 2 人工智能通信 1 Studia Logica公司 1 符号计算杂志 1 逻辑与计算杂志 1 人工智能综述 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 IGPL逻辑杂志 领域 46 数理逻辑与基础（03-XX） 38 计算机科学（68至XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 47出版物有被引用325中的次159文件 引用人▼ 年份▼ 决议决策程序。 Zbl 0993.68119号 Fermüller，Christian G。；亚历山大·莱奇；乌尔里希·赫斯塔特；塔内尔·塔米特 31 2001 模态逻辑的基于解析的方法。 Zbl 0947.03014号 汉斯·德·尼维尔；雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 19 2000 通过减少析取数据日志进行描述逻辑推理。 Zbl 1132.68735号 乌尔里希·赫斯塔特；鲍里斯·莫提克；乌尔里克·萨特勒 16 2007 MSPASS：通过翻译和一阶分辨率进行模态推理。 Zbl 0963.68522号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 15 2000 将公理纳入模态公式的一阶翻译的原则。 Zbl 1278.03031号 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 13 2003 解决方案框架中描述逻辑的可判定性问题。 Zbl 0955.03018号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 12 2000 机械化一阶时间分辨率。 Zbl 1086.03009号 鲍里斯·科涅夫；安纳托利·德吉亚列夫；克莱尔·狄克逊；迈克尔·费舍尔；乌尔里希·赫斯塔特 12 2005 TeMP：一个时态单数证明。 Zbl 1126.68568号 乌尔里希·赫斯塔特；鲍里斯·科涅夫；亚历山大·里亚扎诺夫；安德烈·沃伦科夫 11 2004 保护公式的超分辨率。 Zbl 1020.03007号 莉莉亚·乔治耶娃；乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 11 2003 实现公平的一元时序逻辑证明程序。 Zbl 1206.68283号 米歇尔·路德维希；乌尔里希·赫斯塔特 10 2010 在解析框架中确定表达性描述逻辑。 Zbl 1146.68456号 乌尔里希·赫斯塔特；鲍里斯·莫提克；乌尔里克·萨特勒 10 2008 使用分辨率测试模态可满足性并建立模型。 Zbl 1005.03010号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 10 2002 模态逻辑的一阶分解方法。 Zbl 1383.03031号 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 9 2013 模态逻辑的组合。 兹比尔1014.68158 布兰登·贝内特；克莱尔·狄克逊；迈克尔·费舍尔；乌尔里希·赫斯塔特；恩里科·弗朗科尼；伊恩·霍洛克斯；马尔滕·德·里杰克 8 2002 SCAN对于所有的Sahlqvist公式都是完整的。 Zbl 1088.03019号 V.戈兰科。；美国Hustadt。；施密特，R.A。；瓦卡列洛夫，D。 8 2004 基于分辨率计算的决策过程分解规则。 Zbl 1109.03009号 乌尔里希·赫斯塔特；鲍里斯·莫提克；乌尔里克·萨特勒 8 2005 分支时间时序逻辑CTL的分解演算。 Zbl 1287.03033号 张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 7 2014 模态定理证明者的实证分析。 Zbl 1033.03501号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 7 1999 一个新的子句类，可以通过超分辨率判定。 Zbl 1072.68573号 莉莉亚·乔治耶娃；乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 7 2002 \（\mathrm{克}_{\mathrm S}\mathrm{P}）一个基于分辨率的定理证明器，用于（{\mathsf{K}}_n）：体系结构、改进、策略和实验。 Zbl 1468.68304号 Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 7 2020 K4扩展的基于分辨率的决策程序。 兹比尔0993.03017 哈拉尔德·甘辛格；乌尔里希·赫斯塔特；克里斯托夫·迈耶；雷娜特·施密特（Renate A.Schmidt）。 6 2001 凹槽逻辑的一种解析决策过程。 兹伯利0963.03006 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 6 2000 模态逻辑的公理化翻译原则。 Zbl 1367.03045号 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 6 2007 CTL的精细分辨率演算。 Zbl 1250.03023号 张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 5 2009 模态分辨率。校对、分层和细化。 Zbl 1433.03057号 Cláudia Nalon；克莱尔·狄克逊；乌尔里希·赫斯塔特 5 2019 马斯洛夫的K级课程重温。 Zbl 0937.03017号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 5 1999 K的一个模态层次分解演算。 Zbl 1471.03017号 Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 5 2015 agent动态逻辑中知识、行动和承诺之间的交互。 邮编1077.03007 雷娜特·施密特（Renate A.Schmidt）。；德米特里·蒂什科夫斯基；乌尔里希·赫斯塔特 4 2004 保护公式的计算空间效率和最小模型生成。 Zbl 1275.68091号 莉莉亚·乔治耶娃；乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 4 2001 \（{\mathrm{K}{_\mathrm{S}}\mathrm2{P}}\）：一个基于分辨率的多峰K校验器。 Zbl 1475.68444号 Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 4 2016 对基本模态逻辑进行有效的局部简化。 Zbl 07437073号 法比奥·帕帕奇尼；Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 4 2021 扩展模态逻辑的机械化推理和模型生成。 Zbl 1203.03020号 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 三 2003 将分级模式转换为谓词逻辑。 Zbl 0874.03021号 霍尔巴赫，H.J。；施密特，R。；美国Hustadt。 三 1996 关于度量和拓扑的自动推理。 Zbl 1152.68523号 乌尔里希·赫斯塔特；蒂什科夫斯基，德米特里；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 三 2006 CTL-RP：一个计算树逻辑解析证明程序。 Zbl 1205.68365号 张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 三 2010 实践中的一阶时间验证。 Zbl 1108.03018号 弗南德斯·加戈，M.C。；美国Hustadt。；狄克逊，C。；M·费希尔。；科涅夫，B。 三 2005 KARO代理理论中的验证。 Zbl 0988.68180号 乌尔里希·赫斯塔特；克莱尔·狄克逊；雷娜特·施密特（Renate A.Schmidt）。；迈克尔·费舍尔；约翰·朱尔斯·迈耶；范德霍克，威比 三 2001 联盟逻辑的基于解析的演算。 Zbl 1338.03036号 Cláudia Nalon；张，兰；克莱尔·狄克逊；乌尔里希·赫斯塔特 三 2014 使用分辨率测试模态可满足性并建立模型。 Zbl 0984.03012号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 三 2000 模态表中的简化和后跳。 Zbl 0909.03014号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 三 1998 通过时间分辨率决定单音片段。 Zbl 1135.03332号 乌尔里希·赫斯塔特；鲍里斯·科涅夫；雷娜特·施密特（Renate A.Schmidt）。 2 2005 一元时间推理中的公平推导。 Zbl 1250.03018号 米歇尔·路德维希；乌尔里希·赫斯塔特 2 2009 使用定量模型检查研究参数对离散同步协议的影响。 Zbl 1420.68127号 保罗·盖纳；斯文·林克尔；克莱尔·狄克逊；乌尔里希·赫斯塔特；迈克尔·费舍尔 2 2017 自然上度量时态逻辑的定理证明。 Zbl 1496.03047号 乌尔里希·赫斯塔特；Ana Ozaki，安娜；克莱尔·狄克逊 2 2017 皮尔士代数的两个证明系统。 Zbl 1088.03056号 雷娜特·施密特（Renate A.Schmidt）。；或者鄂尔多斯卡；乌尔里希·赫斯塔特 2 2004 模态逻辑和时序逻辑的范式和证明。 Zbl 0964.03011号 美国Hustadt。；狄克逊，C。；施密特，R.A。；M·费希尔。 2 2000 将认知运算符引入描述逻辑。 Zbl 0840.68112号 美国Hustadt。 1 1995 对基本模态逻辑进行有效的局部简化。 Zbl 07437073号 法比奥·帕帕奇尼；Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 4 2021 \（\mathrm{克}_{\mathrm S}\mathrm{P}）一个基于分辨率的定理证明器，用于（{\mathsf{K}}_n）：体系结构、改进、策略和实验。 Zbl 1468.68304号 Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 7 2020 模态分辨率。校对、分层和细化。 Zbl 1433.03057号 Cláudia Nalon；克莱尔·狄克逊；乌尔里希·赫斯塔特 5 2019 使用定量模型检查研究参数对离散同步协议的影响。 Zbl 1420.68127号 保罗·盖纳；斯文·林克尔；克莱尔·狄克逊；乌尔里希·赫斯塔特；迈克尔·费舍尔 2 2017 自然上度量时态逻辑的定理证明。 Zbl 1496.03047号 乌尔里希·赫斯塔特；安娜·奥扎基；克莱尔·狄克逊 2 2017 \（｛\mathrm｛K｝｛_\mathrm｛S｝｝\mathrm｛P｝｝）：多模态K的基于分辨率的证明器。 Zbl 1475.68444号 Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 4 2016 K的一个模态层次分解演算。 Zbl 1471.03017号 Cláudia Nalon；乌尔里希·赫斯塔特；克莱尔·狄克逊 5 2015 分支时间时序逻辑CTL的分解演算。 Zbl 1287.03033号 张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 7 2014 联盟逻辑的基于解析的演算。 Zbl 1338.03036号 Cláudia Nalon；张，兰；克莱尔·狄克逊；乌尔里希·赫斯塔特 三 2014 模态逻辑的一阶分解方法。 Zbl 1383.03031号 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 9 2013 实现公平的一元时序逻辑证明程序。 Zbl 1206.68283号 米歇尔·路德维希；乌尔里希·赫斯塔特 10 2010 CTL-RP：一个计算树逻辑解析证明程序。 Zbl 1205.68365号 张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 三 2010 CTL的精细分辨率演算。 Zbl 1250.03023号 张，兰；乌尔里希·赫斯塔特；克莱尔·狄克逊 5 2009 一元时间推理中的公平推导。 Zbl 1250.03018号 米歇尔·路德维希；乌尔里希·赫斯塔特 2 2009 在解析框架中确定表达性描述逻辑。 Zbl 1146.68456号 乌尔里希·赫斯塔特；鲍里斯·莫提克；乌尔里克·萨特勒 10 2008 通过减少析取数据日志进行描述逻辑推理。 Zbl 1132.68735号 乌尔里希·赫斯塔特；鲍里斯·莫提克；乌尔里克·萨特勒 16 2007 模态逻辑的公理化翻译原则。 Zbl 1367.03045号 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 6 2007 关于度量和拓扑的自动推理。 Zbl 1152.68523号 乌尔里希·赫斯塔特；蒂什科夫斯基，德米特里；弗兰克·沃尔特；迈克尔·扎克哈里亚舍夫 三 2006 机械化一阶时间分辨率。 Zbl 1086.03009号 鲍里斯·科涅夫；安纳托利·德吉亚列夫；克莱尔·狄克逊；迈克尔·费舍尔；乌尔里希·赫斯塔特 12 2005 基于分辨率计算的决策过程分解规则。 Zbl 1109.03009号 乌尔里希·赫斯塔特；鲍里斯·莫提克；乌尔里克·萨特勒 8 2005 实践中的一阶时间验证。 Zbl 1108.03018号 弗南德斯·加戈，M.C。；美国Hustadt。；狄克逊，C。；M·费希尔。；科涅夫，B。 三 2005 通过时间分辨率决定单音片段。 Zbl 1135.03332号 乌尔里希·赫斯塔特；鲍里斯·科涅夫；雷娜特·施密特（Renate A.Schmidt）。 2 2005 时间一元证明。 Zbl 1126.68568号 乌尔里希·赫斯塔特；鲍里斯·科涅夫；亚历山大·里亚扎诺夫；安德烈·沃伦科夫 11 2004 所有Sahlqvist公式的SCAN都是完整的。 Zbl 1088.03019号 V.戈兰科。；美国Hustadt。；施密特，R.A。；瓦卡列洛夫，D。 8 2004 agent动态逻辑中知识、行动和承诺之间的交互。 邮编1077.03007 雷娜特·施密特（Renate A.Schmidt）。；蒂什科夫斯基，德米特里；乌尔里希·赫斯塔特 4 2004 皮尔士代数的两个证明系统。 Zbl 1088.03056号 雷娜特·施密特（Renate A.Schmidt）。；或者鄂尔多斯卡；乌尔里希·赫斯塔特 2 2004 将公理纳入模态公式的一阶翻译的原则。 Zbl 1278.03031号 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 13 2003 保护公式的超分辨率。 Zbl 1020.03007号 莉莉亚·乔治耶娃；乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 11 2003 扩展模态逻辑的机械化推理和模型生成。 Zbl 1203.03020号 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 三 2003 使用分辨率测试模态可满足性并建立模型。 Zbl 1005.03010号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 10 2002 模态逻辑的组合。 兹比尔1014.68158 布兰登·贝内特；克莱尔·狄克逊；迈克尔·费舍尔；乌尔里希·赫斯塔特；恩里科·弗朗科尼；伊恩·霍洛克斯；马尔滕·德·里杰克 8 2002 一个新的可通过超分辨率决定的子句类。 Zbl 1072.68573号 莉莉亚·乔治耶娃；乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 7 2002 决议决策程序。 Zbl 0993.68119号 Fermüller，Christian G。；亚历山大·莱奇；乌尔里希·赫斯塔特；塔内尔·塔米特 31 2001 K4扩展的基于分辨率的决策程序。 兹比尔0993.03017 哈拉尔德·甘辛格；乌尔里希·赫斯塔特；克里斯托夫·迈耶；雷娜特·施密特（Renate A.Schmidt）。 6 2001 保护公式的计算空间效率和最小模型生成。 Zbl 1275.68091号 莉莉亚·乔治耶娃；乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 4 2001 KARO代理理论中的验证。 Zbl 0988.68180号 乌尔里希·赫斯塔特；克莱尔·狄克逊；雷娜特·施密特（Renate A.Schmidt）。；迈克尔·费舍尔；约翰·朱尔斯·迈耶；范德霍克，威比 三 2001 模态逻辑的基于分辨率的方法。 Zbl 0947.03014号 汉斯·德·尼维尔；雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 19 2000 MSPASS：通过翻译和一阶分辨率进行模态推理。 Zbl 0963.68522号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 15 2000 解决方案框架中描述逻辑的可判定性问题。 Zbl 0955.03018号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 12 2000 凹槽逻辑的一种解析决策过程。 兹伯利0963.03006 雷娜特·施密特（Renate A.Schmidt）。；乌尔里希·赫斯塔特 6 2000 使用分辨率测试模态可满足性并建立模型。 Zbl 0984.03012号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 三 2000 模态逻辑和时序逻辑的范式和证明。 兹比尔0964.03011 美国Hustadt。；狄克逊，C。；施密特，R.A。；M·费希尔。 2 2000 模态定理证明器的实证分析。 Zbl 1033.03501号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 7 1999 马斯洛夫的K级课程重温。 Zbl 0937.03017号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 5 1999 模态表中的简化和回跳。 Zbl 0909.03014号 乌尔里希·赫斯塔特；雷娜特·施密特（Renate A.Schmidt）。 三 1998 将分级模式转换为谓词逻辑。 Zbl 0874.03021号 霍尔巴赫，H.J。；施密特，R。；美国Hustadt。 三 1996 在描述逻辑中引入认识运算符。 Zbl 0840.68112号 美国Hustadt。 1 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名242位作者引用 20 克莱尔·狄克逊 18 乌尔里希·赫斯塔特 11 迈克尔·费舍尔 11 雷娜特·施密特（Renate A.Schmidt）。 9 鲍里斯·莫提克 7 伊恩·霍洛克斯 7 马格达莱娜·奥尔蒂斯 6 Cláudia Nalon 5 玛丽亚·保拉（Maria Paola Bonacina） 5 西蒙库斯，曼塔斯 4 卡洛斯·阿雷塞斯 4 Cuenca Grau，贝尔纳多 4 托马斯·艾特 4 鲍里斯·科涅夫 4 卡斯滕·卢茨 4 法比奥·帕帕奇尼 4 尼古拉斯·佩尔蒂埃 4 克里斯托夫·韦登巴赫 4 迈克尔·维克托洛维奇（Michael Viktorovich） 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 迭戈·卡尔瓦内斯 三 斯特凡·德姆里。 三 保罗·盖纳 三 拉杰夫·普拉巴卡尔·戈尔 三 弗拉迪斯拉夫·里日科夫 三 乌尔里克·萨特勒 三 维奥里卡Sofrone-Stokkerman 三 蒂什科夫斯基，德米特里 三 弗兰克·沃尔特 三 张，兰 2 什奇蓬贾·艾哈迈塔吉 2 娜塔莎·亚历奇纳 2 彼得·鲍姆加特纳 2 埃琳娜·贝洛迪 2 奥拉夫·拜尔斯多夫 2 尼古拉·S·比约纳。 2 亚历山大·博洛托夫 2 埃琳娜·博托埃娃 2 卡洛斯·卡莱罗 2 玛尔塔·恰尔迪亚·梅耶 2 威廉·康雷迪 2 朱塞佩·科塔 2 莱昂纳多·德·莫拉 2 阿诺德·菲埃茨克 2 瓦伦丁·F·戈兰科。 2 丹尼尔·戈林 2 何兴兴 2 劳里·T·海拉。 2 叶夫根尼·哈萨克夫 2 马里兰州阿基尔汗 2 安蒂·库西斯托 2 伊芙琳娜·拉姆 2 阿列克谢·P·利西萨。 2 乔安·马科斯 2 约翰·克里斯托弗（John Christopher McCabe-Dansted） 2 亚沃·内诺夫 2 伊恩·普拉特·哈特曼 2 弗洛里安·拉贝 2 马克·亚历山大·雷诺兹 2 法布里齐奥·里古齐 2 里卡多·罗萨蒂 2 斯文·舍韦 2 亚历山大·斯蒂恩 2 杰夫·萨特克利夫 2 莎拉·温克勒 2 里卡多·泽斯 1 彼得罗·阿巴特 1 埃曼·阿克 1 雷纳尔德·阿弗尔德 1 雷吉斯·阿伦达 1 马里奥·阿尔维亚诺 1 亚历山德罗·阿塔尔 1 弗兰兹·巴德 1 菲利普·巴尔比亚尼 1 莫华·班纳吉 1 菲利普·巴特克 1 斯蒂芬·伊戈列维奇·巴什马科夫 1 阿卜杜勒卡德·贝登纳 1 贝内维特斯，马里奥·R·F·。 1 斯特凡诺·博尔戈 1 卡塔琳娜·布里茨 1 阿尔弗雷多·布里耶扎 1 瓦伦特·卡萨诺 1 巴勃罗·卡斯特罗。 1 塞里托、塞雷内拉 1 曹飞 1 陈树伟 1 科恩·克莱森 1 休伯特·科蒙·隆德 1 大卫·特纳·库卡拉 1 梅迪·达斯坦尼（Mehdi M.Dastani）。 1 朱塞佩·德贾科莫 1 佩雷斯·德·古兹曼，因马卡拉达 1 汉斯·德·尼维尔 1 德吉亚列夫，阿纳托利·伊万诺维奇 1 罗伯特·德莫洛姆 1 纳鸿·德肖维茨 1 丁伟平 1 尤尔根·迪克斯 1 弗朗西斯科·多尼尼。 …还有142位作者 全部的 前5名30篇连载文章中引用 24 自动推理杂志 13 人工智能 9 信息与计算 8 数学与人工智能年鉴 6 应用逻辑杂志 4 信息科学 4 理论计算机科学 4 ACM计算逻辑事务 三 计算机与系统科学杂志 三 符号计算杂志 三 系统设计中的形式化方法 三 应用非经典逻辑杂志 2 Studia Logica公司 2 纯逻辑与应用逻辑年鉴 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 信息处理信件 1 立陶宛数学杂志 1 符号逻辑杂志 1 逻辑科公报 1 国际计算机数学杂志 1 逻辑、语言与信息杂志 1 软计算 1 逻辑与代数程序设计杂志 1 计算机科学中的数学 1 泛逻辑 1 计算机科学中的逻辑方法 1 国际语义计算杂志 1 国际智能计算与控制论杂志 全部的 前5名在12个字段中引用 127 计算机科学（68至XX） 92 数理逻辑与基础（03-XX） 三 信息与通信理论、电路（94-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 历史和传记（01-XX） 1 阶、格、有序代数结构（06-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文