冈萨洛·伊玛兹（Gonzalo E.Imaz）。 可能的Horn非子句知识库。 （英语） Zbl 07629312号 国际J近似推理 152, 357-389 (2023).MSC公司：68层37 PDF格式BibTeX公司 XML格式引用 \textit{G.E.Imaz}，国际期刊近似推理152，357--389（2023；Zbl 07629312） 全文： 内政部 arXiv公司
林德·范贝西安；莫里斯·布吕诺格；马克·德内克 使用近似不动点理论分析聚合答案集编程的语义。 （英语） Zbl 07595323号 理论与实践。日志。程序。 22，第4期，523-537（2022）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{L.Vanbesien}等人，《理论与实践》。日志。程序。22，编号4，523--537（2022；Zbl 07595323） 全文： 内政部 arXiv公司
刘燕红A。；斯科特·斯托勒。 带聚合的递归规则：简单的统一语义。 （英语） Zbl 07551717号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137, 156-179 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{Y.A.Liu}和\textit{S.D.Stoller}，Lect。注释计算。科学。13137156-179（2022年；Zbl 07551717） 全文： 内政部 arXiv公司
马克西米利亚诺·克里斯蒂亚；吉安弗兰科·罗西 限制内涵集的自动推理。 （英语） Zbl 07432188号 J.汽车。推理 65，第6号，809-890（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Cristiá}和\textit{G.Rossi}，J.Autom。推理65，No.6，809--890（2021；Zbl 07432188） 全文： 内政部 arXiv公司
马里奥·阿尔维亚诺；卡明·多达罗 最优稳定模型搜索的不满意核心分析和聚合。 （英语） 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） 全文： 内政部
托马斯·艾特；拉斐尔·基塞尔 \（\mathrm{ASP}（\mathcal{AC}）\）：带代数约束的答案集编程。 （英语） Zbl 1471.68047号 理论与实践。日志。程序。 20，第6号，895-910（2020）.MSC公司：68N17号 03B70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Eiter}和\textit{R.Kiesel}，理论与实践。日志。程序。20，第6号，895--910（2020；Zbl 1471.68047） 全文： 内政部 arXiv公司
佩德罗·卡巴拉尔；豪尔赫·范丁诺；尤利亚·利勒 模块化答案集编程是一种形式规范语言。 （英语） Zbl 1468.68119号 理论与实践。日志。程序。 20，第5期，767-782（2020年）.MSC公司：60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，《理论与实践》。日志。程序。20，第5号，767--782（2020；Zbl 1468.68119） 全文： 内政部 arXiv公司
Denis Deratani毛阿；法比奥·加利亚迪·科兹曼 概率答案集编程的复杂性结果。 （英语） Zbl 1468.68215号 国际J近似推理 118, 133-154 (2020).MSC公司：68T27型 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.D.Mauá}和\textit{F.G.Cozman}，国际J.近似推理118，133--154（2020；Zbl 1468.68215） 全文： 内政部
理查德·塔普；康斯坦丁·舍科提欣；彼得·舒勒；安东尼乌斯·温齐尔；格哈德·弗里德里希 在ASP的声明性领域特定启发式中利用部分知识。 （英语） Zbl 07453100号 Bogaerts，Bart（ed.）等人，《第35届逻辑编程（技术通信）国际会议论文集》，2019年ICLP，美国拉斯克鲁塞斯，2019月20日至25日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）306，22-35（2019）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{R.Taupe}等人，《电子》。程序。西奥。计算。科学。（EPTCS）306、22-35（2019；Zbl 07453100） 全文： arXiv公司 链接
马里奥·阿尔维亚诺；卡明·多达罗；约翰·费希特。；马库斯·赫彻；托拜厄斯·菲利普；雅各布·拉特 ASP的不一致性证明：ASP-DRUPE格式。 （英语） Zbl 1434.68065号 理论与实践。日志。程序。 19，编号5-6，891-907（2019）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，《理论与实践》。日志。程序。19，编号5--6，891--907（2019；Zbl 1434.68065） 全文： 内政部 arXiv公司
马里奥·阿尔维亚诺；尼古拉·利昂；皮尔弗朗西斯科·维尔特里；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公司
盖尔方德，迈克尔；张元林 基于ASP的语言中的恶性循环原理、集合和集合的形成。 （英语） Zbl 1478.68041号 Artif公司。智力。 275, 28-77 (2019).MSC公司：68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Gelfond}和\textit{Y.Zhang}，Artif。智力。275、28-77（2019年；Zbl 1478.68041） 全文： 内政部
佩德罗·卡巴拉尔；豪尔赫·范丁诺；托尔斯滕·绍布；塞巴斯蒂安·谢尔霍恩 Gelfond-Zhang聚合为命题公式。 （英语） Zbl 1478.68363号 Artif公司。智力。 274, 26-43 (2019).MSC公司：68立方英尺 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，Artif。智力。274、26-43（2019年；Zbl 1478.68363） 全文： 内政部
Lee，Joohyng先生；Yang、Zhun 翻译LPOD和CR-\（\mathrm{序言}_2\)到标准答案集程序中。 （英语） Zbl 1451.68065号 理论与实践。日志。程序。 18，编号3-4，589-606（2018）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{J.Lee}和\textit{Z.Yang}，理论与实践。日志。程序。18、编号3--4、589--606（2018；Zbl 1451.68065） 全文： 内政部 arXiv公司
佩德罗·卡巴拉尔；豪尔赫·范丁诺；路易斯·法利尼亚斯·德尔·塞罗；大卫·皮尔斯 具有内涵集的功能性ASP：应用于Gelfond-Zhang骨料。 （英语） Zbl 1451.68255号 理论与实践。日志。程序。 18，编号3-4，390-405（2018）.MSC公司：68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{P.Cabalar}等人，《理论与实践》。日志。程序。18、编号3--4、390--405（2018；Zbl 1451.68255） 全文： 内政部 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公司
Johannes Oetsch；约格·普勒；汉斯·托姆皮茨 逐步调试应答程序。 （英语） Zbl 1425.68053号 理论与实践。日志。程序。 18，第1期，30-80（2018）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit｛J.Oetsch｝等人，《理论与实践》。日志。程序。18，编号1，30--80（2018；Zbl 1425.68053） 全文： 内政部 arXiv公司
马里奥·阿尔维亚诺；卡明·多达罗 通过不可满足的核收缩实现任意时间的答案集优化。 （英语） 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公司
马里奥·阿尔维亚诺；尼古拉·利昂 答案集编程中GZ聚合的复杂性和编译。 （英语） Zbl 1379.68035号 理论与实践。日志。程序。 15，编号4-5，574-587（2015）.MSC公司：68N17号 第68页第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{N.Leone}，理论与实践。日志。程序。15，编号4--5，574--587（2015；Zbl 1379.68035） 全文： 内政部 arXiv公司
马里奥·阿尔维亚诺；沃尔夫冈·费伯；马丁·格布瑟 在答案集编程中重写递归聚合：回到单调性。 （英语） 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 1365.68147号 Cate，Balder（编辑）等人，《Web推理和规则系统》。2015年8月4日至5日在德国柏林举行的2015年RR第九届国际会议。诉讼程序。查姆：施普林格（ISBN 978-3-319-22001-7/pbk；978-3-3169-22002-4/电子书）。《计算机科学讲义》9209，30-44（2015）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}和\textit{W.Faber}，莱克特。注释计算。科学。9209,30--44（2015；Zbl 1365.68147） 全文： 内政部
弗农·亚松森；陈茵；张燕；周毅 具有聚合的逻辑程序的有序完成。 （英语） Zbl 1343.68043号 Artif公司。智力。 224, 72-102 (2015).MSC公司：68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{V.Asuncion}等人，Artif。智力。224、72-102（2015；Zbl 1343.68043） 全文： 内政部
王一松；你，嘉慧；袁丽燕；沈义东；张明义 描述逻辑程序基于循环公式的语义。 （英语） Zbl 1255.68149号 西奥。计算。科学。 415, 60-85 (2012). 审核人：路易吉·帕洛波利（伦德） MSC公司：68T20型 68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{Y.Wang}等人，Theor。计算。科学。415、60-85（2012年；Zbl 1255.68149） 全文： 内政部 arXiv公司