马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨,萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 ASP和子集极小性:枚举、谨慎推理和MUS。 (英语) 兹伯利07702961 Artif公司。智力。 320,文章ID 103931,25 p.(2023).MSC公司:68泰克 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,Artif。智力。320,文章ID 103931,25 p.(2023;Zbl 07702961) 全文: 内政部
Zeynep G.萨里巴特。;托马斯·艾特;彼得·舒勒 非地面答案集程序的抽象。 (英语) Zbl 1520.68023号 Artif公司。智力。 300,文章ID 103563,72 p.(2021).MSC公司:68N17号 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Z.G.Saribatur}等人,Artif。智力。300,文章ID 103563,72 p.(2021;Zbl 1520.68023) 全文: 内政部
克劳迪娅·舒尔茨;弗朗西丝卡·托尼 关于抽象论证中首选和稳定标签不确定性的责任。 (英语) Zbl 1451.68265号 Artif公司。智力。 262, 301-335 (2018).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schulz}和\textit{F.Toni},Artif。智力。262301--335(2018;Zbl 1451.68265) 全文: 内政部 链接
托马斯·巴尔约;阿明·比尔;马库斯·伊泽尔;卡斯滕·辛兹 2015年SAT比赛。 (英语) Zbl 1392.68381号 Artif公司。智力。 241, 45-65 (2016).MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Balyo}等人,Artif。智力。241、45-65(2016;Zbl 1392.68381) 全文: 内政部
托马斯·艾特;迈克尔·芬克;达里娅·斯捷潘诺娃 不一致非单调描述逻辑程序的数据修复。 (英语) Zbl 1386.68157号 Artif公司。智力。 239, 7-53 (2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。239、7--53(2016年;Zbl 1386.68157) 全文: 内政部
乔瓦尼·阿蒙多拉;托马斯·艾特;迈克尔·芬克;尼古拉·利昂;乔昂·莫拉 准一致答案集程序的半平衡模型。 (英语) Zbl 1351.68259号 Artif公司。智力。 234, 219-271 (2016).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人,Artif。智力。234219--271(2016年;Zbl 1351.68259) 全文: 内政部 链接
托马斯·艾特;迈克尔·芬克;彼得·舒勒;安东尼乌斯·温齐尔 寻找多上下文系统中不一致性的解释。 (英语) Zbl 1309.68177号 Artif公司。智力。 216, 233-274 (2014). 审核人:Neli Zlatareva(新不列颠,康涅狄格州) MSC公司:68立方英尺 68T27型 68层35 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}等人,Artif。智力。216233-274(2014;Zbl 1309.68177) 全文: 内政部