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