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

abstract argumentationanswer-set programmingASPARTIXimplementation

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

• 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
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• 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

(13)

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

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)