×
作者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
一种用于知识状态规划、语义和复杂性的逻辑编程方法。 Zbl 1367.68301号
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔
18
2004
知识状态规划的逻辑编程方法。二: DLV(^\mathcal K)系统。 Zbl 1079.68619号
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔
18
2003
回答行动成本下的计划。 Zbl 1026.68124号
T·艾特。;W.费伯。;北卡罗来纳州塞拉利昂。;普费弗,G。;Poleres,A。
9
2003
DLV系统。 Zbl 1014.68871号
尼古拉·利昂;杰拉尔德·菲弗;沃尔夫冈·费伯;弗朗西斯科·卡利默里;蒂娜·德尔阿米;托马斯·艾特;乔治·戈特洛布;乔瓦姆巴蒂斯塔·伊安尼;朱塞佩·埃尔帕;科赫,克里斯托夫;西蒙娜·佩里;Polleres,阿克塞尔
7
2002
在答案集编程中通过元解释计算首选答案集。 Zbl 1079.68096号
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗
7
2003
通过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)系统。 兹比尔1079.68619
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔
18
2003
回答行动成本下的集合计划。 Zbl 1026.68124号
T·艾特。;W.费伯。;北卡罗来纳州塞拉利昂。;Pfeifer,G。;Poleres,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 德克·弗梅尔
费利西达·阿瓜多
安娜斯塔西娅·安娜斯塔西
法布里西奥·安吉乌利
格里戈里斯·安东尼奥
哈拉尔德·贝克
雷切尔·本·埃利亚胡·佐哈里
伯恩哈德·布利姆
马可·卡多利
詹姆斯·德尔格兰德。
阿戈斯蒂诺·多维尔
约翰·克劳斯·费希特
格哈德·弗里德里希(Gerhard E.Friedrich)。
乔治·戈特洛布
杰罗·扬森
本杰明·考夫曼
克诺尔,马蒂亚斯
Lee,Joohyng先生
克莱尔·莱夫雷
托尼·曼奇尼
V.Wiktor马雷克
迈克尔·莫拉克
吉尔伯托·佩雷斯
利维亚Predoiu
杰弗里·布赖恩·雷梅尔
法布里西奥·里古齐
亚历山德拉·拉索。
泽尼普·戈岑·萨里巴特
伊戈尔·斯特芬
海纳·斯塔肯施密特
理查德·塔普
乔治·特拉西纳
康塞普西翁·维达尔
安东尼乌斯·温齐尔
张燕
周毅
2 达米亚诺·阿佐里尼
2 奇塔·R·巴拉尔。
2 克里斯托弗·贝亚特里克斯
2 皮耶乔治·贝尔托利
2 曼纽尔·比什勒
2 乔里·博曼森
2 洛雷托·布拉沃
2 布罗达,Krysia B。
2 莫里斯·布吕诺格
2 安德烈·卡利
2 陈,尹
2 亚历山德罗·西马蒂
…还有309名作者

按年份列出的引文