编辑配置文件（在新选项卡中打开） 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 合著者距离 作者ID： 萨拉斯·安德烈吉 发布日期： 斯扎·阿斯（Szałas）、安德烈吉（Andrzej）;安德烈·萨拉斯 外部链接： MGP公司 已编制索引的文档： 77出版物自1981年以来，包括2本书 3作为编辑的贡献 合著者： 29位合著者具有60联合出版物 607合著作者 全部的 前5名合著者 20 单作者的 24 帕特里克·多尔蒂 11 维托尔德·乌卡斯泽维奇 9 巴巴拉·杜宁·科普里茨 8 阮林安 4 加贝，多夫·M。 4 马ł斯基，简 三 维托里亚，艾达 2 比亚·埃克、乌卡斯 2 弗朗西斯科·卢卡·德·安吉利斯 2 乔瓦纳·迪·马尔佐·塞卢根多 2 莱泽克·霍伦德斯基 2 Jarosław卡奇尼亚兹 2 马丁·马格努森 2 安德烈亚斯·农纳加特 2 或者艾瓦·奥斯卡。 2 乌韦·彼得曼 1 莱昂纳德·博尔克 1 米查·格拉博夫斯基 1 史蒂夫·科特斯 1 乔纳斯·克瓦伦斯特罗姆 1 米查拉克，托马斯·P。 1 汉斯·尤根·奥巴赫 1 沃伊切赫·彭泽克 1 阿丽娜·波娃 1 雷娜特·施密特（Renate A.Schmidt）。 1 安德烈·斯科伦 1 雅塞克·斯罗卡 1 萨拉斯，Alicja S。 1 杰西·蒂什基维茨（Jerzy Tyszkiewicz） 全部的 前5名系列 7 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 7 计算机基础理论 6 应用非经典逻辑杂志 4 信息处理信函 4 Studia Logica公司 4 理论计算机科学 2 国际近似推理杂志 2 逻辑与计算杂志 2 模糊与软计算研究 2 应用逻辑学杂志-IfCoLog逻辑学及其应用杂志 1 人工智能 1 信息科学 1 自动推理杂志 1 数学与人工智能年鉴 1 IGPL逻辑杂志 1 多值逻辑与软计算杂志 1 计算机科学课堂讲稿 1 逻辑研究（伦敦） 全部的 前5名领域 67 计算机科学（68至XX） 42 数学逻辑和基础（03-XX） 三 一般性和全局性主题；集合（00-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 概率论与随机过程（60-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 55出版物有被引用268中的次146文件 引用人▼ 年份▼ 关于一阶时序逻辑中的语义结果关系。 Zbl 0622.03012号 安德烈·萨拉斯 27 1986 二阶量词消除。基础、计算方面和应用。 Zbl 1165.03011号 加贝，多夫·M。;雷娜特·施密特（Renate A.Schmidt）。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 26 2008 重新审视计算范围：一种简化算法。 Zbl 0939.03033号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 26 1997 具有until的一阶时序逻辑的不完全性。 兹比尔0677.03013 安德烈·萨拉斯;莱泽克·霍伦德斯基 18 1988 模态逻辑与经典逻辑的对应：自动化方法。 Zbl 0802.03009号 安德烈·萨拉斯 17 1993 线性时间的一阶时序逻辑的完整公理化表征。 Zbl 0645.03020号 安德烈·萨拉斯 14 1987 知识表示技术。粗糙集方法。 Zbl 1131.68107号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;安德烈·斯科伦;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 13 2006 二阶量词消除的不动点方法及其在对应理论中的应用。 Zbl 0923.03049号 安德烈亚斯·农纳加特;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 11 1999 走向近似本体的框架。 Zbl 1061.68154号 帕特里克·多尔蒂;米查·格拉博夫斯基;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 7 2003 用亚一致粗糙集进行建模和推理。 Zbl 1186.68468号 维托里亚，艾达;马ł斯基，简;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 6 2009 代理人可能会怎么想。 Zbl 1272.68382号 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 6 2013 带逆向的正则语法逻辑的ExpTime表决策过程。 Zbl 1244.03055号 阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 5 2011 关于近似和相似之间的对应。 Zbl 1103.68841号 帕特里克·多尔蒂;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 5 2004 基于逻辑的粗化。 兹比尔1308.68109 阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 5 2013 高阶上下文中的二阶量词消除及其在条件句语义分析中的应用。 Zbl 1127.03024号 加贝，多夫·M。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 2007 检查PDL中ABox w.r.t.全局假设的一致性。 Zbl 1231.03031号 林安阮;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 2010 4QL是一种无限制否定的查询语言，它的逻辑基础和复杂性。 兹比尔1242.68091 马ł斯基，简;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 2011 稳定性、支持性、最小化和Kleene答案集程序。 Zbl 1432.68457号 帕特里克·多尔蒂;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 2015 有限因果结构的命题描述。 兹比尔0658.68032 莱泽克·霍伦德斯基;安德烈·萨拉斯 4 1988 一阶时序逻辑的算术公理化。 Zbl 0642.03018号 安德烈·萨拉斯 4 1987 消除谓词量词。 Zbl 0951.03028号 安德烈亚斯·农纳加特;汉斯·尤根·奥巴赫;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 1999 有限图上的注释理论。 Zbl 1185.03057号 加贝，多夫·M。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 三 2009 一般领域界定及其有效约简。 Zbl 0935.68066号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 三 1998 时间和逻辑：一种计算方法。 Zbl 0849.03011号 三 1995 具有四值粗糙集的次一致逻辑程序。 Zbl 1185.68713号 马ł斯基，简;斯扎·阿斯（Szałas）、安德烈吉（Andrzej）;维托里亚，艾达 2 2008 走向生化途径的逻辑分析。 Zbl 1111.68671号 帕特里克·多尔蒂;史蒂夫·科特斯;马丁·马格努森;安德烈·萨拉斯 2 2004 三值逻辑和基于相似性的近似推理之间的对应框架。 Zbl 1108.68113号 帕特里克·多尔蒂;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2007 使用答案集程序进行粗糙集推理。 Zbl 1487.68228号 帕特里克·多尔蒂;安德烈·萨拉斯 2 2021 带有规则包含公理的Converse-PDL：MAS逻辑框架。 Zbl 1242.03030号 巴巴拉·杜宁·科普里茨;阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2011 公差空间和近似表示结构。 兹比尔1274.6#8482 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2003 近似数据库：近似推理的支持工具。 Zbl 1184.68215号 帕特里克·多尔蒂;马丁·马格努森;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2006 正则语法逻辑与逆的表演算。 Zbl 1250.03020号 阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2009 描述逻辑中的二阶推理。 Zbl 1185.68680号 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2006 外切半霍恩公式的简化结果。 Zbl 0867.03002号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 1996 演绎数据库上的元查询。 Zbl 0946.68034号 帕特里克·多尔蒂;Jarosław卡奇尼亚兹;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 1999 关于程序逻辑中严格的算术完备性。 Zbl 0725.03012号 安杰伊·萨拉斯 2 1991 关系数据库中完整性约束的静态验证。 Zbl 1009.68037号 Jarosław卡奇尼亚兹;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2001 使用量词消除的关系数据库的声明性PTIME查询。 Zbl 0945.68049号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 1999 具有递归函数的算法逻辑。 Zbl 0494.68029号 安德烈·萨拉斯 1 1981 一般域的界定及其一阶约简。 Zbl 1419.68109号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 1996 表aux带有全局缓存，用于检查描述逻辑中知识库的可满足性。 Zbl 1309.68180号 阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2010 接近BGI系统。 Zbl 1151.68651号 巴巴拉·杜宁·科普里茨;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2007 粗集类近似推理的四值逻辑。 Zbl 1186.68465号 马ł斯基，简;斯扎·阿斯（Szałas）、安德烈吉（Andrzej）;维托里亚，艾达 1 2007 初等集合论中的量词消去。 Zbl 1185.03063号 或者鄂尔多斯卡;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2006 关于等式不动点理论及其应用。 Zbl 1134.03316号 斯扎·阿斯（Szałas）、安德烈吉（Andrzej）;杰西·蒂什基维茨（Jerzy Tyszkiewicz） 1 2006 使用串行命题动态逻辑的Horn片段进行可追踪的近似知识融合。 Zbl 1201.68113号 巴巴拉·杜宁·科普里茨;阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2010 面向抽象数据类型的时态方法。 Zbl 0632.68023号 安德烈·萨拉斯 1 1988 关于模态证明规则到经典逻辑公式的自动翻译。 Zbl 0809.03009 安德烈·萨拉斯 1 1994 使用局部封闭世界假设进行有效推理。 Zbl 0973.68217号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2000 模态上下文中的二阶量词消除。 Zbl 1013.03030号 安德烈·萨拉斯 1 2002 论一阶不动点逻辑中的自然演绎。 Zbl 0842.03024号 安杰伊·萨拉斯 1 1996 1996年计算机科学数学基础。1996年9月2日至6日，第21届国际研讨会，MFCS’96，波兰克拉科夫。诉讼程序。 Zbl 0852.00041号 1 1996 具有分级真值的异构近似推理。 Zbl 1489.68281号 弗朗西斯科·卢卡·德·安吉利斯;乔瓦纳·迪·马尔佐·塞卢根多;巴巴拉·杜宁·科普里茨;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2017 基于规则的信念结构推理。 Zbl 1461.68220号 比亚·埃克、乌卡斯;巴巴拉·杜宁·科普里茨;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2017 具有分级真值的超一致规则推理。 Zbl 1512.68317号 弗朗西斯科·卢卡·德·安吉利斯;乔瓦纳·迪·马尔佐·塞卢根多;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2018 使用答案集程序进行粗糙集推理。 Zbl 1487.68228号 帕特里克·多尔蒂;安德烈·萨拉斯 2 2021 具有分级真值的超一致规则推理。 Zbl 1512.68317号 弗朗西斯科·卢卡·德·安吉利斯;乔瓦纳·迪·马尔佐·塞卢根多;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2018 具有分级真值的异构近似推理。 Zbl 1489.68281号 弗朗西斯科·卢卡·德·安吉利斯;乔瓦纳·迪·马尔佐·塞卢根多;芭芭拉·杜宁·克普利茨;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2017 基于规则的信念结构推理。 Zbl 1461.68220号 比亚·埃克、乌卡斯;巴巴拉·杜宁·科普里茨;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2017 稳定性、支持性、最小性和Kleene答案集程序。 Zbl 1432.68457号 帕特里克·多尔蒂;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 2015 代理人可能会怎么想。 Zbl 1272.68382号 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 6 2013 基于逻辑的粗化。 兹比尔1308.68109 阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 5 2013 带逆向的正则语法逻辑的ExpTime表决策过程。 Zbl 1244.03055号 阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 5 2011 4QL是一种无限制否定的查询语言，它的逻辑基础和复杂性。 Zbl 1242.68091号 马ł斯基，简;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 2011 带有规则包含公理的Converse-PDL：MAS逻辑框架。 Zbl 1242.03030号 巴巴拉·杜宁·科普里茨;阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2011 检查PDL中ABox w.r.t.全局假设的一致性。 Zbl 1231.03031号 林安阮;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 2010 表aux带有全局缓存，用于检查描述逻辑中知识库的可满足性。 Zbl 1309.68180号 阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2010 使用串行命题动态逻辑的Horn片段进行可追踪的近似知识融合。 Zbl 1201.68113号 巴巴拉·杜宁·科普里茨;阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2010 用亚一致粗糙集进行建模和推理。 Zbl 1186.68468号 维托里亚，艾达;马ł斯基，简;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 6 2009 有限图上的注释理论。 Zbl 1185.03057号 加贝，多夫·M。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 三 2009 正则语法逻辑与逆的表演算。 Zbl 1250.03020号 阮林安;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2009 二阶量词消除。基础、计算方面和应用。 Zbl 1165.03011号 加贝，多夫·M。;雷娜特·施密特（Renate A.Schmidt）。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 26 2008 具有四值粗糙集的次一致逻辑程序。 Zbl 1185.68713号 马ł斯基，简;斯扎·阿斯（Szałas）、安德烈吉（Andrzej）;维托里亚，艾达 2 2008 高阶上下文中的二阶量词消除及其在条件句语义分析中的应用。 Zbl 1127.03024号 加贝，多夫·M。;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 2007 三值逻辑和基于相似性的近似推理之间的对应框架。 Zbl 1108.68113号 帕特里克·多尔蒂;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2007 接近BGI系统。 Zbl 1151.68651号 巴巴拉·杜宁·科普里茨;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2007 一种类似粗糙集的近似推理的四值逻辑。 Zbl 1186.68465号 马ł斯基，简;斯扎·阿斯（Szałas）、安德烈吉（Andrzej）;维托里亚，艾达 1 2007 知识表示技术。一种粗略的方法。 Zbl 1131.68107号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;安德烈·斯科伦;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 13 2006 近似数据库：近似推理的支持工具。 Zbl 1184.68215号 帕特里克·多尔蒂;马丁·马格努森;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2006 描述逻辑中的二阶推理。 Zbl 1185.68680号 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2006 初等集合论中的量词消去。 Zbl 1185.03063号 或者鄂尔多斯卡;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2006 关于等式不动点理论及其应用。 Zbl 1134.03316号 斯扎·阿斯（Szałas）、安德烈吉（Andrzej）;杰西·蒂什基维茨（Jerzy Tyszkiewicz） 1 2006 关于近似和相似之间的对应。 Zbl 1103.68841号 帕特里克·多尔蒂;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 5 2004 走向生化途径的逻辑分析。 Zbl 1111.68671号 帕特里克·多尔蒂;史蒂夫·科特斯;马丁·马格努森;安德烈·萨拉斯 2 2004 走向近似本体的框架。 Zbl 1061.68154号 帕特里克·多尔蒂;米查·格拉博夫斯基;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 7 2003 公差空间和近似表示结构。 Zbl 1274.68482号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2003 情态语境中的二阶量词消除。 Zbl 1013.03030号 安德烈·萨拉斯 1 2002 关系数据库中完整性约束的静态验证。 兹比尔1009.68037 Jarosław卡奇尼亚兹;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 2001 使用局部封闭世界假设进行有效推理。 Zbl 0973.68217号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 2000 二阶量词消除的不动点方法及其在对应理论中的应用。 Zbl 0923.03049号 安德里亚斯·农能加特;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 11 1999 消除谓词量词。 Zbl 0951.03028号 安德烈亚斯·农纳加特;汉斯·尤根·奥巴赫;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 4 1999 演绎数据库的元查询。 兹比尔0946.68034 帕特里克·多尔蒂;Jarosław Kachniarz;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 1999 使用量词消除的关系数据库的声明性PTIME查询。 Zbl 0945.68049号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 1999 一般领域界定及其有效约简。 兹比尔0935.68066 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 三 1998 重新审视计算范围：一种简化算法。 Zbl 0939.03033号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 26 1997 外切半霍恩公式的简化结果。 Zbl 0867.03002号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 2 1996 一般域的界定及其一阶约简。 Zbl 1419.68109号 帕特里克·多尔蒂;维托尔德·乌卡斯泽维奇;斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 1 1996 论一阶不动点逻辑中的自然演绎。 Zbl 0842.03024号 安德烈·萨拉斯 1 1996 1996年计算机科学数学基础。1996年9月2日至6日，第21届国际研讨会，MFCS’96，波兰克拉科夫。诉讼程序。 Zbl 0852.00041号 1 1996 时间和逻辑：一种计算方法。 Zbl 0849.03011号 三 1995 关于将模态证明规则自动转换为经典逻辑公式的问题。 Zbl 0809.03009 安德烈·萨拉斯 1 1994 模态逻辑与经典逻辑的对应：自动化方法。 Zbl 0802.03009号 安德烈·萨拉斯 17 1993 关于程序逻辑中严格的算术完备性。 Zbl 0725.03012号 安德烈·萨拉斯 2 1991 具有until的一阶时序逻辑的不完全性。 Zbl 0677.03013号 安德烈·萨拉斯;莱泽克·霍伦德斯基 18 1988 有限因果结构的命题描述。 Zbl 0658.68032号 莱泽克·霍伦德斯基;安德烈·萨拉斯 4 1988 走向抽象数据类型的时态方法。 Zbl 0632.68023号 安德烈·萨拉斯 1 1988 线性时间的一阶时序逻辑的完整公理化表征。 Zbl 0645.03020号 安杰伊·萨拉斯 14 1987 一阶时序逻辑的算术公理化。 Zbl 0642.03018号 安德烈·萨拉斯 4 1987 关于一阶时序逻辑中的语义结果关系。 兹比尔062203012 安德烈·萨拉斯 27 1986 具有递归函数的算法逻辑。 Zbl 0494.68029号 安德烈·萨拉斯 1 1981 所有引用出版物 前5名被引用出版物 全部的 前5名190位作者引用 31 斯扎·阿斯（Szałas）、安德烈吉（Andrzej） 12 阮林安 7 加贝，多夫·M。 6 帕特里克·多尔蒂 6 巴巴拉·杜宁·科普里茨 6 普利乌什凯维奇乌斯，里贾曼塔斯 6 雷娜特·施密特（Renate A.Schmidt）。 5 安德烈·斯科伦 4 威廉·康雷迪 4 克莱尔·狄克逊 4 乌尔里希·赫斯塔特 三 费尔南多·博比洛 三 路德威克·查贾 三 伊恩·马丁·霍德金森 三 姜云成 三 诺里希罗·卡米德 三 翁贝托·斯特拉契亚 三 唐素琴 三 王菊 2 奇塔·R·巴拉尔。 2 斯特凡诺·巴拉泰拉 2 Bezhanishvili，尼克 2 比亚·埃克、乌卡斯 2 查克拉博蒂，米希尔·库马尔 2 迈克尔·费希尔 2 里卡多·贡萨阿尔维斯 2 瓦伦丁·F·戈兰科。 2 马蒂亚斯·克诺尔 2 鲍里斯·科涅夫 2 约昂·莱特 2 林方珍 2 马ł斯基，简 2 Cláudia Nalon 2 汉斯·尤根·奥巴赫 2 穆罕默德·阿里·奥根 2 法比奥·帕帕奇尼 2 兹吉斯·瓦·帕拉克（Zdzisław Pawlak） 2 Jean-François拉斯金 2 皮埃尔·伊夫·肖本斯 2 迪米特·瓦卡雷洛夫 2 约翰·范·本特姆。 2 克里斯托弗·沃恩哈德 2 弗兰克·沃尔特 2 迈克尔·维克托洛维奇（Michael Viktorovich） 1 安东尼斯·阿奇利奥斯 1 罗马斯·阿隆德里斯 1 奥费尔·阿列利 1 亚历山大·阿提基斯 1 马提亚斯·巴兹 1 理查德·贝格尔 1 皮耶罗·安德里亚·博纳蒂 1 埃琳娜·博托埃娃 1 克里斯·布林克 1 克里斯托夫·布尔佐斯卡 1 西尔维亚·卡莱加里 1 陈攀峰 1 陈，尹 1 大卫·丘奇 1 杰拉尔多·科斯塔 1 弗朗西斯科·卢卡·德·安吉利斯 1 安纳托利·伊万诺维奇·德吉亚列夫 1 邓佩敏 1 乔瓦纳·迪·马尔佐·塞卢根多 1 阿里·雷扎伊·迪夫鲁迪 1 杜洪伟 1 杜伟昌 1 段振华 1 卡洛斯·杜阿尔特（Carlos H.C.Duarte）。 1 伊沃·杜恩施 1 索玛·杜塔 1 托马斯·艾特 1 方良达 1 冯仁彦 1 阿尔弗雷多·加巴登 1 Jose Gaintzarain 1 威廉·伊恩·加斯奇 1 迪米特·乔治耶夫。 1 西尔维奥·吉拉尔迪 1 恩里科·金西格里亚 1 安娜·戈莫林斯卡 1 龚洁 1 拉杰夫·普拉巴卡尔·戈尔 1 格奥尔格·戈特洛布 1 Grzymala Busse，Jerzy W。 1 克里斯托弗·汉普森 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 蒙特塞拉特赫莫 1 黄锡兰焦 1 莱泽克·霍伦德斯基 1 阿德里安·胡森 1 冈萨洛·伊玛兹（Gonzalo E.Imaz）。 1 沃伊切赫，詹罗加 1 汤米·詹胡宁 1 马克·卡明斯基 1 G.Neelakantan Kartha 1 苏拉布·O·卡西达什维利。 1 比塔·科尼科夫斯卡 1 康斯坦丁·科洛文 1 乔治·库蒂斯 1 弗雷德·克罗格 …和90多位作者 全部的 前5名34篇连载文章中引用 14 理论计算机科学 11 应用非经典逻辑杂志 10 Studia Logica公司 9 人工智能 9 信息科学 7 自动推理杂志 5 国际近似推理杂志 4 信息处理信函 4 数学与人工智能年鉴 三 模糊集与系统 三 纯逻辑与应用逻辑年鉴 三 应用逻辑杂志 2 立陶宛数学杂志 2 信息与计算 2 数学科学杂志（纽约） 2 计算机基础理论 2 ACM计算逻辑事务 1 计算机与数学及其应用 1 信息和控制 1 符号逻辑杂志 1 符号计算杂志 1 计算机科学与技术杂志 1 Godishnik na Sofiĭskiya大学“Sv.Kliment-Okhridski”。Fakultet po Matematika i Informatika公司 1 国际计算机数学杂志 1 数学逻辑档案 1 控制论与系统分析 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 数学逻辑季刊（MLQ） 1 符号逻辑公报 1 逻辑与代数程序设计杂志 1 多值逻辑与软计算杂志 1 程序设计中的逻辑和代数方法杂志 1 Logicheskie Issledovaniya逻辑 全部的 前5名在9个字段中引用 107 计算机科学（68至XX） 92 数学逻辑和基础（03-XX） 三 历史和传记（01-XX） 1 一般性和全局性主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文