{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T02:38:41Z","timestamp":1649126321578},"reference-count":20,"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\/bf01530745","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"263-282","source":"Crossref","is-referenced-by-count":0,"title":["Theory diagnoses: A concise characterization of faulty systems"],"prefix":"10.1007","volume":"11","author":[{"given":"Gerhard","family":"Friedrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"L. Console, D.T. Dupr\ufffd and P. Torasso, A theory of diagnosis for incomplete causal models, in:Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), Detroit, 1989 (Morgan Kaufmann) pp. 1311?1317."},{"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","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":"CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(92)90027-U","volume":"56","author":"J. Kleer de","year":"1992","unstructured":"J. de Kleer, A.K. Mackworth and R. Reiter, Characterizing diagnoses and systems, Artificial Intelligence 56 (1992) 197?222.","journal-title":"Artificial Intelligence"},{"key":"CR5","unstructured":"J. de Kleer, O. Raiman and M. Shirley, One step lookahead is pretty good, in:2nd Int. Workshop on the Principles of Diagnosis, Milano, Italy, 1991."},{"key":"CR6","unstructured":"O. Dressler and P. Struss, Back to defaults: Characterizing and computing diagnoses as coherent assumption sets, in:3rd Int. Workshop on Principles of Diagnosis, Rosario, WA, 1992."},{"key":"CR7","unstructured":"H. Freitag and G. Friedrich, Focusing on independent diagnosis problems, in:Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1992."},{"key":"CR8","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Physical impossibility instead of fault models, in:Proc. National Conf. on Artificial Intelligence (AAAI), Boston, 1990, pp. 331?336. Also appeared in:Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992)."},{"key":"CR9","unstructured":"G. Friedrich and F. Lackinger, Diagnosing temporal misbehavior, in:Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), Sydney, Australia, 1991 (Morgan Kaufmann) pp. 1116?1122."},{"key":"CR10","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":"CR11","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":"CR12","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","volume":"53","author":"K. Konolige","year":"1992","unstructured":"K. Konolige, Abduction versus closure in causal theories, Artificial Intelligence 53 (1992) 255?272.","journal-title":"Artificial Intelligence"},{"key":"CR13","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1016\/S0020-7373(05)80132-4","volume":"35","author":"I. Mozeti?","year":"1991","unstructured":"I. Mozeti?, Hierarchical model-based diagnosis, Int. J. Man-Machine Stud. 35 (1991) 329?362.","journal-title":"Int. J. Man-Machine Stud."},{"key":"CR14","unstructured":"G.M. Provan and D. Poole, The utility of consistency-based diagnostic techniques, in:Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Cambridge, MA, 1991 (Morgan Kaufmann) pp. 461?472."},{"key":"CR15","unstructured":"O. Raiman and J. de Kleer, Critical reasoning, in:3rd Int. Workshop on Principles of Diagnosis, Rosario, WA, 1992."},{"key":"CR16","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":"CR17","unstructured":"V.A. Saraswat, J. de Kleer and O. Raiman, Contributions to a theory of diagnosis, in:1st Int. Workshop on Principles of Diagnosis, Stanford, 1990, pp. 33?38."},{"key":"CR18","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":"CR19","unstructured":"P. Struss, What's in SD? Towards a theory of modeling for diagnosis, in: W. Hamscher, L. Console, and J. de Kleer (eds.),Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992) pp. 419?449."},{"key":"CR20","unstructured":"T.D. Wu, Efficient diagnosis of multiple disorders based on a symptom clustering approach, in:Proc. National Conf.on Artificial Intelligence (AAAI), Boston, 1990."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530745\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530745.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530745\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530745","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T13:31:29Z","timestamp":1556890289000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530745"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":20,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530745"],"URL":"https:\/\/doi.org\/10.1007\/bf01530745","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}