编辑配置文件(在新选项卡中打开) 杰拉尔德·菲弗 合著者距离 作者ID: pfeifer.gerald公司 发布日期: 杰拉尔德·菲弗;普费弗,G。 编入索引的文档: 21出版物自2000年起 1名编辑贡献 合著者: 14合著者具有21联合出版物 403合著作者 全部的 前5名合著者 1 单作者的 21 尼古拉·利昂 19 沃尔夫冈·费伯 11 托马斯·艾特 8 Polleres,阿克塞尔 4 蒂娜·德尔阿米 4 朱塞佩,伊尔帕 4 西蒙娜·佩里 3 科赫(Christoph T.Koch)。 2 弗朗西斯科·卡利默里 2 格奥尔格·戈特洛布 1 迈克尔·盖尔芬德 1 乔瓦姆巴蒂斯塔·伊安尼 1 弗朗西斯科·里卡 1 弗朗西斯科·斯卡切罗 全部的 前5名系列 3 人工智能 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 1 人工智能研究杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 计算机科学课堂讲稿 领域 22 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用385中的次290文件 引用人▼ 年份▼ 用于知识表示和推理的DLV系统。 Zbl 1367.68308号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;托马斯·艾特;格奥尔格·戈特洛布;西蒙娜·佩里;弗朗西斯科·斯卡切罗 162 2006 答案集编程中递归聚合的语义和复杂性。 Zbl 1216.68263号 沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 57 2011 析取逻辑程序中的递归聚合:语义和复杂性。 Zbl 1111.68380号 沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 45 2004 DLV系统中聚合功能的设计和实现。 Zbl 1156.68010号 沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂;蒂娜·德尔阿米;朱塞佩·埃尔帕 19 2008 使用DLV系统解决声明性问题。 Zbl 0979.68091号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 18 2000 知识状态规划的逻辑编程方法。二: DLV(^\mathcal K)系统。 Zbl 1079.68619号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 18 2003 一种用于知识状态规划、语义和复杂性的逻辑编程方法。 Zbl 1367.68301号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 18 2004 回答行动成本下的集合计划。 Zbl 1026.68124号 T·艾特。;W.费伯。;北卡罗来纳州塞拉利昂。;Pfeifer,G。;Poleres,A。 9 2003 在答案集编程中通过元解释计算首选答案集。 Zbl 1079.68096号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 7 2003 DLV系统。 Zbl 1014.68871号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;弗朗西斯科·卡利默里;蒂娜·德尔阿米;托马斯·艾特;格奥尔格·戈特洛布;乔瓦姆巴蒂斯塔·伊安尼;朱塞佩·埃尔帕;科赫,克里斯托夫;西蒙娜·佩里;Polleres,阿克塞尔 7 2002 通过SAT检查器增强析取逻辑编程系统。 Zbl 1082.68525号 克里斯托弗·科赫;尼古拉·利昂;杰拉尔德·菲弗 7 2003 不完全知识下的计划。 Zbl 0983.68539号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 6 2000 析取逻辑编程系统的剪枝运算符。 Zbl 1095.68114号 弗朗西斯科·卡利默里;沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 5 2006 优化答案集编程系统的启发式计算。 Zbl 1010.68533号 沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 4 2001 DLV计划系统:进度报告。 Zbl 1014.68872号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 2 2002 改进模型生成/检查的相互作用,以增强析取程序的评估。 Zbl 1122.68387号 杰拉尔德·菲弗 1 2004 回答集编程中递归聚合的语义和复杂性。 Zbl 1216.68263号 沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 57 2011 DLV系统中聚合功能的设计和实现。 Zbl 1156.68010号 沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂;戴尔;蒂娜·阿米;朱塞佩·埃尔帕 19 2008 用于知识表示和推理的DLV系统。 Zbl 1367.68308号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;托马斯·艾特;格奥尔格·戈特洛布;西蒙娜·佩里;弗朗西斯科·斯卡切罗 162 2006 析取逻辑编程系统的剪枝运算符。 Zbl 1095.68114号 弗朗西斯科·卡利默里;沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 5 2006 析取逻辑程序中的递归聚合:语义和复杂性。 Zbl 1111.68380号 沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 45 2004 一种用于知识状态规划、语义和复杂性的逻辑编程方法。 Zbl 1367.68301号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 18 2004 改进模型生成/检查的相互作用,以增强析取程序的评估。 Zbl 1122.68387号 杰拉尔德·菲弗 1 2004 知识状态规划的逻辑编程方法。二: DLV(^\mathcal K)系统。 Zbl 1079.68619号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 18 2003 回答行动成本下的集合计划。 Zbl 1026.68124号 T·艾特。;W.费伯。;北卡罗来纳州塞拉利昂。;普费弗,G。;Polleres,A。 9 2003 在答案集编程中通过元解释计算首选答案集。 Zbl 1079.68096号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 7 2003 通过SAT检查器增强析取逻辑编程系统。 Zbl 1082.68525号 科赫,克里斯托夫;尼古拉·利昂;杰拉尔德·菲弗 7 2003 DLV系统。 Zbl 1014.68871号 尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;弗朗西斯科·卡利默里;戴尔;蒂娜·阿米;托马斯·艾特;格奥尔格·戈特洛布;乔瓦姆巴蒂斯塔·伊安尼;朱塞佩·埃尔帕;克里斯托弗·科赫;西蒙娜·佩里;Polleres,阿克塞尔 7 2002 DLV计划系统:进度报告。 Zbl 1014.68872号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 2 2002 优化答案集编程系统的启发式计算。 Zbl 1010.68533号 沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 4 2001 使用DLV系统解决声明性问题。 Zbl 0979.68091号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗 18 2000 不完全知识下的计划。 Zbl 0983.68539号 托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 6 2000 所有引用出版物 前5名被引用出版物 全部的 前5名被409位作者引用 31 托马斯·艾特 19 尼古拉·利昂 17 弗朗西斯科·里卡 16 马里奥·阿尔维亚诺 15 马丁·格布瑟 14 托尔斯滕·绍布(Torsten H.Schaub)。 13 沃尔夫冈·费伯 13 马可·马拉提亚 12 卡明·多达罗 12 迈克尔·芬克 11 斯特凡·沃尔特兰 10 托马斯·克伦瓦尔纳 9 乔瓦姆巴蒂斯塔·伊安尼 8 马丁·德·科克 8 迈克尔·盖尔芬德 8 史蒂文·肖卡特 8 彼得·舒勒 7 弗朗西斯科·卡利默里 7 汉斯·托姆皮茨 7 特鲁什琴斯基,米洛斯奥 6 巴特·博加特 6 豪尔赫·范丁诺 6 尤利亚·利勒 6 弗拉基米尔·利夫希茨 6 托马斯·卢卡西维奇 6 西蒙娜·佩里 6 克里斯托夫·雷德尔 6 沈一东 5 乔瓦尼·阿蒙多拉 5 格哈德·布鲁卡 5 佩德罗·卡巴拉尔 5 马克·德内克 5 埃斯拉·埃尔登 5 汤米·詹胡宁 5 罗兰·卡明斯基 5 哈维尔·罗梅罗 5 儿子Tran Cao 5 王克文 5 你,嘉慧 5 Jessica Zangari 4 利奥波多·贝尔托西。 4 明州道特兰 4 劳伦特·加西亚 4 恩里科Giunchilia 4 吉安路易吉·格雷科 4 林方珍 4 马可·曼纳 4 Johannes Oetsch 4 路易吉·帕洛波利 4 杰拉尔德·菲弗 4 约格·普勒 4 斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 4 德克·维尔梅尔 3 费利西达·阿瓜多 3 安娜斯塔西娅·安娜斯塔西 3 法布里齐奥·安吉乌利 3 格里戈里斯·安东尼奥 3 哈拉尔德·贝克 3 雷切尔·本·埃利亚胡·佐哈里 3 伯恩哈德·布利姆 3 马可·卡多利 3 詹姆斯·德尔格兰德。 3 阿戈斯蒂诺·多维尔 3 约翰·克劳斯·费希特 3 格哈德·弗里德里希(Gerhard E.Friedrich)。 3 格奥尔格·戈特洛布 3 杰罗·扬森 3 本杰明·考夫曼 3 马蒂亚斯·克诺尔 3 Lee,Joohyng先生 3 克莱尔·莱夫雷 3 托尼·曼奇尼 3 V.Wiktor马雷克 3 迈克尔·莫拉克 3 吉尔伯托·佩雷斯 3 利维亚·普雷多尤 3 杰弗里·布赖恩·雷梅尔 3 法布里西奥·里古齐 3 亚历山德拉·拉索。 3 泽尼普·戈岑·萨里巴特 3 伊戈尔·斯特芬 3 海纳·斯塔肯施密特 3 理查德·塔普 3 乔治·特拉西纳 3 康塞普西翁·维达尔 3 安东尼乌斯·温齐尔 3 张燕 3 周毅 2 达米亚诺·阿佐利尼 2 奇塔·R·巴拉尔。 2 克里斯托弗·贝亚特里克斯 2 皮耶乔治·贝尔托利 2 曼纽尔·比什勒 2 乔里·博曼森 2 洛雷托·布拉沃 2 Krysia B.布罗达。 2 莫里斯·布吕诺格 2 安德烈·卡利 2 陈,尹 2 亚历山德罗·西马蒂 …还有309名作者 全部的 前5名19篇连载文章中引用 84 逻辑程序设计理论与实践 57 人工智能 21 数学与人工智能年鉴 8 国际近似推理杂志 4 计算机与系统科学杂志 4 限制条件 4 应用逻辑杂志 3 自动推理杂志 3 机器学习 3 应用非经典逻辑杂志 3 ACM计算逻辑事务 2 模糊集与系统 2 Studia Logica公司 2 理论计算机科学 2 计算机基础理论 2 计算机科学评论 1 哲学逻辑杂志 1 数据库的基础和趋势 1 科学中国。信息科学 全部的 前5名10个领域引用 287 计算机科学(68至XX) 23 数学逻辑和基础(03-XX) 8 运筹学、数学规划(90-XX) 5 生物学和其他自然科学(92-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 统计学(62-XX) 按年份列出的引文