A logic of argumentation for specification and verification of abstract argumentation frameworks (Q1935593): Difference between revisions

@@ Property / author @@
-Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
-Normal rank
@@ Property / author @@
+Dov M. Gabbay
@@ Property / author: Dov M. Gabbay / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AFRA
@@ Property / describes a project that uses: AFRA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2037547148
@@ Property / OpenAlex ID: W2037547148 / rank @@
+Normal rank
@@ Property / cites work @@
+On principle-based evaluation of extension-based argumentation semantics
+Normal rank
@@ Property / cites work @@
+Encompassing Attacks to Attacks in Abstract Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+AFRA: argumentation framework with recursive attacks
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Collective Argumentation and Disjunctive Logic Programming
+Normal rank
@@ Property / cites work @@
+A causal approach to nonmonotonic reasoning
@@ Property / cites work: A causal approach to nonmonotonic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A Logic of Abstract Argumentation
@@ Property / cites work: A Logic of Abstract Argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Fibred security language
@@ Property / cites work: Fibred security language / rank @@
+Normal rank
@@ Property / cites work @@
+Meta-argumentation modelling. I: Methodology and techniques
+Normal rank
@@ Property / cites work @@
+Higher-Order Coalition Logic
@@ Property / cites work: Higher-Order Coalition Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Value-Based Argumentation for Justifying Compliance
+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 @@
+A logical account of formal argumentation
@@ Property / cites work: A logical account of formal argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+On the merging of Dung's argumentation systems
@@ Property / cites work: On the merging of Dung's argumentation systems / rank @@
+Normal rank
@@ Property / cites work @@
+Coalitions of arguments: A tool for handling bipolar argumentation frameworks
+Normal rank
@@ Property / cites work @@
+Specification and Verification of Multi-agent Systems
+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 @@
+Q4217280
@@ Property / cites work: Q4217280 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal provability foundations for argumentation networks
+Normal rank
@@ Property / cites work @@
+The price of universality
@@ Property / cites work: The price of universality / rank @@
+Normal rank
@@ Property / cites work @@
+Robust semantics for argumentation frameworks
@@ Property / cites work: Robust semantics for argumentation frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+On the Acceptability of Incompatible Arguments
@@ Property / cites work: On the Acceptability of Incompatible Arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Input/output logics
@@ Property / cites work: Input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Constraints for input/output logics
@@ Property / cites work: Constraints for input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Metalevel argumentation
@@ Property / cites work: Metalevel argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Arguing about the Trustworthiness of the Information Sources
+Normal rank
@@ Property / cites work @@
+On the Meta-logic of Arguments
@@ Property / cites work: On the Meta-logic of Arguments / rank @@
+Normal rank