King's College London

Research portal

An Investigation into Reduction and Direct Approaches to the Computation of Argumentation Semantics

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Original languageEnglish
Title of host publicationFestschrift in Honour of Tarcisio Pequeno
PublisherCollege Publications
Accepted/In press2018

Publication series

PublisherCollege Publications


King's Authors


This paper compares the performance of the forward propagation
algorithm used in the solver EqArgSolver with two custom-built SAT-based argumentation
solvers in the search for preferred extensions of abstract argumentation
frameworks. The SAT-based solvers employ standard ways of computing argumentation
semantics via the characterisation of the concept of extensions
as models of propositional logic theories. As a result, the
comparisons offer new insights about the employment and combination
of reduction and direct approaches to the computation of
argumentation semantics.

Download statistics

No data available

View graph of relations

© 2020 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454