埃里克·马丁 析取逻辑程序、答案集和切割规则。 （英语） Zbl 1510.68013号 架构（architecture）。数学。逻辑 61，编号7-8，903-937（2022）. 审核人：玛丽·杜日伊（俄斯特拉发） MSC公司：68N17号 03B45 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{艾丽·马丁}，Arch。数学。逻辑61，编号7-8903-937（2022；Zbl 1510.68013） 全文： 内政部 OA许可证
马库斯·赫彻 正常树宽的减少ASP公司到坐-是正常的ASP公司比…更难坐毕竟？ （英语） Zbl 07482903号 Artif公司。智力。 304，文章ID 103651，24 p.（2022）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \文本{M.Hecher}，Artif。智力。304，文章ID 103651，24 p.（2022；Zbl 07482903） 全文： 内政部
叶甫根尼·巴莱;迈克尔·盖尔芬德;张元林 P-log：精化和一个新的相干条件。 （英语） 兹比尔1485.68247 安。数学。Artif公司。智力。 86，编号1-3，149-192（2019）.MSC公司：68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{E.Balai}等人，《数学年鉴》。Artif公司。智力。86，编号1--3，149-192（2019；Zbl 1485.68247） 全文： 内政部
马克·卡明斯基;亚沃·内诺夫;伯纳多·昆卡·格劳 析取数据日志程序和非Horn本体的数据日志可重写性。 （英语） Zbl 1357.68228号 Artif公司。智力。 236, 90-118 (2016).MSC公司：68立方英尺 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kaminski}等人，Artif。智力。23690--118（2016；Zbl 1357.68228） 全文： 内政部 链接
蘑菇、蘑菇;史蒂文·肖卡特;马丁·德·科克 求解析取模糊答案集程序。 （英语） Zbl 1467.68028号 Calimeri，Francesco（编辑）等人，《逻辑编程和非单调推理》。第13届国际会议，LPNMR 2015，美国肯塔基州列克星敦，2015年9月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9345, 453-466 (2015).MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Mushthofa}等人，Lect。注释计算。科学。9345、453--466（2015；Zbl 1467.68028） 全文： 内政部 链接
索伦·霍尔贝克·尼尔森;西蒙·帕森斯 Dung抽象论证框架的概括：用攻击性论证集进行辩论。 （英语） Zbl 1429.68266号 Maudet，Nicolas（编辑）等人，《多智能体系统中的论证》。第三次国际研讨会，ArgMAS 2006 Hakodate，日本，2006年5月8日。修订选定和邀请的论文。柏林：斯普林格。莱克特。注释计算。科学。4766, 54-73 (2007).MSC公司：68T27型 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.H.Nielsen}和\textit{S.Parsons}，莱克特。注释计算。科学。4766、54-73（2007年；Zbl 1429.68266） 全文： 内政部 链接
Ben Eliyahu Zohary，雷切尔;路易吉·帕洛波利 最小模型推理：高效算法和应用。 （英语） Zbl 0903.68178号 Artif公司。智力。 96，第2期，421-449（1997）.MSC公司：68立方英尺 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{R.Ben-Eliyahu-Zohary}和\textit{L.Palopoli}，Artif。智力。96，第2号，421--449（1997；Zbl 0903.68178） 全文： 内政部