ACM SIGMOD Anthology TKDE dblp.uni-trier.de

Using Compiled Knowledge to Guide and Focus Abductive Diagnosis.

Luca Console, Luigi Portinale, Daniele Theseider Dupré: Using Compiled Knowledge to Guide and Focus Abductive Diagnosis. IEEE Trans. Knowl. Data Eng. 8(5): 690-706(1996)
@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}
}
BibTeX

Abstract

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


CDROM Edition

under construction (file=TKDE8/k0690.pdf) BibTeX

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
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
IEEE Transactions on Data and Knowledge Engineering: Copyright © by IEEE,
Joint ACM SIGMOD / IEEE Computer Society Anthology: Copyright © by ACM (info@acm.org) and IEEE, Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sun May 17 00:28:38 2009