Structured argumentation dynamics. Undermining attacks in default justification logic (Q2075383): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q4999253
@@ Property / cites work: Q4999253 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental computation for structured argumentation over dynamic DeLP knowledge bases
+Normal rank
@@ Property / cites work @@
+Q4501807
@@ Property / cites work: Q4501807 / rank @@
+Normal rank
@@ Property / cites work @@
+On the dynamics of default reasoning
@@ Property / cites work: On the dynamics of default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Justification Logic
@@ Property / cites work: Justification Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Justified Belief Change, Soft Evidence and Defeasible Knowledge
+Normal rank
@@ Property / cites work @@
+The logic of justified belief, explicit knowledge, and conclusive evidence
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+Dilemmas and paradoxes: cycles in argumentation frameworks
+Normal rank
@@ Property / cites work @@
+Semi-stable semantics
@@ Property / cites work: Semi-stable semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A Translation-Based Approach for Revision of Argumentation Frameworks
+Normal rank
@@ Property / cites work @@
+An extension-based approach to belief revision in abstract argumentation
+Normal rank
@@ Property / cites work @@
+Abstract Argumentation in Dynamic Logic: Representation, Reasoning and Change
+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 @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Justification logics, logics of knowledge, and conservativity
+Normal rank
@@ Property / cites work @@
+Possible world semantics for first-order logic of proofs
+Normal rank
@@ Property / cites work @@
+Defeasible logic programming: an argumentative approach
+Normal rank
@@ Property / cites work @@
+Q4287486
@@ Property / cites work: Q4287486 / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of non-prioritized belief revision
@@ Property / cites work: A survey of non-prioritized belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+A textbook of belief dynamics. Theory change and database updating
+Normal rank
@@ Property / cites work @@
+Q5232011
@@ Property / cites work: Q5232011 / rank @@
+Normal rank
@@ Property / cites work @@
+The dynamics of default reasoning
@@ Property / cites work: The dynamics of default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260400
@@ Property / cites work: Q4260400 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4287509
@@ Property / cites work: Q4287509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Refinements for Hard Problems in Argumentation Dynamics
+Normal rank
@@ Property / cites work @@
+On the dynamics of structured argumentation: modeling changes in default justification logic
+Normal rank
@@ Property / cites work @@
+Intensional paradoxes
@@ Property / cites work: Intensional paradoxes / rank @@
+Normal rank
@@ Property / cites work @@
+On a family of paradoxes
@@ Property / cites work: On a family of paradoxes / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-agent justification logic: communication and evidence elimination
+Normal rank
@@ Property / cites work @@
+Argumentation update in YALLA (yet another logic language for argumentation)
+Normal rank
@@ Property / cites work @@
+DefLog: on the Logical Interpretation of Prima Facie Justified Assumptions
+Normal rank
@@ Property / cites work @@
+Defeasible Dialectics: A Controversy-Oriented Approach towards Defeasible Argumentation
+Normal rank
@@ Property / cites work @@
+Implementing crash-resistance and non-interference in logic-based argumentation
+Normal rank