Towards Systematic Contruction of Diagnostic Systems for Large Industrial Plants: Methods, Languages, and Tools.

@article{DBLP:journals/tkde/Ayeb94,
  author    = {B{\'e}chir el Ayeb},
  title     = {Towards Systematic Contruction of Diagnostic Systems for Large
               Industrial Plants: Methods, Languages, and Tools},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {5},
  year      = {1994},
  pages     = {698-712},
  ee        = {db/journals/tkde/Ayeb94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

M. A. Nait Abdallah: An Extended Framework for Default Reasoning. FCT 1989: 339-348 BibTeX

[2]

...

[3]

...

[4]

...

[5]

Béchir el Ayeb, Shengrui Wang: Computing Effect-to-Cause/Cause-to-Effect Diagnoses Within NdL. IJCAI 1993: 1332-1338 BibTeX

[6]

...

[7]

Philippe Caloud: Towards Continuous Process Supervision. IJCAI 1987: 1086-1089 BibTeX

[8]

Richard R. Cantone, Frank J. Pipitone, W. Brent Lander, Michael P. Marrone: Model-Based Probabilistic Reasoning for Electronics Troubleshooting. IJCAI 1983: 207-211 BibTeX

[9]

...

[10]

...

[11]

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

[12]

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

[13]

...

[14]

Randall Davis: Diagnostic Reasoning Based on Structure and Behavior. Artif. Intell. 24(1-3): 347-410(1984) BibTeX

[15]

...

[16]

Johan de Kleer, John Seely Brown: A Qualitative Physics Based on Confluences. Artif. Intell. 24(1-3): 7-83(1984) BibTeX

[17]

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

[18]

...

[19]

Didier Dubois, Henri Prade: Default Reasoning and Possibility Theory. Artif. Intell. 35(2): 243-257(1988) BibTeX

[20]

...

[21]

...

[22]

Kenneth D. Forbus: Qualitative Process Theory. Artif. Intell. 24(1-3): 85-168(1984) BibTeX

[23]

...

[24]

...

[25]

...

[26]

Benjamin Kuipers: Qualitative Simulation. Artif. Intell. 29(3): 289-338(1986) BibTeX

[27]

...

[28]

...

[29]

John McCarthy: Circumscription - A Form of Non-Monotonic Reasoning. Artif. Intell. 13(1-2): 27-39(1980) BibTeX

[30]

David Poole: A Logical Framework for Default Reasoning. Artif. Intell. 36(1): 27-47(1988) BibTeX

[31]

Olivier Raiman: Order of Magnitude Reasoning. AAAI 1986: 100-104 BibTeX

[32]

...

[33]

...

[34]

Raymond Reiter: A Logic for Default Reasoning. Artif. Intell. 13(1-2): 81-132(1980) BibTeX

[35]

...

[36]

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

[37]

...

[38]

...

[39]

...

[40]

...