Improved answer-set programming encodings for abstract argumentation

DOI10.1017/S1471068415000149MaRDI QIDQ4592988zbMATH OpenFDO

Authors Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Wallner, Stefan Woltran

Publication date 9 November 2017

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.06689

zbMATH Keywords

implementationabstract argumentationanswer-set programmingASPARTIX

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

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.

Recommendations

• Solving Advanced Argumentation Problems with Answer Set Programming
• Representing argumentation frameworks in answer set programming
• Answer-set programming encodings for argumentation frameworks
• Towards a general argumentation system based on answer-set programming
• Argumentation and answer set programming

Cites work

• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• Applications of declarative programming and knowledge management. 19th international conference, INAP 2011, and 25th workshop on logic programming, WLP 2011, Vienna, Austria, September 28--30, 2011. Revised selected papers
• Coherence in finite argument systems.
• Complex optimization in answer set programming
• Complexity of semi-stable and stage semantics in argumentation frameworks
• Complexity-sensitive decision procedures for abstract argumentation
• Computing ideal sceptical argumentation
• Graph theoretical structures in logic programs and default theories
• Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
• Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28--October 1, 2008. Proceedings
• Methods for solving reasoning problems in abstract argumentation -- a survey
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• On the evaluation of argumentation formalisms
• Semi-stable semantics

Cited in

(12)

• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• Initial sets in abstract argumentation frameworks
• Design and results of the second international competition on computational models of argumentation
• Better paracoherent answer sets with less resources
• ASP and subset minimality: enumeration, cautious reasoning and MUSes
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• Paracoherent answer set computation
• On the semantics of abstract argumentation frameworks: a logic programming approach
• Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments
• Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
• Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
• Solving Advanced Argumentation Problems with Answer Set Programming

This page was built for publication: Improved answer-set programming encodings for abstract argumentation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4592988)