Jean-Guy，梅利 抽象论证中扩展实现的逻辑编码。 （英语） Zbl 07789764号 安德烈亚斯·赫齐格（编辑）等人，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10日至12日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14156, 84-100 (2023). 审核人：埃里克·马丁（悉尼） MSC公司：68T27型 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。14156，84-100（2023；Zbl 07789764） 全文： 内政部
华盛顿州德沃·瓦克。;Keshavarzi Zafarghandi，A。;沃尔特兰，S。 三值语义下SETAF和无支持ADF的表达性。 （英语） Zbl 07757214号 J.应用。非类别。日志。 33，编号3-4，298-327（2023）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{W.Dvořák}等人，J.Appl。非类别。日志。33，编号3--4，298--327（2023；Zbl 07757214） 全文： 内政部 链接
谭丽星;朱兆辉;张金金 抽象论证中基于扩展的语义的一般方法。 （英语） Zbl 07638302号 Artif公司。智力。 315，文章ID 103836，60 p.（2023）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{L.Tan}等人，Artif。因特尔。315，文章ID 103836，60 p.（2023；Zbl 07638302） 全文： 内政部
托马斯·林斯比勒;马可·马拉提亚;安德烈亚斯·尼斯卡宁;约翰·沃纳（Johannes P.Wallner）。;斯特凡·沃尔特兰 基于子类复杂性分析和SAT求解的抽象辩证框架的高级算法。 （英语） Zbl 07505991号 Artif公司。智力。 307，文章ID 103697，第40页（2022）.MSC公司：68泰克 PDF格式BibTeX公司 XML格式引用 \textit{T.Linsbichler}等人，Artif。因特尔。307，文章ID 103697，第40页（2022；Zbl 07505991） 全文： 内政部
雷吉斯·里维雷特 关于搜索解释性论证图。 （英语） Zbl 1486.68185号 J.应用。非类别。日志。 30，第2期，123-192（2020年）.MSC公司：68T27型 68T20型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{R.Riveret}，J.应用。非类别。日志。30，编号2123-192（2020；兹bl 1486.68185） 全文： 内政部
约格·普勒 抽象辩证框架的三值语义的可实现性。 （英语） 兹比尔1478.68358 Artif公司。智力。 278，文章ID 103198，28 p.（2020）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Pührer}，阿蒂夫。因特尔。278，文章ID 103198，28 p.（2020；Zbl 1478.68358） 全文： 内政部