编辑配置文件（在新选项卡中打开） 塞尔吉奥·格雷科 合著者距离 作者ID： 格雷科·斯尔吉奥 发布日期： 塞尔吉奥·格雷科；格雷科，S。 主页： https://www.unical.it/portale/strutture/dipartmenti_240/diisesf/esterni/greco（网址：https://www.unical.it/portale/strutture/dipartmenti_240/diisesf/esterni/greco）/ 外部链接： 数据库许可证 已编制索引的文档： 60出版物自1989年起，包括2本书 4作为编辑的贡献 合著者： 45位合著者具有63联合出版物 629合著作者 全部的 前5名合著者 1 单作者的 16 伊琳娜·特鲁比通娜 13 埃斯特·赞帕诺 10 克里斯蒂安·莫里纳罗 10 多梅尼科·萨卡 8 卡洛·扎尼奥洛 7 吉安路易吉·格雷科 6 马可·卡洛蒂 6 塞尔吉奥·弗莱斯卡 6 弗朗西斯科·帕里西 5 Gianvincenzo阿尔法诺 5 菲利波·富法罗 4 安德烈亚·塔加雷利 三 弗朗西斯科·古洛 三 乔瓦尼·蓬蒂 三 吉列尔莫·里卡多·西马里 2 苏米特·甘古利 2 尼古拉·利昂 2 弗朗西丝卡·亚历山德拉（Francesca Alessandra Lisi） 2 托马斯·卢卡西维奇 2 路易吉·蓬蒂耶里 2 杰拉尔多·西马里一世。 2 弗朗西斯卡·斯佩萨诺 1 纳特拉杰·阿尔尼 1 亚历山大·阿提基斯 1 斯特凡诺·巴斯塔 1 弗朗西斯科·布卡弗里 1 卢西亚诺卡罗普莱斯 1 安德烈亚·科恩 1 保罗·福多 1 格哈德·弗里德里希（Gerhard E.Friedrich）。 1 福斯卡·吉安诺蒂 1 塞巴斯蒂安·戈蒂弗雷迪 1 乔瓦姆巴蒂斯塔·伊安尼 1 安吉丽卡·基米格 1 马可·马拉提亚 1 埃利奥·马西亚里 1 亚历山德拉·米利奥 1 路易吉·帕洛波利 1 弗朗西斯科·里卡 1 法布里齐奥·里古齐 1 帕斯奎尔·鲁洛 1 亚历山德拉·拉索。 1 克里斯蒂娜·西兰吉罗 1 尤金尼奥·斯巴达福拉 1 弗朗西斯科·斯佩萨诺 全部的 前5名系列 9 逻辑程序设计理论与实践 5 数学与人工智能年鉴 三 人工智能 三 计算机与系统科学杂志 三 人工智能通信 2 信息与计算 2 信息系统 2 计算机科学课堂讲稿 2 数据管理综合讲座 1 信息学报 1 信息科学 1 理论计算机科学 1 逻辑程序设计杂志 1 新一代计算 1 数据与知识工程 1 国际计算机科学基础杂志 1 模式识别 1 人工智能研究杂志 1 ACM计算逻辑事务 1 理论计算机科学电子论文集（EPTCS） 1 应用逻辑期刊-IfCoLog逻辑期刊及其应用 全部的 前5名领域 62 计算机科学（68至XX） 4 总体主题；集合（00-XX） 2 数理逻辑与基础（03-XX） 2 统计学（62-XX） 2 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 42出版物有被引用119中的次81文件 引用人▼ 年份▼ 集成、修复和查询不一致数据库的逻辑编程方法。 Zbl 1053.68564号 吉安路易吉·格雷科；塞尔吉奥·格雷科；埃斯特·赞帕诺 11 2001 查询不一致的数据库。 Zbl 0988.68061号 塞尔吉奥·格雷科；埃斯特·赞帕诺 8 2000 演绎数据库中的非确定性编程。 Zbl 0880.68030号 福斯卡·吉安诺蒂；塞尔吉奥·格雷科；多梅尼科·萨卡；卡洛·扎尼奥洛 8 1997 完整性维护的生产规则的声明语义。 Zbl 1131.68371号 卢西亚诺卡罗普莱斯；塞尔吉奥·格雷科；克里斯蒂娜·西兰吉罗；埃斯特·赞帕诺 7 2006 动态论证框架确定性扩展的增量计算。 Zbl 1483.68379号 塞尔吉奥·格雷科；弗朗西斯科·帕里西 5 2016 数据日志中的贪婪算法。 Zbl 1066.68572号 塞尔吉奥·格雷科；卡洛·扎尼奥洛 4 2001 用功能符号终止逻辑程序。 Zbl 1281.68065号 塞尔吉奥·格雷科；弗兰西斯卡·斯佩扎诺；伊琳娜·特鲁比西纳 4 2012 可扩展的不确定性管理。2008年10月1日至3日，第二届国际会议，SUM 2008，意大利那不勒斯。诉讼程序。 Zbl 1147.68307号 4 2008 “可能是肯定的”是可取的，可以表达。 兹伯利0880.68011 塞尔吉奥·格雷科；多梅尼科·萨卡 4 1997 用函数符号检查逻辑程序自下而上评估的终止。 Zbl 1379.68051号 马可·卡洛蒂；塞尔吉奥·格雷科；弗朗西斯卡·斯佩萨诺；伊琳娜·特鲁比西纳 4 2015 半结构化数据库上的加权路径查询。 Zbl 1101.68517号 塞尔吉奥·弗莱斯卡；菲利波·富法罗；塞尔吉奥·格雷科 三 2006 用于图形查询的部分排序正则语言。 Zbl 1076.68039号 塞尔吉奥·弗莱斯卡；塞尔吉奥·格雷科 三 2005 关系数据库中的不完整数据和数据依赖关系。 Zbl 1254.68006号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；弗朗西斯科·斯佩萨诺 三 2012 带函数符号的逻辑编程：通过程序装饰检查自下而上求值的终止。 Zbl 1286.68045号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比西纳 三 2013 用于查询和修复不一致数据库的三值语义。 Zbl 1138.68031号 菲利波·富法罗；塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗 三 2007 演绎数据库中的极限谓词。 Zbl 0831.68041号 苏米特·甘古利；塞尔吉奥·格雷科；卡洛·扎尼奥洛 三 1995 带约束的界析取查询的优化。 Zbl 1085.68019号 吉安路易吉·格雷科；塞尔吉奥·格雷科；伊琳娜·特鲁比西纳；埃斯特·赞帕诺 三 2005 抽象论证框架的语义：逻辑编程方法。 Zbl 1468.68211号 Gianvincenzo阿尔法诺；塞尔吉奥·格雷科；弗朗西斯科·帕里西；伊琳娜·特鲁比西纳 三 2020 具有递归攻击和支持关系的抽象论证框架中的动力学。 Zbl 1464.68335号 Gianvincenzo阿尔法诺；安德烈亚·科恩；塞巴斯蒂安·戈蒂弗雷迪；塞尔吉奥·格雷科；弗朗西斯科·帕里西；吉列尔莫·西马里 三 2020 动态DeLP知识库上结构化论证的增量计算。 Zbl 1520.68179号 Gianvincenzo阿尔法诺；塞尔吉奥·格雷科；弗朗西斯科·帕里西；杰拉尔多·西马里一世。；吉列尔莫·西马里。 2 2021 人工智能中的逻辑。第八届欧洲会议，2002年9月23日至26日，意大利科森扎，JELIA 2002。诉讼程序。 Zbl 0997.00032号 2 2002 推送极值聚合以优化逻辑查询。 兹比尔1006.68669 菲利波·富法罗；塞尔吉奥·格雷科；苏米特·甘古利；卡洛·扎尼奥洛 2 2002 活动规则的声明性语义。 兹比尔1066.68522 塞尔吉奥·弗莱斯卡；塞尔吉奥·格雷科 2 2001 不一致数据库上的概率查询应答。 Zbl 1250.68097号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗 2 2012 \（mathcal{NPD}）atalog：一种逻辑语言，用于表示搜索和优化问题。 Zbl 1191.68150号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比西纳；埃斯特·赞帕诺 2 2010 用于准确快速相似性检测的时间序列表示模型。 Zbl 1175.68361号 弗朗西斯科·古洛；乔瓦尼·蓬蒂；安德烈亚·塔加雷利；塞尔吉奥·格雷科 2 2009 不确定数据分层聚类的信息理论方法。 Zbl 1435.62231号 弗朗西斯科·古洛；乔瓦尼·蓬蒂；安德烈亚·塔加雷利；塞尔吉奥·格雷科 2 2017 在三值语义下查询和修复不一致的数据库。 Zbl 1213.68236号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗 2 2007 关于带有偏好的逻辑程序的语义。 Zbl 1182.68109号 格雷科，S。；Trubitsyna，I。；祖帕诺，E。 2 2007 存在规则下基于偏好的不一致容错查询应答。 Zbl 07613154号 马可·卡洛蒂；塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比西纳 1 2022 DATALOG确定性语义的复杂性和表达能力。 Zbl 1045.68514号 塞尔吉奥·格雷科；多梅尼科·萨卡 1 1999 数据日志中的搜索和优化问题。 Zbl 1012.68516号 塞尔吉奥·格雷科；多梅尼科·萨卡 1 2002 支持网站导航的协作过滤。 Zbl 1062.68507号 吉安路易吉·格雷科；塞尔吉奥·格雷科；埃斯特·赞帕诺 1 2004 扩展分层数据日志以捕获从\（mathcal P）到\（Cal Q \ mathcal H）的复杂性类。 Zbl 0973.68075号 塞尔吉奥·格雷科；多梅尼科·萨卡；卡洛·扎尼奥洛 1 2001 独特的整体稳定模型语义的表达能力。 Zbl 1401.68027号 弗朗切斯科·布卡福里；塞尔吉奥·格雷科；多梅尼科·萨卡 1 1997 用于查询类似图形的数据的图形语法。 Zbl 1262.68077号 弗莱斯卡，S。；弗法罗。；格雷科，S。 1 2001 用于优化链逻辑查询的语法和自动机。 兹比尔1319.68071 塞尔吉奥·格雷科；多梅尼科·萨卡；卡洛·扎尼奥洛 1 1999 逻辑语言中有界集合项的匹配\（{\mathcal LDL}^{+}\）。 Zbl 0873.68025号 纳特拉杰·阿尔尼；塞尔吉奥·格雷科；多梅尼科·萨卡 1 1996 用函数符号检测有限地逻辑程序的可判定类。 Zbl 1407.68078号 马可·卡洛蒂；塞尔吉奥·格雷科；伊琳娜·特鲁比西纳 1 2017 优化链式逻辑程序的下推方法。 Zbl 1412.68031号 塞尔吉奥·格雷科；多梅尼科·萨卡；卡洛·扎尼奥洛 1 1995 数据日志和逻辑数据库。 Zbl 1345.68005号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗 1 2016 第36届逻辑编程（技术通信）国际会议记录，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。 Zbl 1466.68027号 1 2020 存在规则下基于偏好的不一致容错查询应答。 Zbl 07613154号 马可·卡洛蒂；塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比西纳 1 2022 动态DeLP知识库上结构化论证的增量计算。 Zbl 1520.68179号 Gianvincenzo阿尔法诺；塞尔吉奥·格雷科；弗朗西斯科·帕里西；杰拉尔多·西马里一世。；吉列尔莫·西马里。 2 2021 抽象论证框架的语义：逻辑编程方法。 Zbl 1468.68211号 Gianvincenzo阿尔法诺；塞尔吉奥·格雷科；弗朗西斯科·帕里西；伊琳娜·特鲁比西纳 三 2020 具有递归攻击和支持关系的抽象论证框架中的动力学。 Zbl 1464.68335号 Gianvincenzo阿尔法诺；安德烈亚·科恩；塞巴斯蒂安·戈蒂弗雷迪；塞尔吉奥·格雷科；弗朗西斯科·帕里西；吉列尔莫·西马里 三 2020 第36届逻辑编程（技术通信）国际会议记录，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。 Zbl 1466.68027号 1 2020 不确定数据分层聚类的信息理论方法。 Zbl 1435.62231号 弗朗西斯科·古洛；乔瓦尼·蓬蒂；安德烈亚·塔加雷利；塞尔吉奥·格雷科 2 2017 用函数符号检测有限地逻辑程序的可判定类。 兹比尔1407.68078 马可·卡洛蒂；塞尔吉奥·格雷科；伊琳娜·特鲁比西纳 1 2017 动态论证框架确定性扩展的增量计算。 Zbl 1483.68379号 塞尔吉奥·格雷科；弗朗西斯科·帕里西 5 2016 数据日志和逻辑数据库。 兹比尔1345.68005 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗 1 2016 用函数符号检查逻辑程序自下而上评估的终止。 Zbl 1379.68051号 马可·卡洛蒂；塞尔吉奥·格雷科；弗朗西斯卡·斯佩萨诺；伊琳娜·特鲁比西纳 4 2015 带函数符号的逻辑编程：通过程序装饰检查自下而上求值的终止。 Zbl 1286.68045号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比西纳 三 2013 用功能符号终止逻辑程序。 Zbl 1281.68065号 塞尔吉奥·格雷科；弗朗西斯卡·斯佩萨诺；伊琳娜·特鲁比西纳 4 2012 关系数据库中的不完整数据和数据依赖关系。 Zbl 1254.68006号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；弗朗西斯科·斯佩萨诺 三 2012 不一致数据库上的概率查询应答。 Zbl 1250.68097号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗 2 2012 \（mathcal{NPD}）atalog：一种逻辑语言，用于表示搜索和优化问题。 Zbl 1191.68150号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗；伊琳娜·特鲁比西纳；埃斯特·赞帕诺 2 2010 用于准确快速相似性检测的时间序列表示模型。 Zbl 1175.68361号 弗朗西斯科·古洛；乔瓦尼·蓬蒂；安德烈亚·塔加雷利；塞尔吉奥·格雷科 2 2009 可扩展的不确定性管理。第二届国际会议，2008年10月1日至3日，意大利那不勒斯，SUM 2008。诉讼程序。 Zbl 1147.68307号 4 2008 用于查询和修复不一致数据库的三值语义。 Zbl 1138.68031号 菲利波·富法罗；塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗 三 2007 在三值语义下查询和修复不一致的数据库。 Zbl 1213.68236号 塞尔吉奥·格雷科；克里斯蒂安·莫里纳罗 2 2007 关于带有偏好的逻辑程序的语义。 兹比尔1182.68109 格雷科，S。；Trubitsyna，I。；祖帕诺，E。 2 2007 用于完整性维护的生产规则的声明性语义。 Zbl 1131.68371号 卢西亚诺卡罗普莱斯；塞尔吉奥·格雷科；克里斯蒂娜·西兰吉罗；埃斯特·赞帕诺 7 2006 半结构化数据库上的加权路径查询。 Zbl 1101.68517号 塞尔吉奥·弗莱斯卡；菲利波·富法罗；塞尔吉奥·格雷科 三 2006 用于图形查询的部分有序正则语言。 Zbl 1076.68039号 塞尔吉奥·弗莱斯卡；塞尔吉奥·格雷科 三 2005 带约束的界析取查询的优化。 Zbl 1085.68019号 吉安路易吉·格雷科；塞尔吉奥·格雷科；伊琳娜·特鲁比西纳；埃斯特·赞帕诺 三 2005 支持网站导航的协作过滤。 Zbl 1062.68507号 吉安路易吉·格雷科；塞尔吉奥·格雷科；埃斯特·赞帕诺 1 2004 人工智能中的逻辑。第八届欧洲会议，JELIA 2002，意大利科森扎，2002年9月23日至26日。诉讼程序。 Zbl 0997.00032号 2 2002 推送极值聚合以优化逻辑查询。 Zbl 1006.68669号 菲利波·富法罗；塞尔吉奥·格雷科；苏米特·甘古利；卡洛·扎尼奥洛 2 2002 数据日志中的搜索和优化问题。 Zbl 1012.68516号 塞尔吉奥·格雷科；多梅尼科·萨卡 1 2002 集成、修复和查询不一致数据库的逻辑编程方法。 Zbl 1053.68564号 吉安路易吉·格雷科；塞尔吉奥·格雷科；埃斯特·赞帕诺 11 2001 数据日志中的贪婪算法。 Zbl 1066.68572号 塞尔吉奥·格雷科；卡洛·扎尼奥洛 4 2001 活动规则的声明性语义。 Zbl 1066.68522号 塞尔吉奥·弗莱斯卡；塞尔吉奥·格雷科 2 2001 扩展分层数据日志以捕获从\（mathcal P）到\（Cal Q \ mathcal H）的复杂性类。 Zbl 0973.68075号 塞尔吉奥·格雷科；多梅尼科·萨卡；卡洛·扎尼奥洛 1 2001 用于查询类似图形的数据的图形语法。 Zbl 1262.68077号 弗莱斯卡，S。；弗法罗。；格雷科，S。 1 2001 查询不一致的数据库。 Zbl 0988.68061号 塞尔吉奥·格雷科；埃斯特·赞帕诺 8 2000 DATALOG确定性语义的复杂性和表达能力。 Zbl 1045.68514号 塞尔吉奥·格雷科；多梅尼科·萨卡 1 1999 用于优化链逻辑查询的语法和自动机。 兹比尔1319.68071 塞尔吉奥·格雷科；多梅尼科·萨卡；卡洛·扎尼奥洛 1 1999 演绎数据库中的非确定性编程。 Zbl 0880.68030号 吉安诺蒂，福斯卡；塞尔吉奥·格雷科；多梅尼科·萨卡；卡洛·扎尼奥洛 8 1997 “可能是肯定的”是可取的，可以表达。 Zbl 0880.68011号 塞尔吉奥·格雷科；多梅尼科·萨卡 4 1997 独特的完全稳定模型语义的表达能力。 Zbl 1401.68027号 弗朗西斯科·布卡弗里；塞尔吉奥·格雷科；多梅尼科·萨卡 1 1997 逻辑语言中有界集合项的匹配\（{\mathcal LDL}^{+}\）。 Zbl 0873.68025号 纳特拉杰·阿尔尼；塞尔吉奥·格雷科；多梅尼科·萨卡 1 1996 演绎数据库中的极限谓词。 Zbl 0831.68041号 苏米特·甘古利；塞尔吉奥·格雷科；卡洛·扎尼奥洛 三 1995 优化链式逻辑程序的下推方法。 Zbl 1412.68031号 塞尔吉奥·格雷科；多梅尼科·萨卡；卡洛·扎尼奥洛 1 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名154位作者引用 18 塞尔吉奥·格雷科 8 伊琳娜·特鲁比西纳 7 克里斯蒂安·莫里纳罗 6 马可·卡洛蒂 4 奥费尔·阿列利 4 利奥波多·贝尔托西。 4 塞尔吉奥·弗莱斯卡 4 弗朗西斯科·帕里西 三 Gianvincenzo阿尔法诺 三 路易斯·克鲁兹·菲利佩 三 菲利波·富法罗 三 吉安路易吉·格雷科 三 尼古拉·利昂 三 卡洛·扎尼奥洛 2 马里奥·阿尔维亚诺 2 莫里斯·布吕诺格 2 卢西亚诺卡罗普莱斯 2 简·乔米奇 2 泰森·康迪 2 达斯，阿里亚姆 2 马克·德内克 2 托马斯·艾特 2 沃尔夫冈·费伯 2 马泰奥·因特兰迪 2 罗伯特·A·科瓦尔斯基。 2 法布里齐奥·里古齐 2 多梅尼科·萨卡 2 法里巴·萨德里 2 亚历山大·什卡普斯基 2 杰拉尔多·西马里一世。 2 吉列尔莫·里卡多·西马里 2 特鲁什琴斯基，米洛斯奥 2 杨默翰 1 奥古兹·阿基利奇 1 萨迪亚·阿尔巴内 1 苏珊·阿尔宾。 1 马塞洛·阿里纳斯 1 斯特凡诺·巴斯塔 1 多萝西娅·鲍迈斯特 1 克里斯托弗·贝亚特里克斯 1 埃琳娜·贝洛迪 1 雷切尔·本·埃利亚胡·佐哈里 1 巴特·博加特 1 伦纳德·博塔 1 洛雷托·布拉沃 1 布鲁尼，雷纳托 1 弗朗西斯科·布卡弗里 1 道格拉斯·森泽 1 费德里科·塞鲁蒂 1 安德烈亚·科恩 1 谢·科恩（Shay B.Cohen）。 1 朱塞佩·科塔 1 亨德里克·德克尔 1 阿戈斯蒂诺·多维尔 1 彼得·法利舍夫斯基 1 豪尔赫·范丁诺 1 纪尧姆·费伊莱德 1 迈克尔·芬克 1 法比奥·加利亚迪·科兹曼 1 亚历杭德罗·哈维尔·加西亚 1 劳伦特·加西亚 1 格拉萨·加斯帕 1 马西米利亚诺·贾科明 1 福斯卡·吉安诺蒂 1 路易斯·戈多 1 亚历山大·戈尔班（Alexander N.Gorban）。 1 塞巴斯蒂安·戈蒂弗雷迪 1 沙拉布·古普塔 1 何欣 1 赫马斯潘德拉，A车道。 1 安德烈亚斯·赫齐格 1 J.安德鲁·豪 1 赫里斯托娃，卡蒂亚 1 马蒂·Järvisalo 1 巴德丽娜斯·贾库马尔 1 Jeong，Myong K。 1 金、欣 1 卡普，约书亚 1 哈马马切·卡杜奇 1 托马斯·克伦瓦尔纳 1 伊芙琳娜·拉姆 1 法兰克·勒 1 克莱尔·莱夫雷 1 尤利亚·利勒 1 林方珍 1 刘燕红安妮 1 豪尔赫·洛博 1 马洁菲 1 佐兰·马奇奇 1 马可·曼纳 1 Jerzy Marcinkowski 1 V.Wiktor马雷克 1 Denis Deratani毛阿 1 托马斯·安德烈亚斯·梅耶 1 西姆兰·米什拉 1 Morveli Espinoza，玛丽埃拉 1 库沙尔·穆克吉 1 丹尼尔·纽格鲍尔 1 胡安·卡洛斯·尼维斯 1 安德烈亚斯·尼斯卡宁 …还有54位作者 全部的 前5名19篇连载文章中引用 12 逻辑程序设计理论与实践 11 数学与人工智能年鉴 9 人工智能 4 计算机与系统科学杂志 4 理论计算机科学 4 信息与计算 三 国际近似推理杂志 2 新一代计算 2 ACM计算逻辑事务 2 计算机科学评论 1 离散应用数学 1 数学生物学通报 1 模糊集与系统 1 顺序分析 1 运筹学年鉴 1 模式识别 1 人工智能研究杂志 1 约束条件 1 应用逻辑杂志 全部的 前5名10个领域引用 76 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 5 统计学（62-XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文