杰拉尔德·菲弗
人员信息
附属: 奥地利维也纳理工大学
优化列表
![笔记](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
2010 – 2019
2000 – 2009
2008 [公元10年] 沃尔夫冈·费伯 , 杰拉尔德·菲弗 , 尼古拉·利昂 , 蒂娜·德尔·阿米 , 朱塞佩·埃尔帕 :
DLV系统中聚合功能的设计和实现。 理论与实践。 日志。 程序。 8 ( 5-6 ) : 545-580 ( 2008 ) [i5] 沃尔夫冈·费伯 , 杰拉尔德·菲佛 , 尼古拉·利昂 , 蒂娜·德尔·阿米 , 朱塞佩·埃尔帕 :
DLV系统中聚合功能的设计与实现。 CoRR公司 abs/0802.3137 ( 2008 ) 2007 [公元9年] 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 弗朗西斯科·里卡 :
析取逻辑编程中的先行启发式。 安。数学。 Artif公司。 智力。 51 ( 2-4 ) : 229-266 ( 2007 ) 2006 [j8] 弗朗西斯科·卡利默里 , 沃尔夫冈·费伯 , 杰拉尔德·菲弗 , 尼古拉·利昂 :
析取逻辑程序设计系统的剪枝算子。 芬丹。 信息学 71 ( 2-3 ) : 183-214 ( 2006 ) [j7] 尼古拉·利昂 , 杰拉尔德·菲弗 , 沃尔夫冈·费伯 , 托马斯·艾特 , 乔治·戈特洛布 , 西蒙娜·佩里 , 弗朗西斯科·斯卡切罗 :
用于知识表示和推理的DLV系统。 ACM事务处理。 计算。 日志。 7 ( 三 ) : 499-562 ( 2006 ) 2004 [j6] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 阿克塞尔·波利斯 :
知识状态规划的逻辑编程方法:语义和复杂性。 ACM事务处理。 计算。 日志。 5 ( 2 ) : 206-263 ( 2004 ) [公元27年] 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
析取逻辑程序中的递归聚合:语义和复杂性。 杰莉亚 2004 : 200-212 [公元26年] 弗朗西斯科·卡利默里 , 曼努埃拉·西蒂尼诺 , 奇亚拉·坎博 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 西蒙娜·佩里 , 杰拉尔德·菲弗 :
用于数据集成的新DLV功能。 杰莉亚 2004 : 698-701 [公元25年] 托马斯·艾特 , 沃尔夫冈·法伯 , 迈克尔-芬克 , 杰拉尔德·菲弗 , 斯特凡·沃尔特兰 :
非圆答案集编程中模型检查和有界谓词的复杂性。 韩国 2004 : 377-387 [公元24年] 杰拉尔德·菲弗 :
改进模型生成/检查交互以增强析取程序的评估。 低密度核磁共振 2004 : 220-233 【c23】 蒂娜·德尔·阿米 , 沃尔夫冈·费伯 , 朱塞佩·埃尔帕 , 尼古拉·利昂 , 西蒙娜·佩里 , 杰拉尔德·菲弗 :
系统描述:带聚合的DLV。 低密度核磁共振 2004 : 326-330 [公元22年] 文森齐诺·里奥 , 杰拉尔德·菲弗 :
数据日志系统与数据库管理系统的互操作性:DLV。 SEBD公司 2004 : 42-53 2003 [j5] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 阿克塞尔·波利斯 :
知识状态规划的逻辑编程方法II:DLV K 系统。 Artif公司。 智力。 144 ( 1-2 ) : 157-211 ( 2003 ) 【j4】 克里斯托夫·科赫 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
通过SAT检查器增强析取逻辑编程系统。 Artif公司。 智力。 151 ( 1-2 ) : 177-212 ( 2003 ) [j3] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 阿克塞尔·波利斯 :
行动成本下的回答集计划。 J.阿蒂夫。 因特尔。 物件。 19 : 25-71 ( 2003 ) [注2] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
在答案集编程中通过元解释计算首选答案集。 理论与实践。 日志。 程序。 三 ( 4-5 ) : 463-498 ( 2003 ) 【c21】 杰拉尔德·菲弗 :
更快地解决硬析取逻辑程序(有时)。 APPIA-GULP-PRODE公司 2003 : 226-237 [公元20年] 蒂娜·德尔·阿米 , 沃尔夫冈·费伯 , 朱塞佩·埃尔帕 , 尼古拉·莱昂内 , 杰拉尔德·菲弗 :
DLV中的聚合函数。 答案集编程 2003 [第19条] 托马斯·艾特 , 沃尔夫冈·费伯 , 迈克尔-芬克 , 杰拉尔德·菲弗 , 斯特凡·沃尔特兰 :
非圆答案集编程中答案集检查的复杂性和有界谓词的有效性。 答案集编程 2003 [第18条] 蒂娜·德尔·阿尔米 , 沃尔夫冈·费伯 , 朱塞佩·埃尔帕 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
析取逻辑编程中的聚合函数:语义、复杂性和DLV中的实现。 国际JCAI 2003 : 847-852 2002 [第17条] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 阿克塞尔·波勒 :
回答行动成本下的集合计划。 杰莉亚 2002 : 186-197 [第16条] 尼古拉·利昂 , 杰拉尔德·菲弗 , 沃尔夫冈·费伯 , 弗朗西斯科·卡利默里 , 蒂娜·德尔·阿尔米 , 托马斯·艾特 , 乔治·戈特洛布 , 乔瓦姆巴蒂斯塔·伊安尼 , 朱塞佩·埃尔帕 , 克里斯托夫·科赫 , 西蒙娜·佩里 , 阿克塞尔·波利斯 :
DLV系统。 杰莉亚 2002 : 537-540 [第15条] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲佛 , 阿克塞尔·波利斯 :
DLV公司 K 计划系统:进度报告。 杰莉亚 2002 : 541-544 [第14条] 弗朗西斯科·卡利默里 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
答案集编程系统的删减运算符。 核磁共振 2002 : 200-209 [i4] 尼古拉·利昂 , 杰拉尔德·菲弗 , 沃尔夫冈·费伯 , 托马斯·艾特 , 乔治·戈特洛布 , 西蒙娜·佩里 , 弗朗西斯科·斯卡切罗 :
用于知识表示和推理的DLV系统。 CoRR公司 反恐精英。 AI/0211004 ( 2002 ) [i3] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
在答案集编程中通过元解释计算首选答案集。 CoRR公司 反恐精英。 LO/0201013 ( 2002 ) 2001 [第13条] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
答案集编程中基于元解释的优先和弱优先答案集计算。 答案集编程 2001 [第12条] 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
试探答案集编程的启发式。 国际JCAI 2001 : 635-640 [第11条] 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
优化答案集编程系统的启发式计算。 低密度核磁共振 2001 : 295-308 [第10条] 蒂娜·德尔·阿米 , 沃尔夫冈·费伯 , 朱塞佩·埃尔帕 , 克里斯托夫·科赫 , 尼古拉·莱昂内 , 西蒙娜·佩里 , 杰拉尔德·菲弗 :
系统描述:DLV。 低密度核磁共振 2001 : 424-428 【c9】 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 阿克塞尔·波利斯 :
系统描述:DLV K 规划系统。 低密度核磁共振 2001 : 429-433 [i2] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 阿克塞尔·波勒 :
知识状态规划的逻辑编程方法:语义和复杂性。 CoRR公司 反恐精英。 AI/0112006 ( 2001 ) 2000 【c8】 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 阿克塞尔·波利斯 :
不完全知识下的计划。 计算逻辑 2000 : 807-821 【c7】 托马斯·艾特 , 沃尔夫冈·法伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 , 阿克塞尔·波勒 :
使用dlv系统进行规划和诊断推理。 WLP(WLP) 2000 : 125-134 [i1] 托马斯·艾特 , 沃尔夫冈·费伯 , 克里斯托夫·科赫 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
DLV-一个声明性问题解决系统。 CoRR公司 反恐精英。 AI/0003036号文件 ( 2000 )
1990 – 1999
1999 [j1] 托马斯·艾特 , 沃尔夫冈·费伯 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
数字电视系统的诊断前端。 AI通讯。 12 ( 1-2 ) : 99-111 ( 1999 ) 【c6】 沃尔夫冈·费伯 , 尼古拉·莱昂内 , 杰拉尔德·菲弗 :
在DLP计算中推导出目标。 低密度核磁共振 1999 : 177-191 [电子1] 迈克尔·盖尔丰德 , 尼古拉·利昂 , 杰拉尔德·菲弗 :
逻辑编程与非单调推理,第五届国际会议,LPNMR’99,美国德克萨斯州埃尔帕索,1999年12月2-4日,会议记录。 计算机科学课堂讲稿 1730, 施普林格 1999 ,十亿 3-540-66749-0 [目录] 1998 【c5】 托马斯·艾特 , 尼古拉·莱昂内 , Cristinel Mateis公司 , 杰拉尔德·菲弗 , 弗朗西斯科·斯卡切罗 :
析取演绎数据库系统进展报告 数字电视 . FQAS公司 1998 : 148-163 【c4】 托马斯·艾特 , 尼古拉·利昂 , Cristinel Mateis公司 , 杰拉尔德·菲弗 , 弗朗西斯科·斯卡切罗 :
KR系统dlv:进度报告、比较和基准。 韩国 1998 : 406-417 1997 【c3】 托马斯·艾特 , 尼古拉·利昂 , Cristinel Mateis公司 , 杰拉尔德·菲弗 , 弗朗西斯科·斯卡切罗 :
析取演绎数据库系统的体系结构。 APPIA-GULP-PRODE公司 1997 : 141-152 【c2】 托马斯·艾特 , 尼古拉·利昂 , Cristinel Mateis公司 , 杰拉尔德·菲弗 , 弗朗西斯科·斯卡切罗 :
非单调推理的演绎系统。 低密度核磁共振 1997 : 364-375 【c1】 西蒙娜·西蒂尼诺 , 托马斯·艾特 , 沃尔夫冈·费伯 , 乔治·戈特洛布 , 克里斯托夫·科赫 , 尼古拉·利昂 , Cristinel Mateis公司 , 杰拉尔德·菲弗 , 弗朗西斯科·斯卡切罗 :
dlv系统:模型生成器和高级前端(系统描述)。 WLP(WLP) 1997
合著者索引
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)