no code implementations • 11 Oct 2018 • Pietro Baroni, Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin
The theory of abstract argumentation frameworks (afs) has, in the main, focused on finite structures, though there are many significant contexts where argumentation can be regarded as a process involving infinite objects.
no code implementations • 18 Oct 2013 • Federico Cerutti, Paul E. Dunne, Massimiliano Giacomin, Mauro Vallati
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 performances.