Switch to: References

Add citations

You must login to add citations.
  1. On the relationship between model-based debugging and program slicing.Franz Wotawa - 2002 - Artificial Intelligence 135 (1-2):125-143.
  • Local Diagnosis.Renata Wassermann - 2001 - Journal of Applied Non-Classical Logics 11 (1):107-129.
    In the area known as model-based diagnosis, a system is described by-means of a set of formulas together with assumptions that all the components are functioning correctly. When we observe a behavior of the system which is inconsistent with the system description, we must relax some of the assumptions. In previous work, we have presented operations of belief change which only affect the relevant part of a belief base. In this paper, we propose the application of the same strategy to (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Diagnosing tree-structured systems☆☆Part of this work has been published in preliminary form in the Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97). [REVIEW]Markus Stumptner & Franz Wotawa - 2001 - Artificial Intelligence 127 (1):1-29.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Sequential model-based diagnosis by systematic search.Patrick Rodler - 2023 - Artificial Intelligence 323 (C):103988.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Memory-limited model-based diagnosis.Patrick Rodler - 2022 - Artificial Intelligence 305 (C):103681.
  • Diagnosis based on explicit means-end models.Jan Eric Larsson - 1996 - Artificial Intelligence 80 (1):29-93.
  • A theory of measurement in diagnosis from first principles.Aimin Hou - 1994 - Artificial Intelligence 65 (2):281-328.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Consistency-based diagnosis of configuration knowledge bases.Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach & Markus Stumptner - 2004 - Artificial Intelligence 152 (2):213-234.
  • Diagnosing multiple intermittent failures using maximum likelihood estimation.Rui Abreu & Arjan J. C. van Gemund - 2010 - Artificial Intelligence 174 (18):1481-1497.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation