RAFDivider : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks

DOI10.1080/11663081.2023.2244715OpenAlexW4385789579MaRDI QIDQ6056711

Marie-Christine Lagasquie-Schiex, Sylvie Doutre

Publication date: 30 October 2023

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2023.2244715

zbMATH Keywords

algorithmsabstract argumentationhigher-order interactions

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Unnamed Item
• Toward incremental computation of argumentation semantics: a decomposition-based approach
• On the input/output behavior of argumentation frameworks
• AFRA: argumentation framework with recursive attacks
• Reasoning about preferences in argumentation frameworks
• Towards fixed-parameter tractable algorithms for abstract argumentation
• Networks of constraints: Fundamental properties and applications to picture processing
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Valid attacks in argumentation frameworks with recursive attacks
• Methods for solving reasoning problems in abstract argumentation -- a survey
• Parameterized Splitting: A Simple Modification-Based Approach
• An Abstract Theory of Argumentation That Accommodates Defeasible Reasoning About Preferences
• On the Issue of Reinstatement in Argumentation
• Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks
• Encoding Argument Graphs in Logic
• Mechanizing Mathematical Reasoning
• A logic-based theory of deductive arguments
• Generic logical encoding for argumentation

This page was built for publication: RAFDivider  : a distributed algorithm for computing semantics in higher-order abstract argumentation frameworks