Where Are We Now? State of the Art and Future Trends of Solvers for Hard Argumentation Problems
Federico Cerutti, Mauro Vallati, Massimiliano Giacomin · Frontiers in artificial intelligence and applications · 2016
We evaluate the state of the art of solvers for hard argumentation problems—the enumeration of preferred and stable extensions—to envisage future trends based on evidence collected as part of an extensive empirical evaluation. In the last international competition on computational models of argumentation a general impression was that reduction-based systems (either SAT-based or ASP-based) are the most efficient.