Stage semantics and the SCC-recursive schema for argumentation semantics

DOI10.1093/LOGCOM/EXU006MaRDI QIDQ2957944zbMATH OpenOpenAlexFDO

Authors Wolfgang Dvořák, Sarah Alice Gaggl

Publication date 31 January 2017

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/d87fb0402b7cd9eb94747dadb60c5cf2f21a5b58

zbMATH Keywords

abstract argumentationanswer-set programmingcf2 semanticscomputational complexitylabellingsodd-length cyclesstage 2 semanticsstrong equivalence

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• The cf2 argumentation semantics revisited
• SCC-recursiveness: a general schema for argumentation semantics
• Complexity of semi-stable and stage semantics in argumentation frameworks
• Defining stage argumentation semantics in terms of an abducible semantics
• General directionality and the local behavior of argumentation semantics

Cited in

(25)

• On the responsibility for undecisiveness in preferred and stable labellings in abstract argumentation
• Ensuring reference independence and cautious monotony in abstract argumentation
• Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility
• Methods for solving reasoning problems in abstract argumentation -- a survey
• SCC-recursiveness: a general schema for argumentation semantics
• The choice-preferred semantics for relevance-oriented acceptance of admissible sets of arguments
• Explanations of non-monotonic inference in admissibility-based abstract argumentation
• The burden of persuasion in abstract argumentation
• The cf2 argumentation semantics revisited
• A Dynamic Approach for Combining Abstract Argumentation Semantics
• General directionality and the local behavior of argumentation semantics
• On the input/output behavior of argumentation frameworks
• Logic Programming, Argumentation and Human Reasoning
• Paracoherent answer set semantics meets argumentation frameworks
• On the decomposition of abstract dialectical frameworks and the complexity of naive-based semantics
• Infinite argumentation frameworks. On the existence and uniqueness of extensions
• What is a reasonable argumentation semantics?
• Complexity of semi-stable and stage semantics in argumentation frameworks
• Defining defense and defeat in abstract argumentation from scratch -- A generalizing approach
• On SCC-recursiveness in quantitative argumentation
• SCC-recursiveness in infinite argumentation
• An encoding of abstract dialectical frameworks into higher-order logic
• Kettle logic in abstract argumentation
• On generalized notions of consistency and reinstatement and their preservation in formal argumentation
• Complexity in infinite argumentation with structural constraints

This page was built for publication: Stage semantics and the SCC-recursive schema for argumentation semantics

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