Theory of semi-instantiation in abstract argumentation (Q528522): Difference between revisions

@@ Property / cites work @@
+Q4246800
@@ Property / cites work: Q4246800 / rank @@
+Normal rank
@@ Property / cites work @@
+Dung's argumentation is essentially equivalent to classical propositional logic with the Peirce-Quine dagger
+Normal rank
@@ Property / cites work @@
+Revisiting Abstract Argumentation Frameworks
@@ Property / cites work: Revisiting Abstract Argumentation Frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Instantiating abstract argumentation with classical logic arguments: postulates and properties
+Normal rank
@@ Property / cites work @@
+On the evaluation of argumentation formalisms
@@ Property / cites work: On the evaluation of argumentation formalisms / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+A logical account of formal argumentation
@@ Property / cites work: A logical account of formal argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+The attack as strong negation, part I
@@ Property / cites work: The attack as strong negation, part I / rank @@
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
+Normal rank
@@ Property / cites work @@
+Fibring argumentation frames
@@ Property / cites work: Fibring argumentation frames / rank @@
+Normal rank
@@ Property / cites work @@
+The Equational Approach to Contrary-to-duty Obligations
+Normal rank
@@ Property / cites work @@
+Solving Weighted Argumentation Frameworks with Soft Constraints
+Normal rank
@@ Property / cites work @@
+SCC-recursiveness: a general schema for argumentation semantics
+Normal rank
@@ Property / cites work @@
+A formalist philosophy of mathematics. I: Arithmetic
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalization of Dung’s Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments
+Normal rank
@@ Property / cites work @@
+Approximating operators and semantics for abstract dialectical frameworks
+Normal rank
@@ Property / cites work @@
+An Equational Approach to Logic Programming
@@ Property / cites work: An Equational Approach to Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Argumentation and Answer Set Programming
@@ Property / cites work: Argumentation and Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Complete extensions in argumentation coincide with 3-valued stable models in logic programming
+Normal rank
@@ Property / cites work @@
+Sequent-Based Argumentation for Normative Reasoning
+Normal rank
@@ Property / cites work @@
+Revision, Acceptability and Context
@@ Property / cites work: Revision, Acceptability and Context / rank @@
+Normal rank
@@ Property / cites work @@
+Q4894942
@@ Property / cites work: Q4894942 / rank @@
+Normal rank