Artificial explanations: The epistemological interpretation of explanation in AI (Q1036078): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Abductive reasoning. Logical investigations into discovery and explanation
+Normal rank
@@ Property / cites work @@
+Unifying default reasoning and belief revision in a modal framework
+Normal rank
@@ Property / cites work @@
+Abduction as belief revision
@@ Property / cites work: Abduction as belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic inference based on expectations
@@ Property / cites work: Nonmonotonic inference based on expectations / rank @@
+Normal rank
@@ Property / cites work @@
+Local change
@@ Property / cites work: Local change / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems in the metric theory of diophantine approximation
+Normal rank
@@ Property / cites work @@
+Q4403142
@@ Property / cites work: Q4403142 / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3198885
@@ Property / cites work: Q3198885 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Equivocators
@@ Property / cites work: Logic for Equivocators / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518818
@@ Property / cites work: Q4518818 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998470
@@ Property / cites work: Q3998470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2771723
@@ Property / cites work: Q2771723 / rank @@
+Normal rank
@@ Property / cites work @@
+A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation
+Normal rank