沃尔夫冈·费伯;迈克尔·莫拉克;斯特凡·沃尔特兰 论认知逻辑程序的一致等价性。 (英语) Zbl 1434.68073号 理论与实践。日志。程序。 19,编号5-6,826-840(2019).MSC公司:68N17号 03B42号 65年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,《理论与实践》。日志。程序。19,编号5--6,826--840(2019;Zbl 1434.68073) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·格布瑟 在答案集编程中重写递归聚合:回到单调性。 (英语) Zbl 1379.68034号 理论与实践。日志。程序。 15,No.4-5,559-573(2015).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。15、编号4--5、559--573(2015;Zbl 1379.68034) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯 支持具有广义原子的逻辑程序的稳定答案集。 (英语) Zbl 1365.68147号 Cate,Balder(编辑)等人,《Web推理和规则系统》。2015年8月4日至5日在德国柏林举行的2015年RR第九届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-22001-7/pbk;978-3-3169-22002-4/电子书)。《计算机科学讲义》9209,30-44(2015)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{W.Faber},莱克特。注释计算。科学。9209,30--44(2015;Zbl 1365.68147) 全文: 内政部
马里奥·阿尔维亚诺;沃尔夫冈·费伯;斯特凡·沃尔特兰 ASP中超相干问题的复杂性。 (英语) Zbl 1312.68034号 理论与实践。日志。程序。 14,第3期,339-361(2014).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。14,第3号,339--361(2014;Zbl 1312.68034) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;尼古拉·利昂;马可·曼纳 带存在量词的析取数据日志:语义、可判定性和复杂性问题。 (英语) 兹比尔1260.68055 理论与实践。日志。程序。 12,No.4-5,701-718(2012).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。12、编号4--5、701--718(2012;Zbl 1260.68055) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;吉安路易吉·格雷科;尼古拉·利昂 析取数据日志程序的魔术集。 (英语) 兹比尔1251.68051 Artif公司。智力。 187-188156-192(2012年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,Artif。智力。187-18156-192(2012年;Zbl 1251.68051) 全文: 内政部 arXiv公司
沃尔夫冈·费伯;尼古拉·利昂;西蒙娜·佩里 DLV的智能接地器。 (英语) Zbl 1357.68032号 Erdem,Esra(编辑)等人,《正确的推理》。为纪念弗拉基米尔·利夫希茨而撰写的基于逻辑的人工智能论文。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学课堂讲稿7265,247-264(2012)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,Lect。注释计算。科学。7265,247--264(2012;Zbl 1357.68032) 全文: 内政部
沃尔夫冈·费伯;杰拉尔德·菲弗;尼古拉·利昂 答案集编程中递归聚合的语义和复杂性。 (英语) Zbl 1216.68263号 Artif公司。智力。 175,第1期,278-298(2011).MSC公司:68T27型 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,Artif。智力。175,第1号,278--298(2011;Zbl 1216.68263) 全文: 内政部 链接
安娜玛丽亚·布里亚;沃尔夫冈·费伯;尼古拉·利昂 标准形式的嵌套程序。 (英语) Zbl 1178.68131号 Hölldobler,Steffen(编辑)等人,《人工智能中的逻辑》。第11届欧洲会议,JELIA 2008,德国德累斯顿,2008年9月28日至10月1日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-87802-5/pbk)。计算机科学讲义5293。人工智能课堂讲稿,76-88(2008)。MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bria}等人,Lect。注释计算。科学。5293,76-88(2008年;Zbl 1178.68131) 全文: 内政部 链接
托马斯·艾特;埃斯拉·埃尔登;沃尔夫冈·费伯 撤消动作序列的效果。 (英语) Zbl 1158.68042号 J.应用。日志。 6,第3号,380-415(2008).MSC公司:68T20型 68立方英尺 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,J.Appl。日志。6,编号3,380--415(2008;兹bl 1158.68042) 全文: 内政部
托马斯·艾特;沃尔夫冈·费伯;迈克尔·芬克;斯特凡·沃尔特兰 具有有界谓词算术和含义的答案集编程的复杂性结果。 (英语) Zbl 1138.68017号 安。数学。Artif公司。智力。 51,编号2-4,123-165(2007).MSC公司:68N17号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,《数学年鉴》。Artif公司。智力。51,编号2--4,123-165(2007;Zbl 1138.68017) 全文: 内政部
沃尔夫冈·费伯;吉安路易吉·格雷科;尼古拉·利昂 魔术集及其在数据集成中的应用。 (英语) Zbl 1115.68047号 J.计算。系统。科学。 73,第4号,584-609(2007).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}等人,《计算杂志》。系统。科学。73,第4号,584--609(2007;Zbl 1115.68047) 全文: 内政部
沃尔夫冈·费伯;凯瑟琳·孔扎克 强阶等价。 (英语) Zbl 1105.68100号 安。数学。Artif公司。智力。 47,No.1-2,43-78(2006).MSC公司:68T27型 68立方英尺 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Faber}和\textit{K.Konczak},安.数学。Artif公司。智力。47,编号1--2,43-78(2006;Zbl 1105.68100) 全文: 内政部
托马斯·艾特;沃尔夫冈·费伯;尼古拉·利昂;杰拉尔德·菲弗;Polleres,阿克塞尔 知识状态规划的逻辑编程方法。二: DLV(^\mathcal K)系统。 (英语) Zbl 1079.68619号 Artif公司。智力。 144,编号1-2,157-211(2003).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。144,编号1--2,157-211(2003;Zbl 1079.68619) 全文: 内政部