Augmenting tractable fragments of abstract argumentation
作者:
摘要
We present a new approach to the efficient solution of important computational problems that arise in the context of abstract argumentation. Our approach makes known algorithms defined for restricted fragments generally applicable, at a computational cost that scales with the distance from the fragment. Thus, in a certain sense, we gradually augment tractable fragments. Surprisingly, it turns out that some tractable fragments admit such an augmentation and that others do not.
论文关键词:Abstract argumentation,Backdoors,Computational complexity,Parameterized complexity,Fixed-parameter tractability
论文评审过程:Received 19 August 2011, Revised 12 January 2012, Accepted 7 March 2012, Available online 8 March 2012.
论文官网地址:https://doi.org/10.1016/j.artint.2012.03.002