Nov, 2014

使用论证来证明答案集

TL;DR本文介绍了如何使用论证理论来解释为什么某个文字是或不是包含在给定答案集中,并定义了两种基于论证的方法:攻击树和 ABA-Based 答案集证明。