编辑配置文件(在新选项卡中打开) 吉安·卢卡(Gian Luca),披萨 合著者距离 作者ID: 意大利薄饼 发布日期: 吉安·卢卡(Gian Luca),披萨;波扎托,G.L。 已编制索引的文档: 37出版物自2003年以来,包括1本书 2作为编辑的贡献 合著者: 27位合著者具有35联合出版物 301合作作者 全部的 前5名合著者 4 单作者的 27 尼古拉·奥利维蒂 18 劳拉·佐丹奴 18 瓦伦蒂娜·格里奥齐 4 玛丽安娜·吉兰多 4 比约恩·莱尔曼 三 雷吉斯·阿伦达 2 基诺维斯,瓦莱里奥 1 巴特·博加特 1 亚历克斯·布里克 1 维罗妮卡·达尔 1 蒂齐亚诺·达尔蒙特 1 达维德·达普利 1 卡明·多达罗 1 保罗·福多 1 安德烈亚·福米萨诺 1 安东尼奥·利托 1 刘燕红安妮 1 阿尔贝托·马泰利 1 罗伯托·米卡齐奥 1 斯特凡诺·佩西 1 阿尔贝托·佩特罗西 1 卡米拉·施温德。 1 塞塞迪尔·杜普雷,丹尼尔 1 Joost Vennekens 1 卢卡·维奥兰蒂 1 维塔利斯,昆廷 1 周能发 全部的 前5名系列 三 逻辑与计算杂志 三 计算机基础理论 2 人工智能 2 ACM计算逻辑事务 1 国际近似推理杂志 1 应用非经典逻辑杂志 1 人工智能和应用的前沿 1 理论计算机科学电子论文集(EPTCS) 领域 32 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用189中的次75文件 引用人▼ 年份▼ 有理闭包的语义表征:从命题逻辑到描述逻辑。 Zbl 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 标准条件逻辑的序列演算和定理证明器。 Zbl 1367.68253号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨;卡米拉·施温德。 13 2007 非单调推理的KLM逻辑的解析表计算。 Zbl 1351.03004号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 13 2009 优先描述逻辑中典型性的推理。 Zbl 1178.68561号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 9 2008 非单调推理的最小模型语义。 Zbl 1361.68228号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 8 2012 正常条件逻辑的嵌套序列计算。 Zbl 1444.03102号 雷吉斯·阿伦达;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 7 2016 条件逻辑和优先逻辑。证明方法和定理证明。 兹比尔1210.03025 吉安·卢卡(Gian Luca),披萨 6 2010 刘易斯反事实逻辑的标准内部演算。 Zbl 1471.03060号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 5 2015 KLM优先逻辑P的非单调推广。 Zbl 1307.03018号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 4 2010 KLMLean 2.0:非单调推理的KLM逻辑的定理证明器。 Zbl 1132.68679号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 4 2007 NESCOND:条件逻辑的嵌套序列计算的实现。 Zbl 1425.68378号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 4 2014 CondLean:条件逻辑的定理证明器。 Zbl 1274.68414号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2003 CondLean 3.0:改进CondLeam以获得更强的条件逻辑。 Zbl 1142.68501号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2005 具有低复杂度描述逻辑的原型推理:初步结果。 Zbl 1258.68140号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2009 条件逻辑的定理证明:CondLean和目标D\(\mathcal U\)CK公司。 Zbl 1180.03014号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2008 KLM优先逻辑和累积逻辑的分析表。 Zbl 1143.68599号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2005 CSL公司-倾斜:比较概念相似性逻辑的理论证明。 Zbl 1345.68253号 雷吉斯·阿伦达;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2010 刘易斯反事实逻辑的标准顺序计算。 Zbl 1485.03036号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2016 概念组合的典型性描述逻辑。 Zbl 1518.68364号 安东尼奥·利托;吉安·卢卡(Gian Luca),披萨 三 2018 KLM有理逻辑R的解析表计算。 Zbl 1152.03313号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 2 2006 用于访问控制的条件构造逻辑及其序列演算。 Zbl 1333.03104号 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2011 访问控制中的逻辑:条件方法。 兹比尔1350.03029 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2014 (mathcal{EL}^\bot)非单调扩张的表演算。 Zbl 1332.68209号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2011 具有一致性和自反性的路易斯条件逻辑的超序列计算。 Zbl 1497.03037号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2017 VINTE:刘易斯反事实推理逻辑的内部计算实现。 Zbl 1496.68367号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨;维塔利斯,昆廷 1 2017 描述逻辑中具有典型性和例外概率的推理。 Zbl 1491.68207号 吉安·卢卡(Gian Luca),披萨 1 2017 推理典型性描述逻辑中令人惊讶的场景。 Zbl 1430.68313号 吉安·卢卡(Gian Luca),披萨 1 2016 海普诺:非正规模态逻辑的超连续计算定理证明(系统描述)。 Zbl 07614684号 蒂齐亚诺·达尔蒙特;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2020 反事实推理强逻辑的演算、反模型生成和定理证明。 Zbl 07486290号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;斯特凡诺·佩西;吉安·卢卡(Gian Luca),披萨 1 2022 反事实推理强逻辑的演算、反模型生成和定理证明。 Zbl 07486290号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;斯特凡诺·佩西;吉安·卢卡(Gian Luca),披萨 1 2022 HYPNO公司:非正规模态逻辑的超连续计算定理证明(系统描述)。 Zbl 07614684号 蒂齐亚诺·达尔蒙特;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2020 概念组合的典型性描述逻辑。 兹比尔1518.68364 安东尼奥·利托;吉安·卢卡(Gian Luca),披萨 三 2018 具有一致性和自反性的路易斯条件逻辑的超序列计算。 Zbl 1497.03037号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 1 2017 VINTE:刘易斯反事实推理逻辑的内部计算实现。 Zbl 1496.68367号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨;维塔利斯,昆廷 1 2017 描述逻辑中具有典型性和例外概率的推理。 Zbl 1491.68207号 吉安·卢卡(Gian Luca),披萨 1 2017 正常条件逻辑的嵌套序列计算。 Zbl 1444.03102号 雷吉斯·阿伦达;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 7 2016 刘易斯反事实逻辑的标准顺序计算。 Zbl 1485.03036号 玛丽安娜·吉兰多;比约恩·莱尔曼;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2016 推理典型性描述逻辑中令人惊讶的场景。 Zbl 1430.68313号 吉安·卢卡(Gian Luca),披萨 1 2016 有理闭包的语义表征:从命题逻辑到描述逻辑。 Zbl 1346.68186号 佐丹奴,L。;格利奥齐,V。;奥利维蒂,N。;波扎托,G.L。 25 2015 刘易斯反事实逻辑的标准内部演算。 兹比尔1471.03060 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 5 2015 NESCOND:条件逻辑的嵌套序列计算的实现。 Zbl 1425.68378号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 4 2014 访问控制中的逻辑:条件方法。 Zbl 1350.03029号 基诺维斯,瓦莱里奥;劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 2 2014 用于推理典型性的非单调描述逻辑。 Zbl 1270.68281号 佐丹奴,L。;格利奥齐,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 条件逻辑和优先逻辑。证明方法和定理证明。 Zbl 1210.03025号 吉安·卢卡(Gian Luca),披萨 6 2010 KLM优先逻辑P的非单调推广。 Zbl 1307.03018号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 4 2010 CSL公司-倾斜:比较概念相似性逻辑的理论证明。 Zbl 1345.68253号 雷吉斯·阿伦达;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2010 \({\mathcal{ALC}}+T\):描述逻辑的优先扩展。 Zbl 1207.68369号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 14 2009 非单调推理的KLM逻辑的解析表计算。 Zbl 1351.03004号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 13 2009 低复杂度描述逻辑的原型推理:初步结果。 Zbl 1258.68140号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2009 优先描述逻辑中典型性的推理。 Zbl 1178.68561号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 9 2008 条件逻辑的定理证明:CondLean和目标D\(\mathcal U\)CK公司。 Zbl 1180.03014号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2008 优先描述逻辑。 Zbl 1137.68590号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 17 2007 标准条件逻辑的序列演算和定理证明器。 Zbl 1367.68253号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨;卡米拉·施温德。 13 2007 KLMLean 2.0:非单调推理的KLM逻辑的定理证明器。 Zbl 1132.68679号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;吉安·卢卡(Gian Luca),披萨 4 2007 KLM有理逻辑R的解析表计算。 Zbl 1152.03313号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 2 2006 CondLean 3.0:改进CondLeam以获得更强的条件逻辑。 Zbl 1142.68501号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2005 KLM优先逻辑和累积逻辑的分析表。 Zbl 1143.68599号 劳拉·佐丹奴;瓦伦蒂娜·格里奥齐;尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2005 CondLean:条件逻辑的定理证明器。 Zbl 1274.68414号 尼古拉·奥利维蒂;吉安·卢卡(Gian Luca),披萨 三 2003 所有引用的出版物 前5名被引用出版物 全部的 前5名被86位作者引用 11 劳拉·佐丹奴 11 伊万·约瑟·瓦尔津扎克 9 尼古拉·奥利维蒂 9 吉安·卢卡(Gian Luca),披萨 6 卡塔琳娜·布里茨 6 瓦伦蒂娜·格里奥齐 5 皮耶罗·安德里亚·博纳蒂 5 托马斯·安德烈亚斯·梅耶 5 德克·帕丁森 4 比约恩·莱尔曼 4 塞塞迪尔·杜普雷,丹尼尔 三 雷吉斯·阿伦达 三 乔瓦尼·卡西尼 三 托马斯·艾特 三 科斯塔斯·库特拉斯。 三 克里斯托斯·兰苏迪斯 三 路易吉·索罗 三 卢茨·施罗德 2 克里斯托弗·拜尔 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 理查德·F·布斯。 2 洛丽斯·波萨托 2 阿纳塞·查菲克 2 Fahima Cheikh-Alili 2 Jean-François康多塔 2 基诺维斯,瓦莱里奥 2 玛丽安娜·吉兰多 2 约翰内斯·马蒂 2 萨拉·内格里 2 里卡多·皮诺西奥 2 卢西亚诺·塞拉菲尼 1 约阿希姆·比斯库普 1 格哈德·布鲁卡 1 科西莫·佩里尼·布罗吉 1 乔治·卡林 1 陈金生 1 Ivano A.Ciardelli。 1 罗伊·戴克霍夫 1 弗朗西斯科·埃斯特瓦 1 马可·费拉 1 托拜厄斯·福克 1 迈克尔·芬克 1 Dov M.加巴伊。 1 彼得·加德福斯 1 路易斯·戈多 1 朱塞佩·格雷科 1 乔纳斯·菲利普·哈尔迪曼 1 约翰内斯·海德玛 1 Kern Isberner,加布里埃尔 1 马蒂亚斯·克诺尔 1 史蒂文·库奇 1 拉布夏涅,威廉·阿德里安 1 Liaskos,Konstantinos B。 1 保罗·利伯拉托雷 1 刘兴汉 1 卡斯滕·卢茨 1 马可·马格西 1 克里斯托斯·莫伊泽斯 1 克里斯托斯·诺米科斯 1 奥兰德利,尤金尼奥 1 马蒂亚斯·奥斯塔·维莱兹 1 亚历山德拉·帕尔米吉亚诺 1 法比奥·帕帕奇尼 1 马克西米利安·潘塞尔 1 伊利亚娜·彼得罗娃(Iliana M.Petrova)。 1 加布里埃拉·皮戈齐 1 弗朗西丝卡·波乔列西 1 雷文莎·拉马纳亚克 1 丹尼尔·里斯波里 1 雷娜特·施密特(Renate A.Schmidt)。 1 Daria A.Stepanova。 1 翁贝托·斯特拉契亚 1 卢茨斯特拉汉堡 1 斯特拉瑟,基督徒 1 科妮莉亚·塔德罗斯 1 Thimm,Matthias马蒂亚斯 1 亚历克西斯·苏基亚斯 1 安妮·亚斯敏(Anni-Yasmin Turhan) 1 阿波斯托洛斯·齐莫利斯 1 马库斯·乌布利希特 1 托马斯·维特莱恩 1 保罗·维亚皮亚尼 1 耶鲁大学维斯 1 弗兰克·沃尔特 1 安娜·扎曼斯基 1 尤尼·佐哈尔 全部的 前5名19篇连载文章中引用 10 人工智能 6 数学与人工智能年鉴 4 哲学逻辑杂志 4 国际近似推理杂志 4 逻辑程序设计理论与实践 三 逻辑、语言与信息杂志 三 应用非经典逻辑杂志 2 Studia Logica公司 2 信息与计算 1 信息科学 1 订单 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 数学逻辑档案 1 计算机基础理论 1 逻辑与逻辑哲学 1 ACM计算逻辑事务 1 泛逻辑 1 计算机科学中的逻辑方法 在4个字段中引用 53 计算机科学(68至XX) 43 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 凸和离散几何(52至XX) 按年份列出的引文