本文通过实验比较了原有编码与新的 metasp 编码，提供了最近引入的基于解析的基础语义的新编码，结果表明 metasp 方法在编码问题的复杂性适当反映的情况下表现良好。

Aug, 2011

本文提出了一个利用ASP构造图形化参数框架的方法。第一步通过一个程序生成基于逻辑的参数集合，第二个程序利用第一个程序的结果来指定参数之间的关系。该方法不仅对于基于实例化的论证提供了一种灵活可扩展的工具，而且还提供了一种新的通用的答案集可视化方法。

Jan, 2013

本文使用ASP系统clingo提供的条件量词的析取形式，提供了三种著名的辩论语义的新编码，这些编码不仅比以前的版本更简洁，而且在标准基准测试中也表现优异，从而为高级辩论系统的高效解决方案的设计提供了一步关键。

Jul, 2015

本文研究抽象辩证框架并将其推广以适应不完整指定的初始参数和关系的情况，以及计算其重要度的各种方法。

Jun, 2018

本文研究了抽象论证、非单调逻辑、论证框架、稳定扩展和松弛相容扩展之间的关系，比较了松弛稳定、状态和松弛相容扩展之间的异同，并阐述了松弛相容扩展的对称性。

Jul, 2019

本研究针对一种名为ADFs的论证框架，提出ADF^ +，实现与NLP的语义等价，并定义了一种新的ADF^ +语义用于nlp的L-stable语义的等价。

Jul, 2019

本文介绍了从抽象辩论框架(ADF)和GRAPPA到解答集编程(ASP)的新型有效转化，并提供了ADF的五种主要语义(包括允许的、完整的、首选的、基本的和稳定的解释)的降低。

Dec, 2019

本文提出非矛盾推理与强化封闭世界假设两个原则，将逻辑编程和抽象论证框架都用Nelson构造逻辑N4予以说明，并将它们以一种模块化的方式翻译成构造逻辑，从而形成一种新的蕴涵连接，支持攻击表示通过将这个新的蕴涵与强否定相结合。

Mar, 2022

本文提出了一种双极 AF 语义，借鉴了推理支持的概念，用于实例化 general ABAFs 概念，并证明了在此概念下具有所需的关系。

May, 2023

该研究通过使用ABA和BAF之间的翻译，提出了一种基于实例的方法来推理非平坦的ABA，并通过识别冗余参数的三种方式来降低计算成本。实证评估表明，这种方法在许多情况下胜过不构建参数的方法，反映了BAF推理的复杂度较低。

Apr, 2024