编辑配置文件(在新选项卡中打开) 恩里科·弗兰科尼 合著者距离 作者ID: 弗朗索尼·恩里科 发布日期: 恩里科·弗兰科尼;Franconi,E。 已编制索引的文档: 19出版物自1992年起 4作为编辑的贡献 合著者: 46位合著者具有23联合出版物 758位合作作者 全部的 前5名合著者 0 单作者的 6 亚历山德罗·阿塔尔 三 沃尔哈·科赫特 2 克莱尔·狄克逊 2 托马斯·艾特 2 迈克尔·费舍尔 2 法比奥·格兰迪 2 费德里卡·曼德雷利 2 亚历山德罗·莫斯卡 2 Ngo、Nhung 2 伊南·塞兰 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 雷娜特·施密特(Renate A.Schmidt)。 1 德米特里·索洛马金 1 奥利维埃罗·斯托克 1 十个Cate,Balder David 1 欧内斯特·特尼恩特 1 塞尔吉奥·特萨利斯 1 威廉·范·温塞尔 1 弗兰克·沃尔特 1 迈克尔·维克托洛维奇(Michael Viktorovich) 全部的 前5名系列 三 人工智能研究杂志 2 计算机基础理论 2 计算机科学课堂讲稿 1 计算机与数学及其应用 1 数据与知识工程 1 逻辑与计算杂志 1 人工智能综述 1 数学与人工智能年鉴 领域 23 计算机科学(68至XX) 9 数理逻辑与基础(03-XX) 4 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用87中的次65文件 引用人▼ 年份▼ 描述逻辑的时间扩展综述。 Zbl 0998.03013号 亚历山德罗·阿塔尔;恩里科·弗朗科尼 22 2000 用于推理行动和计划的时间描述逻辑。 Zbl 0911.68190号 阿塔尔,A。;Franconi,E。 14 1998 人口普查数据修复:选言逻辑编程的一个具有挑战性的应用。 Zbl 1275.68045号 恩里科·弗兰科尼;安东尼奥·劳雷蒂·帕尔玛;尼古拉·利昂;西蒙娜·佩里;弗朗西斯科·斯卡切罗 11 2001 模态逻辑的组合。 兹比尔1014.68158 布兰登·贝内特;克莱尔·狄克逊;迈克尔·费舍尔;乌尔里希·赫斯塔特;恩里科·弗朗科尼;伊恩·霍洛克斯;马尔滕,德里伊克 8 2002 Beth在表达性描述逻辑中的可定义性。 Zbl 1442.68223号 10个Cate,Balder;恩里科·弗兰科尼;伊南·塞兰 8 2013 用于对概念模式和查询进行推理的时间描述逻辑。 Zbl 1013.03027号 亚历山德罗·阿塔尔;恩里科·弗兰科尼;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 7 2002 完整性约束下数据库中固定数值属性的复杂性和近似性。 Zbl 1159.68406号 利奥波多·贝托西;洛雷托·布拉沃;恩里科·弗朗科尼;安德烈·洛帕提科 6 2005 使用DBoxes进行查询应答很困难。 Zbl 1347.68321号 恩里科·弗朗科尼;亚兹米恩·安吉利卡,伊瓦涅兹·加西亚;伊南·塞兰 5 2011 时间概念数据模型的基础。 Zbl 1248.68160号 亚历山德罗·阿塔尔;恩里科·弗朗科尼 三 2009 使用一阶和描述逻辑本体对数据库进行精确的查询重构。 Zbl 1314.68118号 恩里科·弗朗科尼;沃尔哈·科赫特;Ngo、Nhung 2 2013 使用本体和DBox进行有效的查询应答。 Zbl 1443.68046号 恩里科·弗朗科尼;沃尔哈·科赫特 1 2019 使用本体和DBox进行有效的查询应答。 Zbl 1443.68046号 恩里科·弗朗科尼;沃尔哈·科赫特 1 2019 Beth在表达性描述逻辑中的可定义性。 Zbl 1442.68223号 10个Cate,Balder;恩里科·弗兰科尼;伊南·塞兰 8 2013 使用一阶和描述逻辑本体对数据库进行精确的查询重构。 Zbl 1314.68118号 恩里科·弗兰科尼;沃尔哈·科赫特;Ngo、Nhung 2 2013 使用DBoxes进行查询应答很困难。 兹比尔1347.68321 恩里科·弗朗科尼;亚兹米恩·安吉利卡,伊瓦涅兹·加西亚;伊南·塞兰 5 2011 时间概念数据模型的基础。 兹比尔1248.68160 亚历山德罗·阿塔尔;恩里科·弗朗科尼 三 2009 完整性约束下数据库中固定数值属性的复杂性和近似性。 兹比尔1159.68406 利奥波多·贝托西;洛雷托·布拉沃;恩里科·弗朗科尼;安德烈·洛帕提科 6 2005 模态逻辑的组合。 Zbl 1014.68158号 布兰登·贝内特;克莱尔·狄克逊;迈克尔·费舍尔;乌尔里希·赫斯塔特;恩里科·弗兰科尼;伊恩·霍洛克斯;马尔滕,德里伊克 8 2002 用于对概念模式和查询进行推理的时间描述逻辑。 Zbl 1013.03027号 亚历山德罗·阿塔尔;恩里科·弗兰科尼;弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 7 2002 人口普查数据修复:选言逻辑编程的一个具有挑战性的应用。 Zbl 1275.68045号 恩里科·弗朗科尼;安东尼奥·劳雷蒂·帕尔玛;尼古拉·利昂;西蒙娜·佩里;弗朗西斯科·斯卡切罗 11 2001 描述逻辑的时间扩展综述。 Zbl 0998.03013号 亚历山德罗·阿塔尔;恩里科·弗朗科尼 22 2000 用于推理行动和计划的时间描述逻辑。 Zbl 0911.68190号 阿塔尔,A。;Franconi,E。 14 1998 所有引用的出版物 前5名被引用出版物 全部的 前5名137位作者引用 7 亚历山德罗·阿塔尔 6 迈克尔·费舍尔 6 迈克尔·维克托洛维奇(Michael Viktorovich) 5 弗兰克·沃尔特 4 克莱尔·狄克逊 三 奥费尔·阿列利 三 鲍里斯·科涅夫 三 罗马人孔查科夫 三 卡斯滕·卢茨 三 弗拉迪斯拉夫·里日科夫 2 弗兰兹·巴德 2 莫里斯·布吕诺格 2 马克·德内克 2 恩里科·弗兰科尼 2 乌尔里希·赫斯塔特 2 马里兰州阿基尔汗 2 阿吉·库鲁茨 2 奥利弗·库茨 2 尼古拉·利昂 2 马赛尔·利普曼 2 埃米利奥·穆尼奥斯·韦拉斯科 2 马格达莱娜·奥尔蒂斯 2 弗朗西斯科·帕里西 2 米哈伊尔·苏琴斯基 2 苏布拉曼尼亚,V.S。 1 阿夫沙里语、巴哈雷语 1 什奇蓬贾·艾哈迈塔吉 1 马里奥·阿尔维亚诺 1 法布里西奥·安吉乌利 1 吕布列纳·安托瓦 1 法沙德·巴迪 1 莫华·班纳吉 1 巴尔塞纳斯,埃弗拉多 1 斯蒂芬·伊戈列维奇·巴什马科夫 1 安德烈亚斯·鲍尔 1 Michael A.Benedikt。 1 利奥波多·贝尔托西。 1 梅亨·宾文努 1 亚历山大·博洛托夫 1 皮耶罗·安德里亚·博纳蒂 1 斯特凡诺·博尔戈 1 洛雷托·布拉沃 1 布鲁尼,雷纳托 1 阿尔弗雷多·布里耶扎 1 Chang、Liang 1 曹飞 1 安东尼奥·切拉 1 斯蒂芬·克莱德。 1 佩雷斯·德·古兹曼,因马卡拉达 1 何塞·德·杰苏斯·拉瓦利·马丁内斯 1 德吉亚列夫,阿纳托利·伊万诺维奇 1 尤尔根·迪克斯 1 大卫·W·恩布雷。 1 范文飞 1 费尔南德斯·加戈(M.Carmen Fernández Gago) 1 伯克哈德·弗雷塔格 1 马塞洛·弗里西安 1 大卫·加伯里亚 1 加格里奥,萨尔瓦托 1 玛丽·卡门·费尔南德斯·加戈 1 贾弗·加德兹 1 迈克尔·盖尔芬德 1 约翰·格兰特。 1 乔瓦尼·格拉索 1 吉安路易吉·格雷科 1 塞尔吉奥·格雷科 1 顾天龙 1 顾依兰 1 乔金·古斯塔夫松 1 伊恩·马丁·霍德金森 1 黄忠强 1 亚历山大·哈德克 1 萨尔瓦多伊里塔诺 1 蒋敏 1 让·克里斯托夫·荣格 1 沃尔哈·科赫特 1 伊利州基林加 1 科赫(Christoph T.Koch)。 1 萨瓦斯·科努尔 1 克劳斯,萨里特 1 罗马库兹涅茨 1 乔纳斯·克瓦伦斯特罗姆 1 格雷厄姆·埃米尔·利 1 斯蒂芬·利德尔(Stephen W.Liddle)。 1 文森齐诺·里奥 1 阿列克谢·P·利西萨。 1 多米尼克·吕克 1 马帅 1 马可·曼纳 1 塞尔吉奥·马塞利诺 1 Martinez、Maria Vanina 1 安德烈亚·马祖洛 1 迈克尔·门德勒 1 吉勒莫梅内德斯·图拉塔 1 吉列尔莫莫勒罗·卡斯蒂略 1 克里斯蒂安·莫里纳罗 1 蒂尔·莫萨科夫斯基 1 Ngo、Nhung 1 丹·奥尔特阿努 1 安娜·奥扎基 …还有37位作者 全部的 前5名23篇连载文章中引用 9 人工智能 9 数学与人工智能年鉴 5 ACM计算逻辑事务 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 三 自动推理杂志 2 国际近似推理杂志 2 Logicheskie Issledovaniya公司 1 离散应用数学 1 模糊集与系统 1 信息科学 1 符号逻辑杂志 1 逻辑科公报 1 计算机科学与技术杂志 1 信息与计算 1 数学和计算机建模 1 国际计算机数学杂志 1 应用非经典逻辑杂志 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 泛逻辑 1 计算机科学中的逻辑方法 1 计算机科学前沿 在5个字段中引用 53 计算机科学(68至XX) 33 数理逻辑与基础(03-XX) 2 运筹学、数学规划(90-XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文