马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨,萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 ASP和子集极小性:枚举、谨慎推理和MUS。 (英语) Zbl 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) 全文: 内政部
马里奥·阿尔维亚诺;巴萨基斯、索蒂利斯;乔治·巴里扬尼斯 模态逻辑S5在答案集编程中的可满足性。 (英语) Zbl 1522.68714号 理论实践。日志。程序。 21,第5期,527-542(2021).MSC公司:68伏15 03B45号 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。21,第5号,527--542(2021;Zbl 1522.68714) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗 最优稳定模型搜索的不满意核心分析和聚合。 (英语) 兹比尔1497.68451 芬丹。通知。 176,编号3-4,271-297(2020).MSC公司:68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{C.Dodaro},Fundam。通知。176,编号3-4-271-297(2020;兹bl 1497.68451) 全文: 内政部
马里奥·阿尔维亚诺;尼古拉·利昂;维尔特里,皮尔弗兰西斯科;Jessica Zangari 通过本体论推理的应用增强魔术集。 (英语) Zbl 1434.68560号 理论实践。日志。程序。 19,编号5-6,654-670(2019).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。19,编号5--6,654--670(2019;Zbl 1434.68560) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗;马蒂·Järvisalo;马可·马拉提亚;亚历山德罗·普雷维蒂 ASP中通过最小模型和不可满足的核心进行谨慎推理。 (英语) Zbl 1451.68267号 理论实践。日志。程序。 18,编号3-4,319-336(2018).MSC公司:68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。18、编号3--4、319--336(2018;Zbl 1451.68267) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗;马可·马拉提亚 答案集编程中的共享聚合集。 (英语) Zbl 1451.68062号 理论实践。日志。程序。 18,编号3-4,301-318(2018).MSC公司:68N17号 68第05页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人,《理论与实践》。日志。程序。18、编号3--4、301-318(2018;Zbl 1451.68062) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺 通过不可满足核分析在命题限定中进行模型枚举。 (英语) Zbl 1422.68217号 理论实践。日志。程序。 17,编号5-6,708-725(2017).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano},理论与实践。日志。程序。17、编号5--6、708--725(2017;Zbl 1422.68217) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗 通过不可满足的核收缩实现任意时间的答案集优化。 (英语) 兹比尔1379.68033 理论实践。日志。程序。 16,第5-6号,533-551(2016).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{C.Dodaro},理论与实践。日志。程序。16,编号5-6533-551(2016;兹bl 1379.68033) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;拉斐尔·佩尼亚洛萨 基于可满足性模理论的模糊答案集计算。 (英语) Zbl 1379.68036号 理论实践。日志。程序。 15,编号4-5,588-603(2015).MSC公司:68N17号 03B52号 68层37 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{R.Peñaloza},理论与实践。日志。程序。15、编号4--5、588--603(2015;Zbl 1379.68036) 全文: 内政部 arXiv公司
马里奥·阿尔维亚诺;沃尔夫冈·费伯;马丁·格布瑟 在答案集编程中重写递归聚合:回到单调性。 (英语) Zbl 1379.68034号 理论实践。日志。程序。 15,编号4-5559-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公司