Using Compiled Knowledge to Guide and Focus Abductive Diagnosis.

@article{DBLP:journals/tkde/ConsolePD96,
  author    = {Luca Console and
               Luigi Portinale and
               Daniele Theseider Dupr{\'e}},
  title     = {Using Compiled Knowledge to Guide and Focus Abductive Diagnosis},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {8},
  number    = {5},
  year      = {1996},
  pages     = {690-706},
  ee        = {db/journals/tkde/ConsolePD96.html, db/journals/tkde/ConsolePD96.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1996 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.

CDROM Edition

References

[1]

...

[2]

Tom Bylander, Dean Allemang, Michael C. Tanner, John R. Josephson: The Computational Complexity of Abduction. Artif. Intell. 49(1-3): 25-60(1991) BibTeX

[3]

...

[4]

B. Chandrasekaran, Sanjay Mittal: Deep versus Compiled Knowledge Approaches to Diagnostic Problem-Solving. International Journal of Man-Machine Studies 19(5): 425-436(1983) BibTeX

[5]

Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 BibTeX

[6]

Luca Console, Luigi Portinale, Daniele Theseider Dupré: Focussing Abductive Diagnosis. AI Commun. 4(2/3): 88-97(1991) BibTeX

[7]

...

[8]

Luca Console, Daniele Theseider Dupré, Pietro Torasso: A Theory of Diagnosis for Incomplete Causal Models. IJCAI 1989: 1311-1317 BibTeX

[9]

...

[10]

Luca Console, Daniele Theseider Dupré, Pietro Torasso: On the Relationship between Abduction and Deduction. J. Log. Comput. 1(5): 661-690(1991) BibTeX

[11]

...

[12]

...

[13]

Philip T. Cox, Tomasz Pietrzykowski: General Diagnosis by Abductive Inference. SLP 1987: 183-189 BibTeX

[14]

...

[15]

...

[16]

...

[17]

Johan de Kleer: Using Crude Probability Estimates to Guide Diagnosis. Artif. Intell. 45(3): 381-391(1990) BibTeX

[18]

Johan de Kleer: Focusing on Probable Diagnoses. AAAI 1991: 842-848 BibTeX

[19]

Johan de Kleer, Alan K. Mackworth, Raymond Reiter: Characterizing Diagnoses and Systems. Artif. Intell. 56(2-3): 197-222(1992) BibTeX

[20]

Johan de Kleer, Brian C. Williams: Diagnosing Multiple Faults. Artif. Intell. 32(1): 97-130(1987) BibTeX

[21]

Johan de Kleer, Brian C. Williams: Diagnosis with Behavioral Modes. IJCAI 1989: 1324-1330 BibTeX

[22]

Gerald DeJong, Raymond J. Mooney: Explanation-Based Learning: An Alternative View. Machine Learning 1(2): 145-176(1986) BibTeX

[23]

...

[24]

...

[25]

...

[26]

Hartmut Freitag, Gerhard Friedrich: Focusing on Independent Diagnosis Problems. KR 1992: 521-531 BibTeX

[27]

Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Formaiizing the Repair Process. ECAI 1992: 709-713 BibTeX

[28]

Michael R. Genesereth: The Use of Design Descriptions in Automated Diagnosis. Artif. Intell. 24(1-3): 411-436(1984) BibTeX

[29]

...

[30]

...

[31]

...

[32]

Richard M. Keller: Defining Operationality for Explanation-Based Learning. Artif. Intell. 35(2): 227-241(1988) BibTeX

[33]

...

[34]

...

[35]

...

[36]

...

[37]

...

[38]

Tom M. Mitchell, Richard M. Keller, Smadar T. Kedar-Cabelli: Explanation-Based Generalization: A Unifying View. Machine Learning 1(1): 47-80(1986) BibTeX

[39]

Igor Mozetic: Hierarchical Model-Based Diagnosis. International Journal of Man-Machine Studies 35(3): 329-362(1991) BibTeX

[40]

...

[41]

...

[42]

D. A. Pearce: The Induction of Fault Diagnosis Systems from Qualitative Models. AAAI 1988: 353-357 BibTeX

[43]

...

[44]

...

[45]

David Poole: Normality and Faults in Logic-Based Diagnosis. IJCAI 1989: 1304-1310 BibTeX

[46]

...

[47]

...

[48]

Chris Preist, Kave Eshghi: Consistency-Based and Abductive Diagnoses as Generalised Stable Models. FGCS 1992: 514-521 BibTeX

[49]

Raymond Reiter: A Theory of Diagnosis from First Principles. Artif. Intell. 32(1): 57-95(1987) BibTeX

[50]

Bart Selman, Hector J. Levesque: Abductive and Default Reasoning: A Computational Core. AAAI 1990: 343-348 BibTeX

[51]

...

[52]

...

[53]

Reid G. Simmons: The Roles of Associational and Causal Reasoning in Problem Solving. Artif. Intell. 53(2-3): 159-207(1992) BibTeX

[54]

...

[55]

...

[56]

...

[57]

...

[58]

Sholom M. Weiss, Casimir A. Kulikowski, Saul Amarel, Aran Safir: A Model-Based Method for Computer-Aided Medical Decision-Making. Artif. Intell. 11(1-2): 145-172(1978) BibTeX