格哈德·布鲁卡;马丁·迪勒;乔治·海森伯格;托马斯·林斯比勒;斯特凡·沃尔特兰 用答案集编程解决高级论证问题。 (英语) Zbl 1472.68186号 理论与实践。日志。程序。 20,第3号,391-431(2020).MSC公司:68T27型 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{G.Brewka}等人,《理论与实践》。日志。程序。20,第3号,391--431(2020;Zbl 1472.68186) 全文: 内政部 arXiv公司
亚历杭德罗·加西亚。;亨利·普拉肯;吉列尔莫·西马里。 (\mathit{ASPIC}^+\)和DeLP公司. (英语) Zbl 1472.68189号 理论与实践。日志。程序。 20,第3期,358-390(2020).MSC公司:68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.J.GarcíA}等人,《理论与实践》。日志。程序。20,第3号,358--390(2020;Zbl 1472.68189) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯;恩里克·马丁·马汀 利用类型规范推理进行资源分析的转换方法。 (英语) Zbl 1472.68033号 理论与实践。日志。程序。 第320310-357号(2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,《理论与实践》。日志。程序。20,第3号,310-357(2020;Zbl 1472.68033) 全文: 内政部