Computing Preferred Extensions in Abstract Argumentation: a SAT-based Approach

Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin +1

This paper presents a novel SAT-based approach for the computation of extensions in abstract argumentation, with focus on preferred semantics, and an empirical evaluation of its pe…