Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change

DOI10.1007/978-981-13-7791-4_8MaRDI QIDQ3305693zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

argumentation frameworkdynamic logicrevisionupdate

Mathematics Subject Classification ID

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

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

Cites work

• A QBF-based formalization of abstract argumentation semantics
• A translation-based approach for revision of argumentation frameworks
• Algorithms for decision problems in argument systems under preferred semantics
• An extension-based approach to belief revision in abstract argumentation
• Argumentation update in YALLA (yet another logic language for argumentation)
• Change in abstract argumentation frameworks: adding an argument
• Complexity results and algorithms for extension enforcement in abstract argumentation
• Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
• Dynamic logic of propositional assignments: a well-behaved variant of PDL
• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 1032009 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 6292806 (Why is no real title available?)
• scientific article; zbMATH DE number 4185089 (Why is no real title available?)
• Improved answer-set programming encodings for abstract argumentation
• Methods for solving reasoning problems in abstract argumentation -- a survey
• On explanations for non-acceptable arguments
• On principle-based evaluation of extension-based argumentation semantics
• 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
• Pakota: a system for enforcement in abstract argumentation
• Propositional belief base update and minimal change
• Spectra in Abstract Argumentation: An Analysis of Minimal Change
• What does it take to enforce an argument? Minimal change in abstract argumentation

Cited in

(12)

• Structured argumentation dynamics. Undermining attacks in default justification logic
• On the dynamics of structured argumentation: modeling changes 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
• Spectra in Abstract Argumentation: An Analysis of Minimal Change
• Encoding argument graphs in logic
• scientific article; zbMATH DE number 6292806 (Why is no real title available?)
• Qualitative uncertainty and dynamics of argumentation through dynamic logic
• On dynamics in structured argumentation formalisms
• Efficient analysis of belief properties in process algebra
• How to manage supports in incomplete argumentation
• Incomplete higher-order abstract argumentation frameworks

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)