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