Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction (Q1726251): Difference between revisions

@@ Property / cites work @@
+Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
+Normal rank
@@ Property / cites work @@
+Prime Implicates and Prime Implicants: From Propositional to Modal Logic
+Normal rank
@@ Property / cites work @@
+Q4329351
@@ Property / cites work: Q4329351 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5282962
@@ Property / cites work: Q5282962 / rank @@
+Normal rank
@@ Property / cites work @@
+First order abduction via tableau and sequent calculi
+Normal rank
@@ Property / cites work @@
+Q4860658
@@ Property / cites work: Q4860658 / rank @@
+Normal rank
@@ Property / cites work @@
+Institution-independent model theory
@@ Property / cites work: Institution-independent model theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q5282979
@@ Property / cites work: Q5282979 / rank @@
+Normal rank
@@ Property / cites work @@
+A Calculus for Generating Ground Explanations
@@ Property / cites work: A Calculus for Generating Ground Explanations / 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 @@
+Q4762206
@@ Property / cites work: Q4762206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530874
@@ Property / cites work: Q4530874 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+ABox abduction in the description logic \(\mathcal{ALC}\)
+Normal rank
@@ Property / cites work @@
+Q4279083
@@ Property / cites work: Q4279083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3248911
@@ Property / cites work: Q3248911 / rank @@
+Normal rank
@@ Property / cites work @@
+Jumping to explanations versus jumping to conclusions
+Normal rank
@@ Property / cites work @@
+Preferences and explanations
@@ Property / cites work: Preferences and explanations / rank @@
+Normal rank
@@ Property / cites work @@
+A Way to Simplify Truth Functions
@@ Property / cites work: A Way to Simplify Truth Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Abductive Reasoning in First-order Logic
@@ Property / cites work: Towards Abductive Reasoning in First-order Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Model-Baded Abduction via Dual Resolution
@@ Property / cites work: Model-Baded Abduction via Dual Resolution / rank @@
+Normal rank