Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients

DOI10.1613/JAIR.1.14625MaRDI QIDQ6488795zbMATH OpenFDO

Authors Ringo Baumann, Anna Rapberger, Markus Ulbricht

Publication date 23 October 2023

Published in The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/JAIR.1.14625

zbMATH Keywords

abstract argumentationcomputational complexityknowledge representationnonmonotonic reasoning

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 7166761
• A general notion of equivalence for abstract argumentation
• Characterizing strong equivalence for argumentation frameworks
• Equivalence in logic-based argumentation
• A claim-centric perspective on abstract argumentation semantics: claim-defeat, principles, and expressiveness
• Complexity of abstract argumentation under a claim-centric view
• On the equivalence between logic programming semantics and argumentation semantics
• On the equivalence between logic programming semantics and argumentation semantics
• When are two arguments the same? Equivalence in abstract argumentation

Cites work

• A general notion of equivalence for abstract argumentation
• A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
• A logic-based theory of deductive arguments
• A probabilistic semantics for abstract argumentation
• AFRA: argumentation framework with recursive attacks
• An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
• Argument revision
• Change in abstract argumentation frameworks: adding an argument
• Characterizing strong equivalence for argumentation frameworks
• Complete extensions in argumentation coincide with 3-valued stable models in logic programming
• Complexity results and algorithms for extension enforcement in abstract argumentation
• Dynamics of argumentation systems: a division-based method
• Enhancing statement evaluation in argumentation via multi-labelling systems
• Equivalence in logic-based argumentation
• Explanations, belief revision and defeasible reasoning.
• scientific article; zbMATH DE number 610968 (Why is no real title available?)
• scientific article; zbMATH DE number 2085248 (Why is no real title available?)
• Incremental computation for structured argumentation over dynamic DeLP knowledge bases
• Instantiating abstract argumentation with classical logic arguments: postulates and properties
• Normal and strong expansion equivalence for argumentation frameworks
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs
• Splitting an Argumentation Framework
• Strongly equivalent logic programs
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The complexity landscape of claim-augmented argumentation frameworks
• What does it take to enforce an argument? Minimal change in abstract argumentation

Cited in

(1)

• scientific article; zbMATH DE number 7166761 (Why is no real title available?)

This page was built for publication: Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients

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