conftrace_

structural restriction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

argumentation semantics (2) computational complexity (2) extension enumeration (1) abstract argumentation (1) sat solving (1) abstract dialectical framework (1) sat solver (1) complexity analysis (1) algorithm design (1)

Papers

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving IJCAI 2018 On the Complexity of Enumerating the Extensions of Abstract Argumentation Frameworks IJCAI 2017