Improved answer-set programming encodings for abstract argumentation. Issue 4 (3rd September 2015)

• Record Type: Journal Article
• Authors: GAGGL, SARAH A.; MANTHEY, NORBERT; RONCA, ALESSANDRO; WALLNER, JOHANNES P.; WOLTRAN, STEFAN
• Editors: Eiter, Thomas; Toni, Francesca
• Is Part Of: Theory and practice of logic programming. Volume 15:Issue 4/5(2015)
• Page Start: 434
• Page End: 448
• Publication Date: 2015-09-03
• Subjects: Answer-Set Programming, -- Abstract Argumentation, -- Implementation, -- ASPARTIX; Logic programming -- Periodicals; Artificial intelligence -- Computer programs -- Periodicals; Constraint programming (Computer science) -- Periodicals; 005.115
• DOI: 10.1017/S1471068415000149
• Languages: English
• ISSNs: 1471-0684

Abstract

Abstract: The design of efficient solutions for abstract argumentation problems is a crucial step towards advanced argumentation systems. One of the most prominent approaches in the literature is to use Answer-Set Programming (ASP) for this endeavor. In this paper, we present new encodings for three prominent argumentation semantics using the concept of conditional literals in disjunctions as provided by the ASP-system clingo. Our new encodings are not only more succinct than previous versions, but also outperform them on standard benchmarks.