Skip to main content

Diagnoses as coherent assumption sets

  • Model-Based Diagnosis
  • Conference paper
  • First Online:
Expert Systems in Engineering Principles and Applications (ESE 1990)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 462))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J. de Kleer, B. Williams, Diagnosing Multiple Faults, Artificial Intelligence 32, 1987

    Google Scholar 

  2. J. de Kleer, B. Williams Diagnosis with Behavioral Modes, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit 1989, Morgan Kaufman

    Google Scholar 

  3. O. Dressler, An Extended Basic ATMS Proceedings of the Second International Workshop on Non-monotonic Reasoning, Grassau 1988, Eds. Reinfrank, de Kleer, Ginsberg, Sandewall, Springer Verlag

    Google Scholar 

  4. O. Dressler, Problem Solving with the NM-ATMS ECAI-90 Proceedings of the European Conference on Artificial Intelligence, Pitman Publishing, London 1990

    Google Scholar 

  5. O. Raiman, The Alibi Principle, IBM Report, Paris 1989

    Google Scholar 

  6. P. Struß, O.Dressler, Physical Negation — Integrating Fault Models into the General Diagnostic Engine, Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit 1989, Morgan Kaufman

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Georg Gottlob Wolfgang Nejdl

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dressler, O. (1990). Diagnoses as coherent assumption sets. In: Gottlob, G., Nejdl, W. (eds) Expert Systems in Engineering Principles and Applications. ESE 1990. Lecture Notes in Computer Science, vol 462. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53104-1_30

Download citation

  • DOI: https://doi.org/10.1007/3-540-53104-1_30

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53104-3

  • Online ISBN: 978-3-540-46711-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics