Explanatory diagnoses and their characterization by circumscription (Q1924797): Difference between revisions

@@ Property / author @@
+Philippe Besnard
@@ Property / author: Philippe Besnard / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692931
@@ Property / cites work: Q4692931 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750429
@@ Property / cites work: Q5750429 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosing multiple faults
@@ Property / cites work: Diagnosing multiple faults / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing diagnoses and systems
@@ Property / cites work: Characterizing diagnoses and systems / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q5726696
@@ Property / cites work: Q5726696 / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency-based and abductive diagnoses as generalised stable models
+Normal rank
@@ Property / cites work @@
+Q5750451
@@ Property / cites work: Q5750451 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal model of diagnostic inference. I. Problem formulation and decomposition
+Normal rank
@@ Property / cites work @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank