编辑配置文件(在新选项卡中打开) 朱塞佩·德贾科莫 合著者距离 作者ID: de-giacomo.giuseppe公司 发布日期: 朱塞佩·德贾科莫;朱塞佩·德·贾科莫;德贾科莫,G。 更多。。。较少的 外部链接: ORCID公司 已编制索引的文档: 52出版物自1994年以来 1名编辑贡献 合著者: 40位合著者具有51联合出版物 668联合作者 全部的 前5名合著者 1 单作者的 28 迭戈·卡尔瓦内斯 25 莫里齐奥·伦泽里尼 13 里卡多·罗萨蒂 8 多梅尼科·伦博 8 法比奥·帕特里齐 8 莫西·亚亚科夫·瓦尔迪 6 伊夫莱斯佩伦斯 5 Hector J.列夫斯克。 5 塞巴斯蒂安·萨迪纳 4 安东尼拉·波吉 三 安德烈·卡利 三 保罗·费利 三 马可·蒙塔利 2 巴巴克·巴赫里·哈里里 2 达尼埃拉·贝拉迪 2 里卡多·德·马塞利斯 2 法比奥·马萨奇 2 丹尼尔·纳尔迪 2 斯塔夫罗斯·瓦索斯 1 塞恩·巴罗 1 布加林,阿尔贝托 1 亚历杭德罗·加泰罗尼亚 1 谢赫·法希玛 1 安东尼奥·迪·斯塔西奥 1 比斯特拉·迪尔基纳 1 阿方索·埃米利奥·杰雷维尼 1 卢卡·艾奇 1 杰罗姆·朗 1 布赖恩·洛根 1 米歇拉·米兰 1 泽维尔·奥利奥 1 阿德里安·皮尔斯。 1 雷·赖特 1 罗德里格斯·穆罗,马里亚诺 1 马可·鲁齐 1 亚历山德罗·萨埃蒂 1 多梅尼科·法比奥·萨沃 1 卢卡斯·塔巴哈拉。 1 尤金妮亚·特诺夫斯卡 1 朱淑芳 全部的 前5名系列 8 人工智能 三 计算机与系统科学杂志 三 逻辑与计算杂志 三 人工智能研究杂志 2 理论计算机科学 2 信息与计算 2 数学与人工智能年鉴 2 ACM计算逻辑事务 1 Studia Logica公司 1 自动推理杂志 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 人工智能和应用的前沿 全部的 前5名领域 50 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 1 一般性和全局性主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 46出版物有被引用522次288文件 引用人▼ 年份▼ 描述逻辑中的可追踪推理和高效查询回答:DL-Lite系列。 Zbl 1132.68725号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 126 2007 将数据链接到本体。 Zbl 1132.68061号 安东尼拉·波吉;多梅尼科·伦博;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 56 2008 重写正则表达式和正则路径查询。 Zbl 1015.68083号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 39 2002 描述逻辑中查询应答的数据复杂性。 Zbl 1270.68294号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 39 2013 UML类图上的推理。 Zbl 1132.68747号 达尼埃拉·贝拉迪;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫 21 2005 描述逻辑本体中的实例级更新和擦除。 Zbl 1181.68274号 朱塞佩·德·贾科莫;莫里齐奥·伦泽里尼;安东尼拉·波吉;里卡多·罗萨蒂 17 2009 ConGolog,一种基于情境演算的并发编程语言。 Zbl 0948.68175号 德贾科莫,G。;Lespérance,Y。;H.J.列夫斯克。 17 2000 将推导和模型检查结合到表格和算法中,用于反向PDL。 兹比尔1045.68090 朱塞佩·德贾科莫;法比奥·马萨奇 15 2000 有界情境演算行动理论。 Zbl 1357.68227号 朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐 15 2016 关于IndiGolog中审议的语义——从理论到实施。 Zbl 1048.68100号 塞巴斯蒂安·萨迪纳;朱塞佩·德贾科莫;伊夫莱斯佩伦斯;Hector J.列夫斯克。 11 2004 本体论和数据库:DL-lite方法。 Zbl 1254.68106号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;安东尼拉·波吉;玛丽亚诺·罗德里格斯·穆罗;里卡多·罗萨蒂 11 2009 XML文档的表示和推理:一种描述逻辑方法。 Zbl 0938.68842号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 11 1999 完整性约束下的数据集成。 Zbl 1046.68694号 安德烈·卡利;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 10 2002 半结构化数据上基于视图的查询应答和查询包含。 Zbl 1098.68560号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 10 2002 表达描述逻辑中的推理。 Zbl 0992.03036号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;丹尼尔·纳尔迪;莫里齐奥·伦泽里尼 10 2001 描述逻辑知识和行动基础。 Zbl 1280.68249号 巴巴克·巴赫里·哈里里;迭戈·卡尔瓦内斯;马可·蒙塔利;朱塞佩·德贾科莫;里卡多·德·马塞利斯;保罗·费利 9 2013 描述逻辑约束下的连接查询包含和应答。 Zbl 1367.68084号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 9 2008 一般转换系统上的一阶演算及其在情形演算中的应用。 Zbl 1390.68462号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;马可·蒙塔利;法比奥·帕特里齐 8 2018 通过DL-Lite({mathcal A})本体进行数据集成。 Zbl 1165.68511号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;安东尼拉·波吉;里卡多·罗萨蒂;马可·鲁齐 7 2008 高级程序的增量解释器,具有感知功能。 Zbl 0944.68170号 朱塞佩·德贾科莫;Hector J.列夫斯克。 7 1999 自动行为合成。 Zbl 1270.68329号 朱塞佩·德贾科莫;法比奥·帕特里齐;塞巴斯蒂安·萨迪尼亚 7 2013 描述逻辑中概念定义的统一框架。 兹伯利0894.68095 德贾科莫,G。;伦泽里尼,M。 6 1997 基于视图的查询处理:关于重写、应答和无损之间的关系。 Zbl 1108.68443号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 6 2005 P2P数据集成中的不一致容忍:一种认知逻辑方法。 Zbl 1159.68409号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 6 2005 递归查询的可确定包含。 Zbl 1101.68513号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫舍·瓦尔迪。 5 2005 通过模拟实现自动服务组合。 Zbl 1155.68014号 达尼埃拉·贝拉迪;谢赫·法希玛;朱塞佩·德·贾科莫;法比奥·帕特里齐 5 2008 在有界情况演算中使用感知对在线执行进行LTL验证。 兹比尔1366.68340 朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐;斯塔夫罗斯·瓦索斯 5 2014 带逆命题动态逻辑的表和算法。 Zbl 1412.68216号 朱塞佩·德贾科莫;法比奥·马萨奇 4 1996 信息集成的描述逻辑。 Zbl 1012.03512号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 三 2002 基于视图的查询处理:关于重写、应答和无损之间的关系。 Zbl 1108.68038号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 三 2007 有界信念情境演算代理的进展和验证。 Zbl 1397.68191号 朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐;斯塔夫罗斯·瓦索斯 三 2016 从逆向PDL中消除“逆向”。 Zbl 0923.03044号 朱塞佩·德贾科莫 2 1996 数据集成的概念建模。 Zbl 1248.68161号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 2 2009 关于不确定性和并发操作的推理:进程代数方法。 Zbl 0910.68075号 陈晓军;朱塞佩·德·贾科莫 2 1999 代理计划程序。 Zbl 1344.68245号 朱塞佩·德贾科莫;阿方索·埃米利奥·杰雷维尼;法比奥·帕特里齐;亚历山德罗·萨埃蒂;塞巴斯蒂安·萨迪纳 2 2016 情境演算游戏结构和GDL。 Zbl 1396.91011号 朱塞佩·德贾科莫;伊夫莱斯佩伦斯;阿德里安·皮尔斯。 2 2016 描述逻辑知识库上的动作和程序:功能方法。 Zbl 1341.68222号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 2 2011 描述逻辑中基于视图的查询应答:语义和复杂性。 兹比尔1280.68250 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 1 2012 关于模式映射的简化。 Zbl 1408.68046号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 1 2013 认知移动机器人的理论与实现。 Zbl 0979.68575号 朱塞佩·德贾科莫;卢卡·艾奇;丹尼尔·纳尔迪;里卡多·罗萨蒂 1 1999 通过概念模式访问数据集成系统。 Zbl 1051.68602号 安德烈·卡利;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 1 2001 通过一阶重写在DL-Lite本体中进行实例级更新。 Zbl 1510.68107号 朱塞佩·德贾科莫;泽维尔·奥利奥;里卡多·罗萨蒂;多梅尼科·法比奥·萨沃 1 2021 有效的开放世界推理的两种方法。 Zbl 0979.68097号 朱塞佩·德贾科莫;莱维斯克,赫克托 1 2000 验证描述逻辑知识和动作库。 Zbl 1327.68272号 哈里里,巴巴克·巴赫里;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;里卡多·德·马塞利斯;保罗·费利;马可·蒙塔利 1 2012 ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。 Zbl 1456.68006号 1 2020 情境演算中的非终结过程。 Zbl 1444.68179号 朱塞佩·德贾科莫;尤金妮亚·特诺夫斯卡;雷·赖特 1 2020 通过一阶重写在DL-Lite本体中进行实例级更新。 Zbl 1510.68107号 朱塞佩·德贾科莫;泽维尔·奥利奥;里卡多·罗萨蒂;多梅尼科·法比奥·萨沃 1 2021 ECAI 2020。第24届欧洲人工智能会议,2020年8月29日至9月8日,西班牙圣地亚哥·德孔波斯特拉。包括第十届人工智能应用大会,PAIS 2020。 Zbl 1456.68006号 1 2020 情境演算中的非终结过程。 Zbl 1444.68179号 朱塞佩·德贾科莫;尤金妮亚·特诺夫斯卡;雷特尔 1 2020 一般转换系统上的一阶\(\mu\)-微积分及其在情形微积分中的应用。 Zbl 1390.68462号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;马可·蒙塔利;法比奥·帕特里齐 8 2018 有界情境演算行动理论。 Zbl 1357.68227号 朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐 15 2016 有界信念情境演算代理的进展和验证。 Zbl 1397.68191号 朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐;斯塔夫罗斯·瓦索斯 三 2016 代理计划程序。 Zbl 1344.68245号 朱塞佩·德贾科莫;阿方索·埃米利奥·杰雷维尼;法比奥·帕特里齐;亚历山德罗·萨埃蒂;塞巴斯蒂安·萨迪纳 2 2016 情境演算游戏结构和GDL。 Zbl 1396.91011号 朱塞佩·德贾科莫;伊夫莱斯佩伦斯;阿德里安·皮尔斯。 2 2016 在有界情况演算中使用感知对在线执行进行LTL验证。 Zbl 1366.68340号 朱塞佩·德贾科莫;伊夫莱斯佩伦斯;法比奥·帕特里齐;斯塔夫罗斯·瓦索斯 5 2014 描述逻辑中查询应答的数据复杂性。 兹比尔1270.68294 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 39 2013 描述逻辑知识和行动基础。 Zbl 1280.68249号 巴巴克·巴赫里·哈里里;迭戈·卡尔瓦内斯;马可·蒙塔利;朱塞佩·德贾科莫;里卡多·德·马塞利斯;保罗·费利 9 2013 自动行为合成。 Zbl 1270.68329号 朱塞佩·德贾科莫;法比奥·帕特里齐;塞巴斯蒂安·萨迪尼亚 7 2013 关于模式映射的简化。 Zbl 1408.68046号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 1 2013 描述逻辑中基于视图的查询应答:语义和复杂性。 Zbl 1280.68250号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 1 2012 验证描述逻辑知识和动作库。 Zbl 1327.68272号 哈里里,巴巴克·巴赫里;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;里卡多·德·马塞利斯;保罗·费利;马可·蒙塔利 1 2012 描述逻辑知识库上的动作和程序:功能方法。 Zbl 1341.68222号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 2 2011 描述逻辑本体中的实例级更新和擦除。 Zbl 1181.68274号 朱塞佩·德·贾科莫;莫里齐奥·伦泽里尼;安东尼拉·波吉;里卡多·罗萨蒂 17 2009 本体论和数据库:DL-lite方法。 Zbl 1254.68106号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;安东尼拉·波吉;玛丽亚诺·罗德里格斯·穆罗;里卡多·罗萨蒂 11 2009 数据集成的概念建模。 Zbl 1248.68161号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 2 2009 将数据链接到本体。 Zbl 1132.68061号 安东尼拉·波吉;多梅尼科·伦博;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 56 2008 描述逻辑约束下的连接查询包含和应答。 Zbl 1367.68084号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 9 2008 通过DL-Lite({mathcal A})本体进行数据集成。 Zbl 1165.68511号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;安东尼拉·波吉;里卡多·罗萨蒂;马可·鲁齐 7 2008 通过模拟实现自动服务组合。 Zbl 1155.68014号 达尼埃拉·贝拉迪;谢赫·法希玛;朱塞佩·德·贾科莫;法比奥·帕特里齐 5 2008 描述逻辑中的可追踪推理和高效查询回答:DL-Lite系列。 Zbl 1132.68725号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 126 2007 基于视图的查询处理:关于重写、应答和无损之间的关系。 Zbl 1108.68038号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 三 2007 UML类图上的推理。 Zbl 1132.68747号 达尼埃拉·贝拉迪;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫 21 2005 基于视图的查询处理:关于重写、应答和无损之间的关系。 Zbl 1108.68443号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 6 2005 P2P数据集成中的不一致容忍:一种认知逻辑方法。 Zbl 1159.68409号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;多梅尼科·伦博;莫里齐奥·伦泽里尼;里卡多·罗萨蒂 6 2005 递归查询的可确定包含。 Zbl 1101.68513号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫舍·瓦尔迪。 5 2005 关于IndiGolog中审议的语义——从理论到实施。 Zbl 1048.68100号 塞巴斯蒂安·萨迪纳;朱塞佩·德贾科莫;伊夫莱斯佩伦斯;Hector J.列夫斯克。 11 2004 重写正则表达式和正则路径查询。 Zbl 1015.68083号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 39 2002 完整性约束下的数据集成。 Zbl 1046.68694号 安德烈·卡利;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 10 2002 半结构化数据上基于视图的查询应答和查询包含。 Zbl 1098.68560号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 10 2002 信息集成的描述逻辑。 兹比尔1012.03512 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 三 2002 表达描述逻辑中的推理。 Zbl 0992.03036号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;丹尼尔·纳尔迪;莫里齐奥·伦泽里尼 10 2001 通过概念模式访问数据集成系统。 Zbl 1051.68602号 安德烈·卡利;迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 1 2001 ConGolog,一种基于情境演算的并发编程语言。 Zbl 0948.68175号 德贾科莫,G。;Lespérance,Y。;H.J.列夫斯克。 17 2000 将演绎和模型检查结合到表格和逆PDL算法中。 Zbl 1045.68090号 朱塞佩·德贾科莫;法比奥·马萨奇 15 2000 有效的开放世界推理的两种方法。 Zbl 0979.68097号 朱塞佩·德贾科莫;莱维斯克,赫克托 1 2000 XML文档的表示和推理:一种描述逻辑方法。 Zbl 0938.68842号 迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼 11 1999 高级程序的增量解释器,具有感知功能。 Zbl 0944.68170号 朱塞佩·德贾科莫;Hector J.列夫斯克。 7 1999 关于不确定性和并发操作的推理:进程代数方法。 Zbl 0910.68075号 陈晓军;朱塞佩·德·贾科莫 2 1999 认知移动机器人的理论与实现。 Zbl 0979.68575号 朱塞佩·德贾科莫;卢卡·艾奇;丹尼尔·纳尔迪;里卡多·罗萨蒂 1 1999 描述逻辑中概念定义的统一框架。 Zbl 0894.68095号 德贾科莫,G。;伦泽里尼,M。 6 1997 带逆命题动态逻辑的表和算法。 Zbl 1412.68216号 朱塞佩·德贾科莫;法比奥·马萨奇 4 1996 从逆向PDL中消除“逆向”。 Zbl 0923.03044号 朱塞佩·德贾科莫 2 1996 所有引用出版物 前5名被引用出版物 全部的 前5名467位作者引用 20 朱塞佩·德贾科莫 18 迭戈·卡尔瓦内斯 13 迈克尔·维克托洛维奇(Michael Viktorovich) 11 卡斯滕·卢茨 11 弗拉迪斯拉夫·里日科夫 11 弗兰克·沃尔特 10 莫里齐奥·伦泽里尼 9 托马斯·艾特 9 乔治·戈特洛布 9 马格达莱娜·奥尔蒂斯 8 亚历山德罗·阿塔尔 8 罗马人孔查科夫 8 托马斯·卢卡西维奇 8 里卡多·罗萨蒂 7 巴勃罗·巴塞洛 7 马克·卡明斯基 7 安德烈亚斯·皮耶利斯 6 塞勒姆·本费哈特 6 利博金,Leonid O。 6 法比奥·帕特里齐 6 西蒙库斯,曼塔斯 5 埃琳娜·博托埃娃 5 安德烈·卡利 5 伊恩·霍洛克斯 5 多梅尼科·伦博 5 马可·蒙塔利 5 阮林安 5 安东尼拉·波吉 5 海纳·斯塔肯施密特 5 亚历克斯·托莫 5 莫西·亚亚科夫·瓦尔迪 5 王克文 4 扎伊德·布劳伊 4 伯纳多·昆卡·格劳 4 姜云成 4 斯坦尼斯拉夫·基科特 4 鲍里斯·莫提克 4 玛丽·劳雷·穆格尼尔 4 杰夫·Z·潘。 4 奥德尔·帕皮尼 4 弗拉基米尔·弗拉迪米罗维奇 4 胡安·卢特(Juan L.Reutter)。 4 米盖尔·罗梅罗 4 格特·斯莫尔卡 4 王菊 4 王哲 三 马塞洛·阿里纳斯 三 Jean-François巴杰 三 Michael A.Benedikt。 三 利奥波多·贝尔托西。 三 梅亨·宾文努 三 皮耶罗·安德里亚·博纳蒂 三 洛雷托·布拉沃 三 马达琳娜·克罗伊托鲁 三 德波尔(Frank S。 三 拉杰夫·普拉巴卡尔·戈尔 三 戈斯塔·格雷内 三 鲍里斯·科涅夫 三 埃戈尔·柯斯特列夫(Egor V.Kostylev)。 三 Alisa Kovtunova 三 阿吉·库鲁茨 三 米歇尔·莱克莱尔 三 约昂·莱特 三 伊夫莱斯佩伦斯 三 Hector J.列夫斯克。 三 马可·曼纳 三 法比奥·马萨奇 三 希拉·麦克拉伊思。 三 约翰·朱尔斯·查尔斯·梅耶 三 利维亚·普雷多尤 三 安德烈·里夫金 三 塞巴斯蒂安·萨迪纳 三 托马斯·施耐德 三 托马斯·施温蒂克 三 卢西亚诺·塞拉菲尼 三 马丁·斯洛塔 三 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 三 唐素琴 三 大卫·托曼 三 罗德尼·W·托珀。 三 多马戈·弗戈奇 三 格兰特·韦德尔(Grant E.Weddell)。 2 谢尔盖·阿福宁 2 Ahmetaj,什奇蓬贾 2 阿卜杜拉·阿里乌阿 2 Franz巴德 2 Jorge A.Baier。 2 菲利普·巴尔比亚尼 2 瓦夏克·贝勒 2 洛丽斯·波萨托 2 卡隆、安妮·塞西尔 2 马尔滕·德·里杰克 2 弗朗西斯科·多尼尼。 2 沃尔夫冈·费伯 2 罗纳德·费金 2 范文飞 2 克里斯蒂娜·费尔 2 保罗·费利 2 迈克尔·芬克 2 恩里科·弗兰科尼 …还有367位作者 全部的 前5名引用于45个系列 51 人工智能 15 数学与人工智能年鉴 14 理论计算机科学 11 计算机与系统科学杂志 11 自动推理杂志 11 逻辑程序设计理论与实践 7 信息与计算 7 应用逻辑杂志 6 Studia Logica公司 6 国际近似推理杂志 6 ACM计算逻辑事务 4 信息科学 4 计算机科学中的逻辑方法 三 人工智能研究杂志 三 计算系统理论 2 信息学报 2 信息处理信件 2 新一代计算 2 计算的形式方面 2 应用非经典逻辑杂志 2 美国医学会杂志 2 程序设计中的逻辑和代数方法杂志 1 生理学A 1 模糊集与系统 1 编程和计算机软件 1 SIAM计算机杂志 1 计算机程序设计科学 1 符号计算杂志 1 AI通信 1 机器学习 1 吉泰。实验与理论人工智能杂志 1 国际计算机科学基础杂志 1 离散事件动态系统 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 机器学习研究杂志(JMLR) 1 计算智能 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 中国的科学。F系列 1 泛逻辑 1 计算机科学前沿 1 计算机科学评论 全部的 前5名在8个字段中引用 274 计算机科学(68至XX) 63 数学逻辑和基础(03-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 运筹学、数学规划(90-XX) 三 系统论;控制(93至XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文