Algorithms for generating arguments and counterarguments in propositional logic (Q648354): Difference between revisions

@@ Property / cites work @@
+A reasoning model based on the production of acceptable arguments
+Normal rank
@@ Property / cites work @@
+An argumentation framework for merging conflicting knowledge bases
+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 @@
+Encoding deductive argumentation in quantified Boolean formulae
+Normal rank
@@ Property / cites work @@
+Q4784873
@@ Property / cites work: Q4784873 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational complexity of assumption-based argumentation for default reasoning.
+Normal rank
@@ Property / cites work @@
+Dialectic proof procedures for assumption-based, admissible argumentation
+Normal rank
@@ Property / cites work @@
+Algorithms for Effective Argumentation in Classical Propositional Logic: A Connection Graph Approach
+Normal rank
@@ Property / cites work @@
+An Algorithm for Generating Arguments in Classical Predicate Logic
+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 @@
+An argument-based approach to reasoning with clinical knowledge
+Normal rank
@@ Property / cites work @@
+Computing argumentation in logic programming
@@ Property / cites work: Computing argumentation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof Procedure Using Connection Graphs
@@ Property / cites work: A Proof Procedure Using Connection Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862380
@@ Property / cites work: Q3862380 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5600875
@@ Property / cites work: Q5600875 / 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 @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank