编辑配置文件（在新选项卡中打开） 弗朗西斯科·卡利默里 合著者距离 作者ID： 卡利默里·弗朗西斯科 发布日期： 弗朗西斯科·卡利默里;Calimeri，F。 外部链接： 逆戟鲸 编入索引的文档： 23出版物自2002年起 4作为编辑的贡献 合著者： 41位合著者具有27联合出版物 608合著作者 全部的 前5名合著者 0 单作者的 12 乔瓦姆巴蒂斯塔·伊安尼 11 尼古拉·利昂 10 西蒙娜·佩里 6 Jessica Zangari 5 苏珊娜·科萨 5 沃尔夫冈·费伯 5 弗朗西斯科·里卡 三 马里奥·阿尔维亚诺 2 卡明·多达罗 2 戴维·福斯卡 2 马丁·格布瑟 2 玛娜，马可 2 马可·马拉提亚 2 弗朗西斯科·帕琴察 2 杰拉尔德·菲弗 1 皮耶罗·安德里亚·博纳蒂 1 皮安吉拉·布鲁诺 1 罗伯塔·卡莱加里 1 弗朗西斯科·考特鲁西奥 1 卢卡·西内利 1 蒂娜·德尔阿米 1 法国杜兰杜比夫 1 托马斯·艾特 1 乔治·戈特洛布 1 朱塞佩·埃尔帕 1 罗兰·卡明斯基 1 科赫（Christoph T.Koch）。 1 克伦沃尔纳，托马斯 1 辛齐亚·马特 1 阿尔多·马尔祖洛 1 埃琳娜·马斯特里亚 1 Polleres，阿克塞尔 1 利维奥·罗巴尔多 1 多米尼克·萨佩·马里尼尔 1 托尔斯滕·绍布（Torsten H.Schaub）。 1 乔瓦尼·西拉古萨 1 克洛迪奥，坚韧 1 乔治·特拉西纳 1 特鲁什琴斯基，米洛斯奥 1 皮尔弗朗西斯科·维尔特里 1 埃斯特·赞帕诺 全部的 前5名系列 6 逻辑程序设计理论与实践 2 AI通信 2 逻辑与计算杂志 2 计算机科学课堂讲稿 1 人工智能 1 算法杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 1 计算机基础理论 领域 27 计算机科学（68至XX） 4 一般性和全局性主题；集合（00-XX） 三 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用193中的次140文件 引用人▼ 年份▼ ASP-Core-2输入语言格式。 兹比尔1472.68180 弗朗西斯科·卡利默里;沃尔夫冈·费伯;马丁·格布瑟;乔瓦姆巴蒂斯塔·伊安尼;罗兰·卡明斯基;托马斯·克伦瓦尔纳;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡;托尔斯滕·绍布 43 2020 第五届答案集编程竞赛的设计和结果。 Zbl 1344.68042号 弗朗西斯科·卡利默里;马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 33 2016 ASP系统DLV2。 Zbl 1472.68178号 马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;卡明·多达罗;戴维·福斯卡;尼古拉·利昂;西蒙娜·佩里;弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari 25 2017 ASP中的可计算函数：理论与实现。 Zbl 1185.68150号 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 23 2008 逻辑编程中知识和价值发明的外部来源。 Zbl 1125.68026号 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼 15 2007 DLV系统。 Zbl 1014.68871号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;弗朗西斯科·卡利默里;蒂娜·德尔阿米;托马斯·艾特;乔治·戈特洛布;乔瓦姆巴蒂斯塔·伊安尼;朱塞佩·埃尔帕;科赫，克里斯托夫;西蒙娜·佩里;Polleres，阿克塞尔 7 2002 通过基于启发式的分解优化答案集计算。 Zbl 1472.68024号 弗朗西斯科·卡利默里;西蒙娜·佩里;Jessica Zangari 6 2019 为ASP程序的实例化进行并行性实验。 Zbl 1151.68356号 Calimeri，F。;佩里，S。;F.里卡。 5 2008 析取逻辑编程系统的剪枝运算符。 兹比尔1095.68114 弗朗西斯科·卡利默里;沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 5 2006 技术说明。有效地将（mathscr{I}）-DLV接地器与ASP解算器耦合。 Zbl 1472.68179号 弗朗西斯科·卡利默里;卡明·多达罗;戴维·福斯卡;西蒙娜·佩里;Jessica Zangari 5 2020 具有聚合的答案集程序的无基础集和基础良好的语义。 Zbl 1234.68367号 马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;沃尔夫冈·费伯;尼古拉·利昂;西蒙娜·佩里 4 2011 逻辑编程和非单调推理。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。 Zbl 1320.68014号 4 2015 带有过接地的增量答案集编程。 Zbl 1434.68555号 弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼;弗朗西斯科·帕琴察;西蒙娜·佩里;Jessica Zangari 4 2019 有限递归程序：可判定性和自底向上计算。 Zbl 1235.68223号 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 三 2011 答案集求解器的外部计算源。 Zbl 1152.68400号 弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼 三 2005 析取逻辑编程的模板程序：一种操作语义。 Zbl 1104.68009号 弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼 三 2006 ASP逻辑程序的机器学习引导重写方法。 Zbl 07455725号 埃琳娜·马斯特里亚;Jessica Zangari;西蒙娜·佩里;弗朗西斯科·卡利默里 2 2020 有限递归程序自下而上求值的魔术集。 Zbl 1258.68027号 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 1 2009 ASP中的函数符号：概述和透视图。 Zbl 1259.68183号 马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;沃尔夫冈·费伯;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 1 2011 答案集编程。 兹比尔1285.68027 皮耶罗·博纳蒂;弗朗西斯科·卡利默里;尼古拉·利昂;弗朗西斯科·里卡 1 2010 ASP-Core-2输入语言格式。 Zbl 1472.68180号 弗朗西斯科·卡利默里;沃尔夫冈·费伯;马丁·格布瑟;乔瓦姆巴蒂斯塔·伊安尼;罗兰·卡明斯基;托马斯·克伦瓦尔纳;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡;托尔斯滕·绍布 43 2020 技术说明。将\（\mathscr｛I｝\）-DLV接地器与ASP解算器有效耦合。 Zbl 1472.68179号 弗朗西斯科·卡利默里;卡明·多达罗;戴维·福斯卡;西蒙娜·佩里;Jessica Zangari 5 2020 ASP逻辑程序的机器学习引导重写方法。 Zbl 07455725号 埃琳娜·马斯特里亚;Jessica Zangari;西蒙娜·佩里;弗朗西斯科·卡利默里 2 2020 通过基于启发式的分解优化答案集计算。 Zbl 1472.68024号 弗朗西斯科·卡利默里;西蒙娜·佩里;Jessica Zangari 6 2019 带有过接地的增量答案集编程。 兹比尔1434.68555 弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼;弗朗西斯科·帕琴察;西蒙娜·佩里;Jessica Zangari 4 2019 ASP系统DLV2。 Zbl 1472.68178号 马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;卡明·多达罗;戴维·福斯卡;尼古拉·利昂;西蒙娜·佩里;弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari 25 2017 第五届答案集编程竞赛的设计和结果。 Zbl 1344.68042号 弗朗西斯科·卡利默里;马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 33 2016 逻辑编程和非单调推理。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。 Zbl 1320.68014号 4 2015 具有聚合的答案集程序的无基础集和基础良好的语义。 Zbl 1234.68367号 马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;沃尔夫冈·费伯;尼古拉·利昂;西蒙娜·佩里 4 2011 有限递归程序：可判定性和自底向上计算。 Zbl 1235.68223号 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 三 2011 ASP中的函数符号：概述和透视图。 Zbl 1259.68183号 马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;沃尔夫冈·费伯;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 1 2011 答案集编程。 Zbl 1285.68027号 波纳蒂，皮耶罗;弗朗西斯科·卡利默里;尼古拉·利昂;弗朗西斯科·里卡 1 2010 有限递归程序自下而上求值的魔术集。 Zbl 1258.68027号 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 1 2009 ASP中的可计算函数：理论与实现。 Zbl 1185.68150号 弗朗西斯科·卡利默里;苏珊娜·科扎;乔瓦姆巴蒂斯塔·伊安尼;尼古拉·利昂 23 2008 ASP程序实例化的并行实验。 Zbl 1151.68356号 Calimeri，F。;佩里，S。;F.里卡。 5 2008 逻辑编程中知识和价值发明的外部来源。 Zbl 1125.68026号 弗朗西斯科·卡利默里;苏珊娜·科萨;乔瓦姆巴蒂斯塔·伊安尼 15 2007 析取逻辑编程系统的修剪运算符。 Zbl 1095.68114号 弗朗西斯科·卡利默里;沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 5 2006 析取逻辑编程的模板程序：一种操作语义。 Zbl 1104.68009号 弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼 三 2006 答案集求解器的外部计算源。 Zbl 1152.68400号 弗朗西斯科·卡利默里;乔瓦姆巴蒂斯塔·伊安尼 三 2005 DLV系统。 Zbl 1014.68871号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;弗朗西斯科·卡利默里;戴尔；蒂娜·阿米;托马斯·艾特;乔治·戈特洛布;乔瓦姆巴蒂斯塔·伊安尼;朱塞佩·埃尔帕;科赫，克里斯托夫;西蒙娜·佩里;Polleres，阿克塞尔 7 2002 所有引用出版物 前5名被引用出版物 全部的 前5名215位作者引用 15 卡明·多达罗 15 弗朗西斯科·里卡 12 马里奥·阿尔维亚诺 12 马丁·格布瑟 11 马可·马拉提亚 10 托马斯·艾特 10 尼古拉·利昂 9 尤利亚·利勒 9 托尔斯滕·绍布（Torsten H.Schaub）。 8 弗朗西斯科·卡利默里 7 沃尔夫冈·费伯 7 乔瓦姆巴蒂斯塔·伊安尼 7 Jessica Zangari 6 乔瓦尼·阿蒙多拉 6 托马斯·克伦瓦尔纳 6 西蒙娜·佩里 6 康斯坦丁·舍科提欣 5 汤米·詹胡宁 4 埃斯拉·埃尔登 4 迈克尔·芬克 4 你，嘉慧 三 明州道特兰 三 格哈德·弗里德里希（Gerhard E.Friedrich）。 三 迈克尔·盖尔芬德 三 塞尔吉奥·格雷科 三 戈帕尔·古普塔 三 罗兰·卡明斯基 三 弗朗西斯科·帕琴察 三 哈维尔·罗梅罗 三 彼得·舒勒 三 理查德·塔普 三 特鲁什琴斯基，米洛斯奥 三 安东尼乌斯·温齐尔 2 马塞洛·巴尔杜奇尼 2 雷切尔·本·埃利亚胡·佐哈里 2 利奥波多·贝尔托西。 2 巴特·博加特 2 乔里·博曼森 2 格哈德·布鲁卡 2 布罗达，Krysia B。 2 马可·卡劳蒂 2 贝尔纳多·卡特里 2 阿戈斯蒂诺·多维尔 2 穆罕默德·科拉尼。 2 安德烈亚·福米萨诺 2 莎拉·爱丽丝·加格尔 2 劳伦特·加西亚 2 菲利普·加斯泰格 2 吉安路易吉·格雷科 2 达尼埃拉·因利赞 2 尤素福·伊兹米利奥格鲁 2 本杰明·考夫曼 2 克莱尔·莱夫雷 2 弗拉基米尔·利夫希茨 2 林方珍 2 刘燕红安妮 2 克里斯蒂安·莫里纳罗 2 克里斯托夫·雷德尔 2 法布里西奥·里古齐 2 亚历山德拉·拉索。 2 萨拉查，埃尔默 2 间谍，大卫 2 伊戈尔·斯特芬 2 伊琳娜·特鲁比西纳 2 米雷克·特鲁兹琴斯基 2 毛罗·瓦拉蒂 2 王一松 2 斯特凡·沃尔特兰 2 Yang、Zhun 1 法布里西奥·安吉乌利 1 格里戈里斯·安东尼奥 1 华金·阿里亚斯 1 达米亚诺·阿佐利尼 1 Jean-François巴杰 1 乔治·巴里扬尼斯 1 巴萨基斯、索蒂利斯 1 彼得·鲍姆加特纳 1 克里斯托弗·贝亚特里克斯 1 哈拉尔德·贝克 1 托拜厄斯·贝雷 1 里卡多·贝尔托卢奇 1 曼纽尔·比什勒 1 伯恩哈德·布利姆 1 艾苏省波加塔坎 1 伊丽莎·伯尔 1 斯特凡·布拉斯 1 亚历克斯·布里克 1 皮安吉拉·布鲁诺 1 斯蒂芬·巴特勒 1 阿莱西奥·卡皮塔内利 1 卢西亚诺卡罗普莱斯 1 曼纽尔·卡罗 1 弗朗西斯科·考特鲁西奥 1 道格拉斯·岑泽 1 卢卡什Chrpa 1 卢卡·西内利 1 斯特凡妮娅·科斯坦蒂尼 1 苏珊娜·科萨 1 马修·克罗斯比 1 马尔科·德·博托利 …还有115位作者 全部的 前5名12篇连载文章中引用 51 逻辑程序设计理论与实践 14 人工智能 8 数学与人工智能年鉴 三 机器学习 2 人工智能研究杂志 2 计算机基础理论 2 ACM计算逻辑事务 1 计算机与系统科学杂志 1 国际近似推理杂志 1 AI通信 1 应用非经典逻辑杂志 1 约束条件 全部的 前5名在8个字段中引用 139 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 2 统计学（62-XX） 2 生物学和其他自然科学（92-XX） 1 一般性和全局性主题；集合（00-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文