×
作者ID: pfeifer.gerald公司“Pfeifer,Gerald”最近发表的zbMATH文章
发布日期: 杰拉尔德·菲弗;普费弗,G。
编入索引的文档: 21出版物自2000年起
1名编辑贡献
合著者: 14合著者具有21联合出版物
403合著作者

按年份列出的出版物

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名

被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名作者

按年份列出的引文