编辑配置文件(在新选项卡中打开) 瓦伦蒂娜·格里奥齐 合著者距离 作者ID: 格利奥齐·瓦伦蒂娜 发布日期: 瓦伦蒂娜·格里奥齐;格利奥齐,V。 已编制索引的文档: 29出版物自1998年以来 1名编辑贡献 合著者: 10位合著者具有29联合出版物 95位合作作者 全部的 前5名合著者 1 单作者的 29 劳拉·佐丹奴 20 尼古拉·奥利维蒂 18 吉安·卢卡(Gian Luca),披萨 2 基诺维斯,瓦莱里奥 2 卡米拉·施温德。 2 丹尼尔·杜普雷 1 达维德·达普利 1 阿尔贝托·马泰利 1 阿尔贝托·佩特罗西 1 卢卡·维奥兰蒂 系列 4 人工智能 4 计算机基础理论 2 逻辑与计算杂志 2 ACM计算逻辑事务 1 Studia Logica公司 领域 24 计算机科学(68至XX) 14 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 26出版物有被引用166中的次61文件 引用人▼ 年份▼ 有理闭包的语义表征:从命题逻辑到描述逻辑。 兹比尔1346.68186 佐丹奴,L。;格利奥齐,V。;奥利维蒂,N。;波扎托,G.L。 25 2015 用于推理典型性的非单调描述逻辑。 Zbl 1270.68281号 佐丹奴,L。;格利奥齐,V。;奥利维蒂,N。;波扎托,G.L。 23 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 1178.68561号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 9 2008 非单调推理的最小模型语义。 Zbl 1361.68228号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 8 2012 弱AGM假设和强Ramsey测试:逻辑形式化。 Zbl 1132.03320号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 7 2005 基于偏好的条件逻辑表演算、PCL及其扩展。 Zbl 1351.03019号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德 6 2009 表达描述逻辑的理性闭包:(\mathcal{SHIQ}\)的情况。 Zbl 1408.68137号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 4 2018 KLMLean 2.0:非单调推理的KLM逻辑的定理证明器。 Zbl 1132.68679号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 4 2007 KLM优先逻辑P的非单调推广。 Zbl 1307.03018号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 4 2010 对DL的理性闭包中的多个方面进行推理。 Zbl 1430.68306号 瓦伦蒂娜·格里奥齐 4 2016 本体论中关于异常的推理:多参考语义的近似。 Zbl 07170135号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 4 2019 多引用闭包的重建。 Zbl 1504.68210号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 4 2021 低复杂度描述逻辑的原型推理:初步结果。 Zbl 1258.68140号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2009 KLM优先逻辑和累积逻辑的分析表。 Zbl 1143.68599号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2005 迭代信念修正和条件逻辑。 兹伯利0997.03016 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 2 2002 KLM有理逻辑R的解析表计算。 Zbl 1152.03313号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 2 2006 访问控制中的逻辑:条件方法。 Zbl 1350.03029号 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2014 信念修正的条件逻辑。 Zbl 0928.03015号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 2 1998 用于访问控制的条件构造逻辑及其序列演算。 兹比尔1333.03104 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2011 基于偏好的条件逻辑表计算。 Zbl 1274.03021号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德 1 2003 信念修正和拉姆齐测验:一个解决方案。 Zbl 1007.03013号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 1 2001 (mathcal{EL}^\bot)非单调扩张的表演算。 Zbl 1332.68209号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2011 自组织映射的条件、模糊和概率解释。 Zbl 07486288号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;丹尼尔·杜普雷 1 2022 自组织映射的条件、模糊和概率解释。 Zbl 07486288号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;丹尼尔·杜普雷 1 2022 多引用闭包的重建。 Zbl 1504.68210号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 4 2021 本体论中异常的推理:多引用语义的近似。 Zbl 07170135号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐 4 2019 表达描述逻辑的理性闭包:(\mathcal{SHIQ}\)的情况。 Zbl 1408.68137号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 4 2018 对DL的理性闭包中的多个方面进行推理。 Zbl 1430.68306号 瓦伦蒂娜·格里奥齐 4 2016 理性闭包的语义表征:从命题逻辑到描述逻辑。 Zbl 1346.68186号 佐丹奴,L。;格利奥齐,V。;奥利维蒂,N。;波扎托,G.L。 25 2015 访问控制中的逻辑:条件方法。 Zbl 1350.03029号 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2014 用于推理典型性的非单调描述逻辑。 Zbl 1270.68281号 佐丹奴,L。;Gliozzi,V。;奥利维蒂,N。;波扎托,G.L。 23 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 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 KLM有理逻辑R的解析表计算。 Zbl 1152.03313号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 2 2006 弱AGM假设和强Ramsey测试:逻辑形式化。 Zbl 1132.03320号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 7 2005 KLM优先逻辑和累积逻辑的分析表。 Zbl 1143.68599号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2005 基于偏好的条件逻辑表计算。 Zbl 1274.03021号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;卡米拉·施温德 1 2003 迭代信念修正和条件逻辑。 Zbl 0997.03016号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 2 2002 信念修正和拉姆齐测验:一个解决方案。 Zbl 1007.03013号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 1 2001 信念修正的条件逻辑。 兹伯利0928.03015 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂 2 1998 所有引用出版物 排名前五的出版物 全部的 前5名64位作者引用 12 劳拉·佐丹奴 11 尼古拉·奥利维蒂 11 伊万·约瑟·瓦尔津扎克 9 吉安·卢卡(Gian Luca),披萨 6 卡塔琳娜·布里茨 6 瓦伦蒂娜·格里奥齐 5 皮耶罗·安德里亚·博纳蒂 5 托马斯·安德烈亚斯·梅耶 4 丹尼尔·杜普雷 三 雷吉斯·阿伦达 三 乔瓦尼·卡西尼 三 托马斯·艾特 三 比约恩·莱尔曼 三 路易吉·索罗 2 克里斯托夫·贝尔 2 理查德·F·布斯。 2 洛丽斯·波萨托 2 阿纳塞·查菲克 2 Fahima Cheikh-Alili 2 Jean-François康多塔 2 康斯坦蒂诺斯·乔治亚托斯 2 卢西亚诺·塞拉菲尼 1 约阿希姆·比斯库普 1 格哈德·布鲁卡 1 布罗吉,科西莫·佩里尼 1 约翰·坎特威尔(John C.Cantwell)。 1 Ivano A.Ciardelli。 1 马可·费拉 1 托拜厄斯·福克 1 迈克尔·芬克 1 彼得·加德福斯 1 玛丽安娜·吉兰多 1 乔纳斯·菲利普·哈尔迪曼 1 约翰内斯·海德玛 1 加布里埃尔·克恩·伊斯伯纳 1 马蒂亚斯·克诺尔 1 科斯塔斯·库特拉斯。 1 史蒂文·库奇 1 威廉·阿德里安·拉布沙根 1 刘兴汉 1 卡斯滕·卢茨 1 马可·马格西 1 萨拉·内格里 1 马蒂亚斯·奥斯塔·维莱兹 1 法比奥·帕帕奇尼 1 德克·帕丁森 1 马克西米利安·潘塞尔 1 伊利亚娜·彼得罗娃(Iliana M.Petrova)。 1 加布里埃拉·皮戈齐 1 克里斯托斯·兰苏迪斯 1 汉斯·罗特 1 雷娜特·施密特(Renate A.Schmidt)。 1 卡米拉·施温德。 1 Daria A.Stepanova。 1 翁贝托·斯特拉契亚 1 克里斯蒂安·斯特拉瑟 1 科妮莉亚·塔德罗斯 1 马蒂亚斯·蒂姆 1 亚历克西斯·苏基亚斯 1 Turhan、Anni Yasmin 1 马库斯·乌布利希特 1 保罗·维亚皮亚尼 1 耶鲁大学维斯 1 弗兰克·沃尔特 全部的 前5名12篇连载文章中引用 12 人工智能 4 应用非经典逻辑杂志 4 数学与人工智能年鉴 4 逻辑程序设计理论与实践 三 哲学逻辑杂志 三 国际近似推理杂志 三 逻辑、语言与信息杂志 2 符号逻辑述评 1 信息科学 1 自动推理杂志 1 计算机基础理论 1 泛逻辑 在4个字段中引用 46 计算机科学(68至XX) 30 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文