On dynamics in structured argumentation formalisms

DOI10.1613/JAIR.1.14481MaRDI QIDQ6488791

Anna Rapberger, Markus Ulbricht

Publication date: 23 October 2023

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

zbMATH Keywords

nonmonotonic reasoningknowledge engineering

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Normal and strong expansion equivalence for argumentation frameworks
• Characterizing strong equivalence for argumentation frameworks
• AFRA: argumentation framework with recursive attacks
• Instantiating abstract argumentation with classical logic arguments: postulates and properties
• Verification in incomplete argumentation frameworks
• Characteristics of multiple viewpoints in abstract argumentation
• Argumentation in artificial intelligence
• An application of formal argumentation: fusing Bayesian networks in multi-agent systems
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms
• Acceptance in incomplete argumentation frameworks
• On the equivalence between logic programming semantics and argumentation semantics
• Argument Revision
• Change in Abstract Argumentation Frameworks: Adding an Argument
• Characterizations of the disjunctive stable semantics by partial evaluation
• Dynamic updates of non-monotonic knowledge bases
• Equivalence in logic-based argumentation
• On the different types of collective attacks in abstract argumentation: equivalence results for SETAFs
• Comparisons and computation of well-founded semantics for disjunctive logic programs
• Computational Complexity
• Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation
• A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
• On the Maximal and Average Numbers of Stable Extensions
• Logic Programming and Nonmonotonic Reasoning
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Strongly equivalent logic programs
• A logic-based theory of deductive arguments
• The complexity landscape of claim-augmented argumentation frameworks
• Strong Equivalence for Argumentation Frameworks with Collective Attacks

This page was built for publication: On dynamics in structured argumentation formalisms