Diagnosing tree-structured systems

Artificial Intelligence

Volumn 127, Issue 1, 2001, Pages 1-29

  Stumptner, Markus ^a   Wotawa, Franz ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; MATHEMATICAL MODELS; TREES (MATHEMATICS);

EFFICIENT DIAGNOSIS ALGORITHMS; MODEL-BASED DIAGNOSIS;

ARTIFICIAL INTELLIGENCE;

EID: 0035277927     PISSN: 00043702     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0004-3702(01)00054-6     Document Type: Article

References (23)

1. Bibel W. Constraint satisfaction from a deductive viewpoint. Artificial Intelligence. 35:1988;401-413.
2. Chung P.-Y., Wang Y.-M., Hajj I.N. Logic design error diagnosis and correction. IEEE Transactions on Very Large Scale Integration (VLSI) Systems. 2:1994;320-332.
3. Darwiche A. Compiling devices: A structure-based approach. Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy. 1998;156-166.
4. Darwiche A. Model-based diagnosis using structured system descriptions. J. Artificial Intelligence Res. 8:1998;165-222.
5. de Kleer J. Focusing on probable diagnoses. Proc. AAAI-91, Anaheim, CA. 1991;842-848.
6. de Kleer J., Mackworth A.K., Reiter R. Characterizing diagnoses. Proc. AAAI-90, Boston, MA. 1990;324-330.
7. de Kleer J., Williams B.C. Diagnosing multiple faults. Artificial Intelligence. 32:(1):1987;97-130.
8. Dechter A., Dechter R. Belief maintenance in dynamic constraint networks. Proc. AAAI-88, St. Paul, MN. 1988.
9. Dechter R., Dechter A. Structure-driven algorithms for truth maintenance. Artificial Intelligence. 82:1996;1-20.
10. Dechter R., Pearl J. Tree clustering for constraint networks. Artificial Intelligence. 38:1989;353-366.
11. El Fattah Y., Dechter R. Diagnosing tree-decomposable circuits. Proc. IJCAI-95, Montreal, Quebec. 1995;1742-1748.
12. Freitag H., Friedrich G. Focusing on independent diagnosis problems. Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA. 1992.
13. Friedrich G., Stumptner M., Wotawa F. Model-based diagnosis of hardware designs. Proc. European Conference on Artificial Intelligence (ECAI-96), Budapest. 1996.
14. Gallanti M., Roncato M., Stefanini A., Tornielli G. A diagnostic algorithm based on models at different levels of abstraction. Proc. IJCAI-89, Detroit, MI. 1989;1350-1355.
15. Geffner H., Pearl J. An improved constraint-propagation algorithm for diagnosis. Proc. IJCAI-87, Milan, Italy. 1987;1105-1111.
16. Gottlob G., Leone N., Scarcello F. A comparison of structural CSP decomposition methods. Proc. IJCAI-99, Stockholm, Sweden. 1999;394-399.
17. Gottlob G., Leone N., Scarcello F. A comparison of structural CSP decomposition methods. Artificial Intelligence. 124:(2):2000;243-282.
18. Greiner R., Smith B.A., Wilkerson R.W. A correction to the algorithm in Reiter's theory of diagnosis. Artificial Intelligence. 41:(1):1989;79-88.
19. Maier D. Theory of Relational Databases. 1983;Computer Science Press, Rockville, MD.
20. Nooteboom P., Leemeijer G.B. Focusing based on the structure of a model in model-based diagnosis. Internat. J. Man Machine Studies. 28:1993;455-474.
21. Reiter R. A theory of diagnosis from first principles. Artificial Intelligence. 32:(1):1987;57-95.
22. Struss P., Dressler O. Model-based diagnosis with the default-based diagnosis engine: Effective control strategies that work in practice. Proc. IJCAI-89, Detroit, MI. 1989;1318-1323.
23. Stumptner M., Wotawa F. A model-based approach to software debugging. Proc. 7th International Workshop on Principles of Diagnosis, Val Morin, Quebec. 1996.