Encoding deductive argumentation in quantified Boolean formulae (Q1045994): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2009.06.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2051999406
@@ Property / OpenAlex ID: W2051999406 / rank @@
+Normal rank
@@ Property / cites work @@
+A reasoning model based on the production of acceptable arguments
+Normal rank
@@ Property / cites work @@
+Argumentation through a distributed self-stabilizing approach
+Normal rank
@@ Property / cites work @@
+Default reasoning using classical logic
@@ Property / cites work: Default reasoning using classical logic / rank @@
+Normal rank
@@ Property / cites work @@
+Argumentation in artificial intelligence
@@ Property / cites work: Argumentation in artificial intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3511268
@@ Property / cites work: Q3511268 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based theory of deductive arguments
@@ Property / cites work: A logic-based theory of deductive arguments / rank @@
+Normal rank
@@ Property / cites work @@
+Q4784873
@@ Property / cites work: Q4784873 / rank @@
+Normal rank
@@ Property / cites work @@
+On Decision Problems Related to the Preferred Semantics for Argumentation Frameworks
+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 @@
+Dialectic proof procedures for assumption-based, admissible argumentation
+Normal rank
@@ Property / cites work @@
+Coherence in finite argument systems.
@@ Property / cites work: Coherence in finite argument systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4557972
@@ Property / cites work: Q4557972 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+A solver for QBFs in negation normal form
@@ Property / cites work: A solver for QBFs in negation normal form / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible logic programming: an argumentative approach
+Normal rank
@@ Property / cites work @@
+Computing argumentation in logic programming
@@ Property / cites work: Computing argumentation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429159
@@ Property / cites work: Q3429159 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties and Complexity of Some Formal Inter-agent Dialogues
+Normal rank
@@ Property / cites work @@
+Argument-based extended logic programming with defeasible priorities
+Normal rank
@@ Property / cites work @@
+Q4789446
@@ Property / cites work: Q4789446 / rank @@
+Normal rank
@@ Property / cites work @@
+Complete sets and the polynomial-time hierarchy
@@ Property / cites work: Complete sets and the polynomial-time hierarchy / rank @@
+Normal rank