On the Equivalence Between Abstract Dialectical Frameworks and Logic Programs

DOI10.1017/S1471068419000280zbMath1434.68553arXiv1907.09548OpenAlexW2973785517WikidataQ127225992 ScholiaQ127225992MaRDI QIDQ5108512

João Alcântara, Juan Acosta-Guadarrama, Samy Sá

Publication date: 4 May 2020

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

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

zbMATH Keywords

argumentationnormal logic programsabstract dialectical frameworksinstantiations of argumentation frameworks

Mathematics Subject Classification ID

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

Related Items

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving ⋮ Assumption-based argumentation is logic programming with projection ⋮ On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

Cites Work

• Unnamed Item
• Unnamed Item
• Approximating operators and semantics for abstract dialectical frameworks
• A mathematical treatment of defeasible reasoning and its implementation.
• On the partial semantics for disjunctive deductive databases
• An abstract, argumentation-theoretic approach to default reasoning
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Complete extensions in argumentation coincide with 3-valued stable models in logic programming
• On the equivalence between logic programming semantics and argumentation semantics
• Understanding the Abstract Dialectical Framework
• Argument-based extended logic programming with defeasible priorities
• Characterizations of the disjunctive stable semantics by partial evaluation
• On the Equivalence between Assumption-Based Argumentation and Logic Programming
• A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments