乔瓦尼·阿蒙多拉;卡明·多达罗;沃尔夫冈·费伯;弗朗西斯科·里卡 准相干答案集计算。 (英语) 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 p.(2021;Zbl 1520.68180) 全文: 内政部
马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·格布瑟 在答案集编程中重写递归聚合:回到单调性。 (英语) 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 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公司
马里奥·阿尔维亚诺;沃尔夫冈·法伯;吉安路易吉·格雷科;尼古拉·利昂 析取数据日志程序的魔术集。 (英语) Zbl 1251.68051号 Artif公司。智力。 187-188, 156-192 (2012).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,Artif。智力。187-18156-192(2012年;Zbl 1251.68051) 全文: 内政部 arXiv公司
托马斯·艾特;埃斯拉·埃尔登;沃尔夫冈·费伯 撤消动作序列的效果。 (英语) 兹比尔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;Zbl 1158.68042) 全文: 内政部