Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

DOI10.1007/978-981-13-7791-4_8OpenAlexW2963778922MaRDI QIDQ3305693

Andreas Herzig, Laurent Perrussel, Sylvie Doutre

Publication date: 10 August 2020

Published in: Dynamics, Uncertainty and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-981-13-7791-4_8

zbMATH Keywords

dynamic logicrevisionupdateargumentation framework

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Related Items (4)

Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic ⋮ Practical reasoning using values: an argumentative approach based on a hierarchy of values ⋮ Encoding Argument Graphs in Logic ⋮ Structured argumentation dynamics. Undermining attacks in default justification logic

Cites Work

• Argumentation update in YALLA (yet another logic language for argumentation)
• Algorithms for decision problems in argument systems under preferred semantics
• On principle-based evaluation of extension-based argumentation semantics
• An extension-based approach to belief revision in abstract argumentation
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
• Propositional belief base update and minimal change
• Methods for solving reasoning problems in abstract argumentation -- a survey
• A QBF-based formalization of abstract argumentation semantics
• On Explanations for Non-Acceptable Arguments
• Pakota: A System for Enforcement in Abstract Argumentation
• Spectra in Abstract Argumentation: An Analysis of Minimal Change
• A Translation-Based Approach for Revision of Argumentation Frameworks
• Change in Abstract Argumentation Frameworks: Adding an Argument
• On the logic of theory change: Partial meet contraction and revision functions
• Improved answer-set programming encodings for abstract argumentation
• Dynamic Logic of Propositional Assignments: A Well-Behaved Variant of PDL
• Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change