乔瓦尼·阿蒙多拉;卡明·多达罗;沃尔夫冈·费伯;弗朗西斯科·里卡 准相干答案集计算。 (英语) Zbl 1520.68180号 Artif公司。智力。 299,文章ID 103519,31 p.(2021).MSC公司:68T27型 03B53号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,Artif。智力。299,文章ID 103519,第31页(2021;Zbl 1520.68180) 全文: 内政部
沃尔夫冈·费伯;迈克尔·莫拉克;斯特凡·沃尔特兰 论认知逻辑程序的一致等价性。 (英语) 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) 全文: 内政部
尤尔根·迪克斯;沃尔夫冈·费伯;苏布拉曼尼亚,V.S。 使用多上下文系统和默认逻辑保护隐私。 (英语) Zbl 1357.68216号 Erdem,Esra(编辑)等人,《正确的推理》。关于基于逻辑的人工智能的论文,以纪念Vladimir Lifschitz。柏林:施普林格出版社(ISBN 978-3-642-30742-3/pbk)。计算机科学讲义7265195-210(2012)。MSC公司:68T27型 第68页第35页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{J.Dix}等人,Lect。注释计算。科学。7265,195--210(2012;Zbl 1357.68216) 全文: 内政部
托马斯·艾特;沃尔夫冈·费伯;迈克尔·芬克;斯特凡·沃尔特兰 具有有界谓词算术和含义的答案集编程的复杂性结果。 (英语) 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) 全文: 内政部
沃尔夫冈·费伯;凯瑟琳·孔扎克 强顺序等价。 (英语) 兹比尔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) 全文: 内政部