{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T06:57:49Z","timestamp":1648882669718},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1-4","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01530749","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"329-349","source":"Crossref","is-referenced-by-count":2,"title":["Focusing on independent diagnosis problems"],"prefix":"10.1007","volume":"11","author":[{"given":"Hartmut","family":"Freitag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Friedrich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"A. Beschta, O. Dressler, H. Freitag, M. Montag and P. Struss, A model-based approach to fault localization in power transmission networks, Intelligent Syst. Eng. (1992).","DOI":"10.1049\/ise.1993.0002"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"R. Davis, Diagnostic reasoning based on structure and behaviour, Artificial Intelligence 24 (1984) 347?410.","journal-title":"Artificial Intelligence"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer, An assumption-based TMS, Artificial Intelligence 28 (1986) 127?162.","journal-title":"Artificial Intelligence"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses, in:Proc. National Conf. on Artificial Intelligence (AAAI), Boston, 1990 (Morgan Kaufmann) pp. 324?330.","DOI":"10.1007\/3-540-53104-1_27"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. Kleer de","year":"1987","unstructured":"J. de Kleer and B.C. Williams, Diagnosing multiple faults, Artificial Intelligence 32 (1987) 97?130.","journal-title":"Artificial Intelligence"},{"key":"CR6","unstructured":"J. de Kleer and B.C. Williams, Diagnosis with behavioral modes, in:Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), Detroit, 1989 (Morgan Kaufmann) pp. 1324?1330."},{"key":"CR7","unstructured":"J. de Kleer and B.C. Williams, Focusing the diagnosis engine, in:1st Int. Workshop on Principles of Diagnosis, Stanford, 1990."},{"key":"CR8","unstructured":"A. Dechter and R. Dechter, Removing redundancies in constraint networks, in:Proc. National Conf. on Artificial Intelligence (AAAI), Seattle, 1987."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","volume":"38","author":"R. Dechter","year":"1989","unstructured":"R. Dechter and J. Pearl, Tree clustering for constraint networks, Artificial Intelligence 38 (1989) 353?366.","journal-title":"Artificial Intelligence"},{"key":"CR10","unstructured":"R. Dechter and J. Pearl, Directed constraint networks: A relational framework for causal modeling, in:Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), Sydney, Australia, 1991 (Morgan Kaufmann) pp. 1164?1170."},{"key":"CR11","unstructured":"G. Fleischanderl and G. Friedrich, The ARTEX project and the lessons learned for diagnosis, in:European Conf. on Industrial Applications of Knowledge-Based Diagnosis, Milano, 1991."},{"key":"CR12","unstructured":"E.G. Freuder, Eliminating interchangeable values in constraint satisfaction problems, in:Proc. National Conf. on Artificial Intelligence (AAAI), Anaheim, CA, 1991, pp. 227?233."},{"key":"CR13","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Formalizing the repair process, in:Proc. European Conf. on Artificial Intelligence (ECAI), Vienna, 1992. Also appeared in:Proc. 2nd Int. Workshop on Principles of Diagnosis, Milano, 1991."},{"key":"CR14","unstructured":"G. Friedrich and W. Nejdl, MOMO ? Model-based diagnosis for everybody, in:Proc. IEEE Conf. on Artificial Intelligence Applications (CAIA), Santa Barbara, 1990. A slightly revised and extended version appears in:Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992)."},{"key":"CR15","unstructured":"G. Friedrich and W. Nejdl, Choosing observations and actions in model-based diagnosis-repair systems, in:Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1992."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","volume":"51","author":"W.C. Hamscher","year":"1991","unstructured":"W.C. Hamscher, Modeling digital circuits for troubleshooting, Artificial Intelligence 51 (1991) 223?271.","journal-title":"Artificial Intelligence"},{"key":"CR17","unstructured":"S. McIlraith and R. Reiter, On experiments for hypothetical reasoning, in:Proc. 2nd Int. Workshop on Principles of Diagnosis, Milano, 1991."},{"key":"CR18","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57?95.","journal-title":"Artificial Intelligence"},{"key":"CR19","unstructured":"R. Reiter and J. de Kleer, Foundations of assumption-based truth maintenance systems: Preliminary report, in:Proc. National Conf. on Artificial Intelligence (AAAI), Seattle, 1987, pp. 183?188."},{"key":"CR20","unstructured":"P. Struss, A theory of model simplification and abstraction for diagnosis, presentation at the 5th Int. Workshop on Qualitative Reasoning QR-91, 1991."},{"key":"CR21","unstructured":"P. Struss and O. Dressler, Physical negation ? Integrating fault models into the general diagnostic engine, in:Proc. Int. Joint Conference on Artificial Intelligence (IJCAI), Detroit, 1989 (Morgan Kaufmann) pp. 1318?1323."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530749\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530749.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530749\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530749","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:42Z","timestamp":1586217702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530749"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":21,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530749"],"URL":"https:\/\/doi.org\/10.1007\/bf01530749","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}