Improved answer-set programming encodings for abstract argumentation

DOI10.1017/S1471068415000149zbMath1379.68292arXiv1507.06689MaRDI QIDQ4592988

Sarah A. Gaggl, Norbert Manthey, Johannes Peter Wallner, Alessandro Ronca, 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 in artificial intelligence (68T27) Logic programming (68N17)

Related Items

Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper), ASP and subset minimality: enumeration, cautious reasoning and MUSes, Better Paracoherent Answer Sets with Less Resources, On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach, Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change, Paracoherent answer set computation, Initial sets in abstract argumentation frameworks, Design and results of the second international competition on computational models of argumentation

Cites Work

• Unnamed Item
• Complexity-sensitive decision procedures for abstract argumentation
• 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
• Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
• Complexity of semi-stable and stage semantics in argumentation frameworks
• Graph theoretical structures in logic programs and default theories
• Logics in artificial intelligence. 11th European conference, JELIA 2008, Dresden, Germany, September 28--October 1, 2008. Proceedings
• On the evaluation of argumentation formalisms
• Computing ideal sceptical argumentation
• Coherence in finite argument systems.
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Methods for solving reasoning problems in abstract argumentation -- a survey
• Complex optimization in answer set programming
• Semi-stable semantics