Normal and strong expansion equivalence for argumentation frameworks

DOI10.1016/j.artint.2012.08.004zbMath1270.68280OpenAlexW2072643736MaRDI QIDQ359982

Ringo Baumann

Publication date: 23 August 2013

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S000437021200104X

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (13)

Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility ⋮ Equivalence in logic-based argumentation ⋮ Static and dynamic orderings on Dungean argumentation frameworks -- an overview ⋮ A general approach to extension-based semantics in abstract argumentation ⋮ On the input/output behavior of argumentation frameworks ⋮ An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals ⋮ Local Expansion Invariant Operators in Argumentation Semantics ⋮ Acceptance in incomplete argumentation frameworks ⋮ Open Problems in Abstract Argumentation ⋮ Incremental Computation of Deterministic Extensions for Dynamic Argumentation Frameworks ⋮ Pakota: A System for Enforcement in Abstract Argumentation ⋮ A general notion of equivalence for abstract argumentation ⋮ Methods for solving reasoning problems in abstract argumentation -- a survey

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Characterizing strong equivalence for argumentation frameworks
• Instantiating abstract argumentation with classical logic arguments: postulates and properties
• On the evaluation of argumentation formalisms
• 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
• Dialectic proof procedures for assumption-based, admissible argumentation
• SCC-recursiveness: a general schema for argumentation semantics
• Parameterized Splitting: A Simple Modification-Based Approach
• Splitting an Argumentation Framework
• Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets
• On the Intertranslatability of Argumentation Semantics
• Semi-stable semantics
• Persuasion in Practical Argument Using Value-based Argumentation Frameworks
• Logic Programming
• A logic-based theory of deductive arguments

This page was built for publication: Normal and strong expansion equivalence for argumentation frameworks