Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
From MaRDI portal
Publication:3305693
DOI10.1007/978-981-13-7791-4_8MaRDI 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
Related Items
Encoding Argument Graphs in Logic, Structured argumentation dynamics. Undermining attacks in default justification logic, Practical reasoning using values: an argumentative approach based on a hierarchy of values, Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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