Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

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

Authors: Sylvie Doutre, Andreas Herzig, Laurent Perrussel 

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

Recommendations

• Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic
• Change in abstract argumentation frameworks: adding an argument
• scientific article; zbMATH DE number 7599964
• Structural constraints for dynamic operators in abstract argumentation
• On dynamics in structured argumentation formalisms

zbMATH Keywords

dynamic logicrevisionupdateargumentation framework

Mathematics Subject Classification ID

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

Cites Work

• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• On the logic of theory change: Partial meet contraction and revision functions
• Title not available (Why is that?)
• Propositional belief base update and minimal change
• Argumentation update in YALLA (yet another logic language for argumentation)
• A translation-based approach for revision of argumentation frameworks
• What does it take to enforce an argument? Minimal change in abstract argumentation
• Change in abstract argumentation frameworks: adding an argument
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Methods for solving reasoning problems in abstract argumentation -- a survey
• 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
• Title not available (Why is that?)
• A QBF-based formalization of abstract argumentation semantics
• Complexity results and algorithms for extension enforcement in abstract argumentation
• Title not available (Why is that?)
• Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
• On explanations for non-acceptable arguments
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• Improved answer-set programming encodings for abstract argumentation
• Pakota: a system for enforcement in abstract argumentation
• Spectra in Abstract Argumentation: An Analysis of Minimal Change

Cited In (10)

• Practical reasoning using values: an argumentative approach based on a hierarchy of values
• Title not available (Why is that?)
• Qualitative uncertainty and dynamics of argumentation through dynamic logic
• Efficient analysis of belief properties in process algebra
• How to manage supports in incomplete argumentation
• On dynamics in structured argumentation formalisms
• Structured argumentation dynamics. Undermining attacks in default justification logic
• Spectra in Abstract Argumentation: An Analysis of Minimal Change
• Abstract argumentation with qualitative uncertainty: an analysis in dynamic logic
• Encoding argument graphs in logic

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

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