Representing argumentation frameworks in answer set programming

DOI10.3233/FI-2017-1585MaRDI QIDQ4599795zbMATH OpenOpenAlexFDO

Authors Chiaki Sakama, Tjitze Rienstra

Publication date 5 January 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2017-1585

zbMATH Keywords

answer set programmingargumentation frameworktransformation

Mathematics Subject Classification ID

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

Recommendations

• Answer-set programming encodings for argumentation frameworks
• Towards a general argumentation system based on answer-set programming
• Solving Advanced Argumentation Problems with Answer Set Programming
• Argumentation and answer set programming
• On the semantics of abstract argumentation frameworks: a logic programming approach

Cited in

(19)

• Assumption-based argumentation is logic programming with projection
• ASPARTIX-V19 -- an answer-set programming based system for abstract argumentation
• Argumentation frameworks as constraint satisfaction problems
• Preprocessing argumentation frameworks via replacement patterns
• From structured to abstract argumentation: assumption-based acceptance via AF reasoning
• Towards a general argumentation system based on answer-set programming
• Argumentation and answer set programming
• Answer-set programming encodings for argumentation frameworks
• Manifold Answer-Set Programs for Meta-reasoning
• Improved answer-set programming encodings for abstract argumentation
• On the equivalence between assumption-based argumentation and logic programming
• Solving Advanced Argumentation Problems with Answer Set Programming
• A flexible approach to argumentation framework analysis using theorem proving
• On the semantics of abstract argumentation frameworks: a logic programming approach
• scientific article; zbMATH DE number 7166761 (Why is no real title available?)
• Encoding argument graphs in logic
• Answer Set Programming for Representing and Reasoning About Virtual Institutions
• Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
• Theoretical analysis and implementation of abstract argumentation frameworks with domain assignments

This page was built for publication: Representing argumentation frameworks in answer set programming

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