马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨，萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 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） 全文： 内政部 OA许可证
马里奥·阿尔维亚诺;卡明·多达罗;佛罗伦萨，萨尔瓦多;亚历山德罗·普雷维蒂;弗朗西斯科·里卡 WASP中最小模型和MUSE的枚举。 （英语） Zbl 07671876号 Gottlob，Georg（编辑）等人，《逻辑编程和非单调推理》。第16届国际会议，LPNMR 2022，意大利热那亚，2022年9月5日至9日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13416, 29-42 (2022).MSC公司：68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，Lect。注释计算。科学。13416，29-42（2022；Zbl 07671876） 全文： 内政部
马里奥·阿尔维亚诺;卡明·多达罗 答案集编程的数据验证（扩展抽象）。 （英语） Zbl 07455710号 Ricca，Francesco（ed.）等人，《第36届逻辑编程（技术通信）国际会议论文集》，ICLP 2020，UNICAL，Rende（CS），意大利，2020年9月18日至24日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32593-95（2020年）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{C.Dodaro}，电子。程序。西奥。计算。科学。（EPTCS）325，93--95（2020；Zbl 07455710）
马里奥·阿尔维亚诺;卡明·多达罗 最优稳定模型搜索的不满意核心分析和聚合。 （英语） Zbl 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；Zbl 1497.68451） 全文： 内政部
马里奥·阿尔维亚诺;卡明·多达罗;马奎斯·席尔瓦，若昂;弗朗西斯科·里卡 最优稳定模型搜索：算法和实现。 （英语） Zbl 1487.68206号 J.日志。计算。 30，第4期，863-897（2020）.MSC公司：68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，J.Log。计算。30，第4号，863--897（2020；Zbl 1487.68206） 全文： 内政部
马里奥·阿尔维亚诺;卡明·多达罗;约翰·费希特。;马库斯·赫彻;托拜厄斯·菲利普;雅各布·拉特 ASP的不一致性证明：ASP-DRUPE格式。 （英语） Zbl 1434.68065号 理论与实践。日志。程序。 19，编号5-6，891-907（2019）.MSC公司：第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，《理论与实践》。日志。程序。19，编号5--6，891--907（2019；Zbl 1434.68065） 全文： 内政部 arXiv公司
马里奥·阿尔维亚诺;乔瓦尼·阿蒙多拉;卡明·多达罗;Leone，尼古拉;马可·马拉提亚;弗朗西斯科·里卡 WASP中析取程序的评估。 （英语） Zbl 1522.68096号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2019年6月3日至7日，第15届国际会议，LPNMR 2019，美国宾夕法尼亚州费城。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11481, 241-255 (2019).MSC公司：68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，Lect。注释计算。科学。11481241-255（2019年；兹比尔1522.68096） 全文： 内政部
马里奥·阿尔维亚诺;卡明·多达罗 通过假设文字进行模型枚举。 （英语） Zbl 1415.68222号 芬丹。通知。 167，编号1-2，31-58（2019）.MSC公司：68立方英尺 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{C.Dodaro}，Fundam。通知。167，编号1--2，31-58（2019；Zbl 1415.68222） 全文： 内政部
马里奥·阿尔维亚诺;卡明·多达罗;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公司
马里奥·阿尔维亚诺;弗朗西斯科·卡利默里;卡明·多达罗;大卫·福萨;尼古拉·利昂;西蒙娜·佩里;弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari ASP系统DLV2。 （英语） Zbl 1472.68178号 Balduccini，Marcello（编辑）等人，《逻辑编程和非单调推理》。2017年7月3日至6日在芬兰埃斯波举行的2017年LPNMR第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10377, 215-221 (2017).MSC公司：68T20型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，Lect。注释计算。科学。10377、215--221（2017；Zbl 1472.68178） 全文： 内政部
马里奥·阿尔维亚诺;卡明·多达罗 通过假设文字回答集合枚举。 （英语） Zbl 1430.68326号 Adorni，Giovanni（编辑）等人，AI*IA 2016：人工智能的进展。2016年11月29日至12月1日，意大利热那亚，意大利人工智能协会第十五届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10037, 149-163 (2016).MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{C.Dodaro}，莱克特。注释计算。科学。10037、149--163（2016年；Zbl 1430.68326） 全文： 内政部
马里奥·阿尔维亚诺;卡明·多达罗 通过不可满足的核收缩实现任意时间的答案集优化。 （英语） Zbl 1379.68033号 理论与实践。日志。程序。 16，第5-6号，533-551（2016）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{C.Dodaro}，理论与实践。日志。程序。16、编号5--6533--551（2016；Zbl 1379.68033） 全文： 内政部 arXiv公司
马里奥·阿尔维亚诺;卡明·多达罗;尼古拉·利昂;弗朗西斯科·里卡 WASP进展。 （英语） Zbl 1467.68021号 Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 40-54 (2015).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，Lect。注释计算。科学。9345，40-54（2015；Zbl 1467.68021） 全文： 内政部
马里奥·阿尔维亚诺;卡明·多达罗;弗朗西斯科·里卡 答案集编程中任何时候谨慎后果的计算。 （英语） 兹比尔1307.68012 理论与实践。日志。程序。 14，编号4-5，755-770（2014）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，《理论与实践》。日志。程序。14、编号4--5、755--770（2014；Zbl 1307.68012） 全文： 内政部 arXiv公司