Encoding argument graphs in logic

DOI10.1007/978-3-319-08855-6_35MaRDI QIDQ5230074zbMATH OpenOpenAlexFDO

Authors Sylvie Doutre, Andreas Herzig, P. Besnard

Publication date 20 August 2019

Published in Information Processing and Management of Uncertainty in Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL http://publications.ut-capitole.fr/29860/1/Besnard_12983.pdf

zbMATH Keywords

constraint satisfaction problemdynamic logicargumentation frameworkargument systemabstract argument

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
• Encoding deductive argumentation in quantified Boolean formulae
• scientific article; zbMATH DE number 6747882
• Graph theoretical properties of logic based argumentation frameworks: proofs and general results
• Representing argumentation frameworks in answer set programming

Cites work

• A QBF-based formalization of abstract argumentation semantics
• Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
• Algorithms for decision problems in argument systems under preferred semantics
• Answer-set programming encodings for argumentation frameworks
• Argumentation frameworks as constraint satisfaction problems
• Finding kernels or solving SAT
• Methods for solving reasoning problems in abstract argumentation -- a survey
• 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
• SCC-recursiveness: a general schema for argumentation semantics
• The same, similar, or just completely different? Equivalence for argumentation in light of logic

Cited in

(9)

• Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
• A propositional logical encoding of enriched interactions in abstract argumentation graphs
• Abstract argumentation and answer set programming: two faces of Nelson's logic
• RAFDivider  : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks
• Generic logical encoding for argumentation
• Optimization of dialectical outcomes in dialogical argumentation
• A translation-based approach for revision of argumentation frameworks
• Dynamic epistemic logics for abstract argumentation
• Computing MUS-based inconsistency measures

This page was built for publication: Encoding argument graphs in logic

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