编辑配置文件(在新选项卡中打开) 劳拉·佐丹奴 合著者距离 作者ID: 佐丹诺·劳拉 发布日期: 劳拉·佐丹奴;佐丹奴,L。 主页: http://people.unipmn.it/laura.giordano/ 外部链接: ORCID公司·数据库许可证 已编制索引的文档: 65出版物自1992年起 1作为编辑的贡献 合著者: 19位合著者具有65份联合出版物 416合著作者 全部的 前5名合著者 1 单作者的 29 瓦伦蒂娜·格里奥齐 26 阿尔贝托·马泰利 24 尼古拉·奥利维蒂 18 吉安·卢卡(Gian Luca),披萨 11 卡米拉·施温德。 11 塞塞迪尔·杜普雷,丹尼尔 5 马蒂奥·巴多尼 三 Dov M.加巴伊。 三 玛丽亚·路易莎·萨皮诺 2 基诺维斯,瓦莱里奥 2 维维亚娜·帕蒂 1 达维德·达普利 1 阿尔贝托·佩特罗西 1 阿尔贝托,Policriti 1 吉安弗兰科·罗西 1 肯·佐藤 1 马蒂奥·斯皮奥塔 1 弗朗西丝卡·托尼 1 卢卡·维奥兰蒂 全部的 前5名系列 6 人工智能 5 逻辑与计算杂志 5 计算机基础理论 5 逻辑程序设计理论与实践 4 逻辑程序设计杂志 2 理论计算机科学 2 数学与人工智能年鉴 2 ACM计算逻辑汇刊 1 Studia Logica公司 1 IGPL杂志 1 IGPL逻辑杂志 1 应用逻辑杂志 领域 60 计算机科学(68至XX) 28 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 53出版物有被引用258中的次116文件 引用人▼ 年份▼ 理性闭包的语义表征:从命题逻辑到描述逻辑。 Zbl 1346.68186号 佐丹奴,L。;格利奥齐,V。;北奥利韦蒂。;波扎托,G.L。 25 2015 用于推理典型性的非单调描述逻辑。 Zbl 1270.68281号 佐丹奴,L。;格利奥齐,V。;北奥利韦蒂。;波扎托,G.L。 23 2013 优先描述逻辑。 兹比尔1137.68590 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 17 2007 \({\mathcal{ALC}}+T\):描述逻辑的优先扩展。 兹比尔1207.68369 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 14 2009 非单调推理的KLM逻辑的解析表计算。 Zbl 1351.03004号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 13 2009 优先描述逻辑中典型性的推理。 Zbl 1178.68561号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 9 2008 模态动作逻辑中的分支和因果关系。 Zbl 0966.68196号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 9 2000 非单调推理的最小模型语义。 Zbl 1361.68228号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 8 2012 累计默认逻辑。 Zbl 0803.68126号 劳拉·佐丹奴;阿尔贝托·马泰利 7 1994 弱AGM假设和强Ramsey测试:逻辑形式化。 Zbl 1132.03320号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 7 2005 在概念软件多参考轻量级DL中进行推理的ASP方法。 Zbl 1468.68212号 劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 6 2020 多模态逻辑的表演算和一些(不)可判定性结果。 Zbl 0901.03020号 马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 6 1998 基于偏好的条件逻辑表演算、PCL及其扩展。 Zbl 1351.03019号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德 6 2009 行为和因果关系的条件逻辑。 Zbl 1085.68160号 劳拉·佐丹奴;卡米拉·施温德 5 2004 通过时序动作逻辑中的模型检查来验证通信代理。 Zbl 1111.68677号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 5 2004 逻辑编程的模态扩展:模块性、信念和假设推理。 Zbl 0916.68022号 马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 5 1998 深度神经网络模型的加权可解知识库和多参考语义。 Zbl 07437044号 劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 4 2021 动态线性时间时序逻辑中的动作推理。 Zbl 0979.03015号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 4 2001 本体论中异常的推理:多引用语义的近似。 Zbl 07170135号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 4 2019 KLM优先逻辑P的非单调推广。 Zbl 1307.03018号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 4 2010 (mathcal{SROEL})中的可失败推理:从理性蕴涵到理性闭包。 Zbl 1404.68152号 劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 4 2018 KLMLean 2.0:非单调推理的KLM逻辑的定理证明器。 Zbl 1132.68679号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 4 2007 表达描述逻辑的合理闭包:\(\mathcal{SHIQ}\)的情况。 Zbl 1408.68137号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 4 2018 ASP在合理扩展中实现最小牵连SROEL公司. Zbl 1379.68294号 劳拉·佐丹奴;丹尼尔·塞塞德尔·杜普雷 4 2016 多引用闭包的重建。 Zbl 1504.68210号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 4 2021 构造逻辑程序:一种模态方法。 Zbl 0812.68065号 劳拉·佐丹奴;阿尔贝托·马泰利 三 1994 动态线性时间时序逻辑的基于表的自动机构造。 Zbl 1112.03014号 劳拉·佐丹奴;阿尔贝托·马泰利 三 2006 在时序动作逻辑中指定和验证交互协议。 Zbl 1122.68122号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 三 2007 使用临时答案集推理操作。 Zbl 1267.68081号 劳拉·佐丹奴;阿尔贝托·马泰利;塞塞迪尔·杜普雷,丹尼尔 三 2013 验证代理是否符合多方协议。 Zbl 1250.68267号 劳拉·佐丹奴;阿尔贝托·马泰利 三 2009 低复杂度描述逻辑的原型推理:初步结果。 兹比尔1258.68140 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2009 KLM优先逻辑和累积逻辑的分析表。 Zbl 1143.68599号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2005 通过诱因将否定扩展为失败:三值稳定模型语义。 Zbl 0871.68051号 劳拉·佐丹奴;阿尔贝托·马泰利;玛丽亚·路易莎·萨皮诺 三 1996 用于处理假设更新和不一致性的语言。 Zbl 0853.68074号 Dov M.加巴伊。;劳拉·佐丹奴;阿尔贝托·马泰利;尼古拉·奥利维蒂 三 1996 将否定作为失败与逻辑程序中的嵌入含义相结合。 Zbl 0911.68027号 劳拉·佐丹奴;尼古拉·奥利维蒂 三 1998 逻辑编程中的条件推理。 Zbl 0957.68014号 D.加巴伊。;佐丹奴,L。;A.马泰利。;北奥利韦蒂。;萨皮诺,M.L。 2 2000 用蕴涵目标扩展Horn子句逻辑。 Zbl 0754.68109号 劳拉·佐丹奴;阿尔贝托·马泰利;吉安弗兰科·罗西 2 1992 迭代信念修正和条件逻辑。 Zbl 0997.03016号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 2 2002 信念修正的条件逻辑。 兹伯利0928.03015 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 2 1998 在模态动作逻辑中为理性代理编程。 Zbl 1077.68088号 马蒂奥·巴多尼;阿尔贝托·马泰利;维维亚娜·帕蒂;劳拉·佐丹奴 2 2004 在时序动作逻辑中指定和验证通信代理的系统。 Zbl 1274.68580号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 2 2003 用于访问控制的条件构造逻辑及其序列演算。 Zbl 1333.03104号 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2011 KLM有理逻辑R的解析表计算。 Zbl 1152.03313号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 2 2006 访问控制中的逻辑:条件方法。 Zbl 1350.03029号 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2014 在加权条件知识库的有限多值语义下,在神经网络上进行推理的ASP方法。 Zbl 07595327号 劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 1 2022 信念修正和拉姆齐测验:一个解决方案。 Zbl 1007.03013号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 1 2001 走向行动和因果关系的条件逻辑。 Zbl 1013.68215号 劳拉·佐丹奴;卡米拉·施温德 1 2002 基于偏好的条件逻辑的Tableau演算。 Zbl 1274.03021号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德 1 2003 时间动作逻辑中交互协议的专门化。 Zbl 1273.68374号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 1 2006 (mathcal{EL}^\bot)非单调扩张的表演算。 Zbl 1332.68209号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2011 通过ASP中的有界模型检查实现动作理论验证的完整性。 Zbl 1328.68127号 劳拉·佐丹奴;阿尔贝托·马泰利;丹尼尔·塞塞德尔·杜普雷 1 2015 具有典型性的模糊DL的KLM性质。 Zbl 07542368号 劳拉·佐丹奴 1 2021 自组织映射的条件、模糊和概率解释。 Zbl 07486288号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;塞塞迪尔·杜普雷,丹尼尔 1 2022 在加权条件知识库的有限多值语义下,在神经网络上进行推理的ASP方法。 Zbl 07595327号 劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 1 2022 自组织映射的条件、模糊和概率解释。 Zbl 07486288号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;塞塞迪尔·杜普雷,丹尼尔 1 2022 深度神经网络模型的加权不可行知识库和多参考语义。 Zbl 07437044号 劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 4 2021 多引用闭包的重建。 Zbl 1504.68210号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 4 2021 具有典型性的模糊DL的KLM性质。 Zbl 07542368号 劳拉·佐丹奴 1 2021 在概念软件多参考轻量级DL中进行推理的ASP方法。 Zbl 1468.68212号 劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 6 2020 本体论中异常的推理:多引用语义的近似。 Zbl 07170135号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 4 2019 (mathcal{SROEL})中的可失败推理:从理性蕴涵到理性闭包。 Zbl 1404.68152号 劳拉·佐丹奴;塞塞迪尔·杜普雷,丹尼尔 4 2018 表达描述逻辑的理性闭包:(\mathcal{SHIQ}\)的情况。 Zbl 1408.68137号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 4 2018 ASP在合理扩展中实现最小牵连SROEL公司. Zbl 1379.68294号 劳拉·佐丹奴;丹尼尔·塞塞德尔·杜普雷 4 2016 理性闭包的语义表征:从命题逻辑到描述逻辑。 Zbl 1346.68186号 佐丹奴,L。;格利奥齐,V。;北奥利韦蒂。;波扎托,G.L。 25 2015 通过ASP中的有界模型检查实现动作理论验证的完整性。 Zbl 1328.68127号 劳拉·佐丹奴;阿尔贝托·马泰利;丹尼尔·塞塞德尔·杜普雷 1 2015 访问控制中的逻辑:条件方法。 兹比尔1350.03029 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2014 用于推理典型性的非单调描述逻辑。 Zbl 1270.68281号 佐丹奴,L。;格利奥齐,V。;北奥利韦蒂。;波扎托,G.L。 23 2013 使用临时答案集推理操作。 Zbl 1267.68081号 劳拉·佐丹奴;阿尔贝托·马泰利;塞塞迪尔·杜普雷,丹尼尔 三 2013 非单调推理的最小模型语义。 Zbl 1361.68228号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 8 2012 用于访问控制的条件构造逻辑及其序列演算。 Zbl 1333.03104号 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2011 (mathcal{EL}^\bot)非单调扩张的表演算。 Zbl 1332.68209号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2011 KLM优先逻辑P的非单调推广。 Zbl 1307.03018号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 4 2010 \({\mathcal{ALC}}+T\):描述逻辑的优先扩展。 Zbl 1207.68369号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 14 2009 非单调推理的KLM逻辑的解析表计算。 Zbl 1351.03004号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 13 2009 基于偏好的条件逻辑表演算、PCL及其扩展。 Zbl 1351.03019号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德 6 2009 验证代理是否符合多方协议。 Zbl 1250.68267号 劳拉·佐丹奴;阿尔贝托·马泰利 三 2009 低复杂度描述逻辑的原型推理:初步结果。 Zbl 1258.68140号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2009 优先描述逻辑中典型性的推理。 Zbl 1178.68561号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 9 2008 优先描述逻辑。 兹比尔1137.68590 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 17 2007 KLMLean 2.0:非单调推理的KLM逻辑的定理证明器。 Zbl 1132.68679号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 4 2007 在时序动作逻辑中指定和验证交互协议。 Zbl 1122.68122号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 三 2007 动态线性时间时序逻辑的基于表的自动机构造。 Zbl 1112.03014号 劳拉·佐丹奴;阿尔贝托·马泰利 三 2006 KLM有理逻辑R的解析表计算。 Zbl 1152.03313号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 2 2006 时间动作逻辑中交互协议的专门化。 Zbl 1273.68374号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 1 2006 弱AGM假设和强Ramsey测试:逻辑形式化。 兹比尔1132.03320 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 7 2005 KLM优先逻辑和累积逻辑的分析表。 Zbl 1143.68599号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2005 行为和因果关系的条件逻辑。 Zbl 1085.68160号 劳拉·佐丹奴;卡米拉·施温德 5 2004 通过时序动作逻辑中的模型检查来验证通信代理。 Zbl 1111.68677号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 5 2004 在模态动作逻辑中为理性代理编程。 Zbl 1077.68088号 巴尔多尼,马特奥;阿尔贝托·马泰利;维维亚娜·帕蒂;劳拉·佐丹奴 2 2004 在时序动作逻辑中指定和验证通信代理的系统。 Zbl 1274.68580号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 2 2003 基于偏好的条件逻辑表计算。 Zbl 1274.03021号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德 1 2003 迭代信念修正和条件逻辑。 Zbl 0997.03016号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 2 2002 走向行动和因果关系的条件逻辑。 Zbl 1013.68215号 劳拉·佐丹奴;卡米拉·施温德 1 2002 动态线性时间时序逻辑中的动作推理。 Zbl 0979.03015号 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 4 2001 信念修正和拉姆齐测验:一个解决方案。 Zbl 1007.03013号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 1 2001 模态动作逻辑中的分支和因果关系。 兹伯利0966.68196 劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 9 2000 逻辑编程中的条件推理。 Zbl 0957.68014号 D.加巴伊。;佐丹奴,L。;A.马泰利。;北奥利韦蒂。;萨皮诺,M.L。 2 2000 多模态逻辑的表演算和一些(不)可判定性结果。 Zbl 0901.03020号 马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 6 1998 逻辑编程的模式扩展:模块化、信念和假设推理。 Zbl 0916.68022号 马蒂奥·巴多尼;劳拉·佐丹奴;阿尔贝托·马泰利 5 1998 将否定作为失败与逻辑程序中的嵌入含义相结合。 Zbl 0911.68027号 劳拉·佐丹奴;尼古拉·奥利维蒂 三 1998 信念修正的条件逻辑。 Zbl 0928.03015号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 2 1998 通过诱因将否定扩展为失败:三值稳定模型语义。 兹比尔0871.68051 劳拉·佐丹奴;阿尔贝托·马泰利;玛丽亚·路易莎·萨皮诺 三 1996 用于处理假设更新和不一致性的语言。 Zbl 0853.68074号 Dov M.加巴伊。;劳拉·佐丹奴;阿尔贝托·马泰利;尼古拉·奥利维蒂 三 1996 累计默认逻辑。 Zbl 0803.68126号 劳拉·佐丹奴;阿尔贝托·马泰利 7 1994 构造逻辑程序:一种模态方法。 Zbl 0812.68065号 劳拉·佐丹奴;阿尔贝托·马泰利 三 1994 用蕴涵目标扩展Horn子句逻辑。 Zbl 0754.68109号 劳拉·佐丹奴;阿尔贝托·马泰利;吉安弗兰科·罗西 2 1992 所有引用的出版物 前5名被引用出版物 全部的 前5名158位作者引用 21 劳拉·佐丹奴 12 尼古拉·奥利维蒂 11 伊万·约瑟·瓦尔津扎克 9 阿尔贝托·马泰利 9 吉安·卢卡(Gian Luca),披萨 7 塞塞迪尔·杜普雷,丹尼尔 6 卡塔琳娜·布里茨 6 瓦伦蒂娜·格里奥齐 5 皮耶罗·安德里亚·博纳蒂 5 托马斯·安德烈亚斯·梅耶 4 托马斯·艾特 三 雷吉斯·阿伦达 三 洛丽斯·波萨托 三 乔瓦尼·卡西尼 三 比约恩·莱尔曼 三 保罗·利伯拉托雷 三 阮林安 三 路易吉·索罗 三 托尔斯滕·绍布(Torsten H.Schaub)。 2 阿曼,博格丹 2 马蒂奥·巴多尼 2 克里斯托夫·贝尔 2 理查德·F·布斯。 2 格哈德·布鲁卡 2 阿纳塞·查菲克 2 Fahima Cheikh-Alili 2 加布里埃尔·乔巴努 2 让-弗朗索瓦·康多塔 2 Dov M.加巴伊。 2 康斯坦蒂诺斯·乔治亚托斯 2 玛丽莎·纳瓦罗 2 卡米拉·施温德。 2 卢西亚诺·塞拉菲尼 2 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 1 吉安尼·阿马蒂 1 吉安卢卡·阿马托 1 克里斯特尔·拜尔 1 克里斯蒂娜·巴罗利奥 1 约阿希姆·比斯库普 1 托拜厄斯·布莱希曼 1 盖,格里戈里 1 劳拉·博泽利 1 科西莫·佩里尼·布罗吉 1 斯特凡·布吕宁 1 弗朗索瓦·布里 1 佩德罗·卡巴拉尔 1 约翰·坎特威尔。 1 路易吉亚·卡卢奇·埃利罗(Luigia Carlucci Aiello) 1 哈利勒·查利塔 1 Chang、Liang 1 陈金生 1 Ivano A.Ciardelli。 1 马丁·库珀。 1 克里斯塔尼·马特奥 1 阿图尔·达维拉·加塞斯。 1 汉斯·德·尼维尔 1 詹姆斯·德尔格兰德。 1 Stéphane P.德姆里。 1 卡亚·德乌瑟 1 尤尔根·迪克斯 1 马可·费拉 1 托比亚斯·福尔克 1 迈克尔·芬克 1 迈克尔·费希尔 1 Jose Gaintzarain 1 Gärdenfors,彼得 1 玛丽安娜·吉兰多 1 路易斯·戈多 1 拉杰夫·普拉巴卡尔·戈尔 1 圭多州长 1 朱塞佩·格雷科 1 顾天龙 1 乔纳斯·菲利普·哈尔迪曼 1 约翰内斯·海德玛 1 蒙特塞拉特赫莫 1 安德烈亚斯·赫齐格 1 伊恩·霍洛克斯 1 杰西·休斯 1 汤米·詹胡宁 1 米罗斯拉夫·扬切克 1 姜俊丽 1 奥祖尔·卡法尔 1 加布里埃尔·克恩·伊斯伯纳 1 拉斐尔·基塞尔 1 约阿希姆·克莱因 1 克吕佩尔霍尔茨,萨沙 1 马蒂亚斯·克诺尔 1 萨瓦斯·科努尔 1 科斯塔斯·库特拉斯。 1 彼得·克罗斯 1 吉诺里·库洛泽 1 史蒂文·库奇 1 拉布夏涅,威廉·阿德里安 1 路易斯·兰姆。 1 克里斯托弗·勒图尔 1 邱恩·荣·廖 1 林方珍 1 托马斯·林奇 1 詹姆斯·利普顿(James B.Lipton)。 1 刘、胡 …和另外58位作者 全部的 前5名21篇连载文章中引用 20 人工智能 9 数学与人工智能年鉴 9 逻辑程序设计理论与实践 7 应用非经典逻辑杂志 5 理论计算机科学 5 逻辑、语言与信息杂志 4 哲学逻辑杂志 三 国际近似推理杂志 三 符号逻辑述评 2 Studia Logica公司 2 信息与计算 2 自动推理杂志 2 逻辑与代数程序设计杂志 1 信息科学 1 合成 1 计算机科学与技术杂志 1 计算机基础理论 1 应用逻辑杂志 1 年鉴大学玛丽亚·居里-斯科·奥杜斯卡。第A1节。Informatica公司 1 泛逻辑 1 计算机科学前沿 在5个字段中引用 98 计算机科学(68至XX) 57 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文