托马斯·林斯比勒;马可·马拉提亚;安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;斯特凡·沃尔特兰 基于子类复杂性分析和SAT求解的抽象辩证框架的高级算法。 （英语） Zbl 07505991号 Artif公司。智力。 307，文章ID 103697，40 p.（2022）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.Linsbichler}等人，Artif。智力。307，文章ID 103697，40 p.（2022；Zbl 07505991） 全文： 内政部
里卡多·贝尔托卢奇;阿莱西奥·卡皮塔内利;卡明·多达罗;尼古拉·利昂;马可·马拉提亚;富尔维奥·马斯特罗吉奥瓦尼;毛罗·瓦拉蒂 通过答案集编程使用双臂机器人操纵铰接对象。 （英语） Zbl 1522.68595号 理论与实践。日志。程序。 21，第3期，372-401（2021）.MSC公司：68T40型 68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bertolucci}等人，《理论与实践》。日志。程序。21，第3号，372--401（2021；Zbl 1522.68595） 全文： 内政部 arXiv公司
弗朗西斯科·卡利默里;沃尔夫冈·费伯;马丁·格布瑟;乔瓦姆巴蒂斯塔·伊安尼;罗兰·卡明斯基;托马斯·克伦瓦尔纳;尼古拉·利昂;马可·马拉提亚;弗朗西斯科·里卡;托尔斯滕·绍布 ASP-Core-2输入语言格式。 （英语） Zbl 1472.68180号 理论与实践。日志。程序。 20，第2期，294-309（2020）.MSC公司：68T20型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛F.Calimeri｝等人，《理论与实践》。日志。程序。20，第2号，294--309（2020；Zbl 1472.68180） 全文： 内政部 arXiv公司
马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 第七届答案集编程竞赛：设计与结果。 （英语） Zbl 1472.68026号 理论与实践。日志。程序。 20，第2期，176-204（2020）.MSC公司：68N17号 第68页第27页 68立方英尺 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，《理论与实践》。日志。程序。20，第2号，176--204（2020；Zbl 1472.68026） 全文： 内政部 arXiv公司
莎拉·加格尔（Sarah A.Gaggl）。;托马斯·林斯比勒;马可·马拉提亚;斯特凡·沃尔特兰 第二届国际辩论计算模型竞赛的设计和结果。 （英语） Zbl 1478.68353号 Artif公司。智力。 279，文章ID 103193，第31页（2020）.MSC公司：第68页第27页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{S.A.Gaggl}等人，Artif。智力。279，文章ID 103193，第31页（2020；兹bl 1478.68353） 全文： 内政部 arXiv公司
乔瓦尼·阿蒙多拉;卡明·多达罗;马可·马拉提亚 用于计算ASP程序的谨慎后果的抽象解算器。 （英语） Zbl 1434.68066号 理论与实践。日志。程序。 19，编号5-6，740-756（2019）.MSC公司：68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Amendola}等人，《理论与实践》。日志。程序。19，编号5--6，740--756（2019；Zbl 1434.68066） 全文： 内政部 arXiv公司
恩里科Giunchilia;马可·马拉提亚;卢卡·普利纳 基于翻译的方法解决带有偏好的选言时态问题。 （英语） Zbl 1468.68201号 约束条件 23，第4号，383-402（2018）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，《限制条件》23，第4期，383--402（2018年；Zbl 1468.68201） 全文： 内政部 链接
马里奥·阿尔维亚诺;卡明·多达罗;马蒂·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公司
马塞洛·巴尔杜奇尼;丹尼尔·马加泽尼;马可·马拉提亚;艾米丽·勒布朗（Emily C.Leblanc）。 用于混合域规划的CASP解决方案。 （英语） Zbl 1379.68039号 理论与实践。日志。程序。 17，第4号，591-633（2017）.MSC公司：68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Balduccini}等人，《理论与实践》。日志。程序。17，第4号，591--633（2017；Zbl 1379.68039） 全文： 内政部 arXiv公司
雷米·布罗奇宁;马可·马拉提亚;尤利亚·利勒 通过模板的析取答案集求解器。 （英语） Zbl 1379.68046号 理论与实践。日志。程序。 16，第4期，465-497（2016）.MSC公司：68N17号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Brochenin｝等人，《理论与实践》。日志。程序。16，第4号，465--497（2016；Zbl 1379.68046） 全文： 内政部 arXiv公司
弗朗西斯科·卡利默里;马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 第五届答案集编程竞赛的设计和结果。 （英语） Zbl 1344.68042号 Artif公司。智力。 231, 151-181 (2016).MSC公司：68N17号 第68页第15页 68-02 PDF格式BibTeX公司 XML格式引用 \textit{F.Calimeri}等人，Artif。智力。231151-181（2016年；Zbl 1344.68042） 全文： 内政部
马丁·格布瑟;马可·马拉提亚;弗朗西斯科·里卡 第六届答案集编程竞赛的设计——报告。 （英语） Zbl 1418.68028号 Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 531-544 (2015).MSC公司：68N17号 第68页第27页 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Gebser}等人，Lect。注释计算。科学。9345，531--544（2015；Zbl 1418.68028） 全文： 内政部
马可·马拉提亚;卢卡·普利纳;弗朗西斯科·里卡 ASP的多级算法选择。 （英语） Zbl 1467.68027号 Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。93445，439-445（2015年）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Maratea}等人，Lect。注释计算。科学。9345，439--445（2015；Zbl 1467.68027） 全文： 内政部
恩里科Giunchilia;马可·马拉提亚 求解具有定性偏好的可满足性问题的算法。 （英语） Zbl 1357.68206号 Erdem，Esra（编辑）等人，《正确的推理》。关于基于逻辑的人工智能的论文，以纪念Vladimir Lifschitz。柏林：施普林格出版社（ISBN 978-3-642-30742-3/pbk）。计算机科学课堂讲稿7265，327-344（2012）。MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}和\textit{M.Maratea}，莱克特。注释计算。科学。7265，327--344（2012；Zbl 1357.68206） 全文： 内政部
亚历山德罗·阿曼多;恩里科Giunchilia;马可·马拉提亚;塞雷娜·伊丽莎·蓬塔 一种基于操作的方法，用于在授权约束下对业务流程进行正式规范和自动分析。 （英语） Zbl 1238.68157号 J.计算。系统。科学。 78，第1期，119-141（2012）.MSC公司：68立方英尺 90B50型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，J.Compute。系统。科学。78，第1号，119--141（2012；Zbl 1238.68157） 全文： 内政部
伊曼纽尔·迪·罗莎;恩里科Giunchilia;马可·马拉提亚 用偏好解决可满足性问题。 （英语） Zbl 1208.68199号 约束条件 15，第4期，485-515（2010）.MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Di Rosa}等人，《限制条件》15，第4期，485--515（2010；Zbl 1208.68199） 全文： 内政部
恩里科Giunchilia;尼古拉·利昂;马可·马拉提亚 关于答案集求解者之间的关系。 （英语） 兹比尔1165.68333 安。数学。Artif公司。智力。 53，编号1-4169-204（2008）.MSC公司：68N17号 68T20型 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，《数学年鉴》。Artif公司。智力。53，编号1--4，169-204（2008；Zbl 1165.68333） 全文： 内政部
恩里科Giunchilia;尤利亚·利勒;马可·马拉提亚 基于命题可满足性的答案集编程。 （英语） Zbl 1107.68029号 J.汽车。推理 36，第4期，345-377（2006）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{E.Giunchiglia}等人，J.Autom。推理36，No.4，345--377（2006；Zbl 1107.68029） 全文： 内政部
亚历山德罗·阿曼多;克劳迪奥·卡斯泰里尼;恩里科Giunchilia;马可·马拉提亚 基于SAT的分离逻辑方法。 （英语） Zbl 1109.68108号 J.汽车。推理 35，编号1-3，237-263（2005）.MSC公司：第68页第27页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Armando}等人，J.Autom。推理35，No.1--3，237--263（2005；Zbl 1109.68108） 全文： 内政部 链接