Distance-based paraconsistent logics (Q2270429): Difference between revisions

@@ Property / Wikidata QID @@
+Q126224213
@@ Property / Wikidata QID: Q126224213 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Answer sets for consistent query answering in inconsistent databases
+Normal rank
@@ Property / cites work @@
+Paraconsistent reasoning and preferential entailments by signed quantified Boolean formulae
+Normal rank
@@ Property / cites work @@
+The value of the four values
@@ Property / cites work: The value of the four values / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Preferential Paraconsistent Reasoning to Classical Entailment
+Normal rank
@@ Property / cites work @@
+Distance-Based Repairs of Databases
@@ Property / cites work: Distance-Based Repairs of Databases / rank @@
+Normal rank
@@ Property / cites work @@
+Computational methods for database repair by signed formulae
+Normal rank
@@ Property / cites work @@
+Natural 3-valued logics—characterization and proof theory
+Normal rank
@@ Property / cites work @@
+Q3470454
@@ Property / cites work: Q3470454 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250060
@@ Property / cites work: Q4250060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762534
@@ Property / cites work: Q2762534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3206928
@@ Property / cites work: Q3206928 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal-change integrity maintenance using tuple deletions
+Normal rank
@@ Property / cites work @@
+On the theory of inconsistent formal systems
@@ Property / cites work: On the theory of inconsistent formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472210
@@ Property / cites work: Q4472210 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3995890
@@ Property / cites work: Q3995890 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene's Logic, Generalized
@@ Property / cites work: Kleene's Logic, Generalized / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767028
@@ Property / cites work: Q2767028 / rank @@
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Q4787406
@@ Property / cites work: Q4787406 / rank @@
+Normal rank
@@ Property / cites work @@
+What does a conditional knowledge base entail?
@@ Property / cites work: What does a conditional knowledge base entail? / rank @@
+Normal rank
@@ Property / cites work @@
+Distance semantics for belief revision
@@ Property / cites work: Distance semantics for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246802
@@ Property / cites work: Q4246802 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Reasoning about truth
@@ Property / cites work: Reasoning about truth / rank @@
+Normal rank
@@ Property / cites work @@
+Minimally inconsistent LP
@@ Property / cites work: Minimally inconsistent LP / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 6
@@ Property / cites work: Handbook of philosophical logic. Vol. 6 / rank @@
+Normal rank
@@ Property / cites work @@
+On interpretation of inconsistent theories
@@ Property / cites work: On interpretation of inconsistent theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4829809
@@ Property / cites work: Q4829809 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5779170
@@ Property / cites work: Q5779170 / rank @@
+Normal rank