{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:52:19Z","timestamp":1767034339057},"reference-count":23,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,3,1]],"date-time":"2001-03-01T00:00:00Z","timestamp":983404800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,25]],"date-time":"2013-07-25T00:00:00Z","timestamp":1374710400000},"content-version":"vor","delay-in-days":4529,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[2001,3]]},"DOI":"10.1016\/s0004-3702(01)00054-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T16:57:34Z","timestamp":1027616254000},"page":"1-29","source":"Crossref","is-referenced-by-count":22,"title":["Diagnosing tree-structured systems\u2606\u2606Part of this work has been published in preliminary form in the Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97)."],"prefix":"10.1016","volume":"127","author":[{"given":"Markus","family":"Stumptner","sequence":"first","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0004-3702(01)00054-6_BIB001","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1016\/0004-3702(88)90023-9","article-title":"Constraint satisfaction from a deductive viewpoint","volume":"35","author":"Bibel","year":"1988","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB002","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/92.311641","article-title":"Logic design error diagnosis and correction","volume":"2","author":"Chung","year":"1994","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB003","series-title":"Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR-98), Trento, Italy","first-page":"156","article-title":"Compiling devices: A structure-based approach","author":"Darwiche","year":"1998"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB004","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1613\/jair.462","article-title":"Model-based diagnosis using structured system descriptions","volume":"8","author":"Darwiche","year":"1998","journal-title":"J. Artificial Intelligence Res."},{"key":"10.1016\/S0004-3702(01)00054-6_BIB005","series-title":"Proc. AAAI-91, Anaheim, CA","first-page":"842","article-title":"Focusing on probable diagnoses","author":"de Kleer","year":"1991"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB006","series-title":"Proc. AAAI-90, Boston, MA","first-page":"324","article-title":"Characterizing diagnoses","author":"de Kleer","year":"1990"},{"issue":"1","key":"10.1016\/S0004-3702(01)00054-6_BIB007","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","article-title":"Diagnosing multiple faults","volume":"32","author":"de Kleer","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB008","series-title":"Proc. AAAI-88, St. Paul, MN","article-title":"Belief maintenance in dynamic constraint networks","author":"Dechter","year":"1988"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB009","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(94)00096-4","article-title":"Structure-driven algorithms for truth maintenance","volume":"82","author":"Dechter","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB010","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","article-title":"Tree clustering for constraint networks","volume":"38","author":"Dechter","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB011","series-title":"Proc. IJCAI-95, Montreal, Quebec","first-page":"1742","article-title":"Diagnosing tree-decomposable circuits","author":"El Fattah","year":"1995"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB012","series-title":"Proc. International Conference on Principles of Knowledge Representation and Reasoning (KR-92), Cambridge, MA","article-title":"Focusing on independent diagnosis problems","author":"Freitag","year":"1992"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB013","series-title":"Proc. European Conference on Artificial Intelligence (ECAI-96), Budapest","article-title":"Model-based diagnosis of hardware designs","author":"Friedrich","year":"1996"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB014","series-title":"Proc. IJCAI-89, Detroit, MI","first-page":"1350","article-title":"A diagnostic algorithm based on models at different levels of abstraction","author":"Gallanti","year":"1989"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB015","series-title":"Proc. IJCAI-87, Milan, Italy","first-page":"1105","article-title":"An improved constraint-propagation algorithm for diagnosis","author":"Geffner","year":"1987"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB016","series-title":"Proc. IJCAI-99, Stockholm, Sweden","first-page":"394","article-title":"A comparison of structural CSP decomposition methods","author":"Gottlob","year":"1999"},{"issue":"2","key":"10.1016\/S0004-3702(01)00054-6_BIB017","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0004-3702(00)00078-3","article-title":"A comparison of structural CSP decomposition methods","volume":"124","author":"Gottlob","year":"2000","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10.1016\/S0004-3702(01)00054-6_BIB018","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","article-title":"A correction to the algorithm in Reiter's theory of diagnosis","volume":"41","author":"Greiner","year":"1989","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB019","series-title":"Theory of Relational Databases","author":"Maier","year":"1983"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB020","doi-asserted-by":"crossref","first-page":"455","DOI":"10.1006\/imms.1993.1021","article-title":"Focusing based on the structure of a model in model-based diagnosis","volume":"28","author":"Nooteboom","year":"1993","journal-title":"Internat. J. Man Machine Studies"},{"issue":"1","key":"10.1016\/S0004-3702(01)00054-6_BIB021","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","article-title":"A theory of diagnosis from first principles","volume":"32","author":"Reiter","year":"1987","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB022","series-title":"Proc. IJCAI-89, Detroit, MI","first-page":"1318","article-title":"Model-based diagnosis with the default-based diagnosis engine: Effective control strategies that work in practice","author":"Struss","year":"1989"},{"key":"10.1016\/S0004-3702(01)00054-6_BIB023","series-title":"Proc. 7th International Workshop on Principles of Diagnosis, Val Morin, Quebec","article-title":"A model-based approach to software debugging","author":"Stumptner","year":"1996"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370201000546?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0004370201000546?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,12]],"date-time":"2020-01-12T11:19:06Z","timestamp":1578827946000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0004370201000546"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,3]]},"references-count":23,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,3]]}},"alternative-id":["S0004370201000546"],"URL":"https:\/\/doi.org\/10.1016\/s0004-3702(01)00054-6","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[2001,3]]}}}