{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T09:46:29Z","timestamp":1648892789548},"reference-count":12,"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\/bf01530740","type":"journal-article","created":{"date-parts":[[2005,4,18]],"date-time":"2005-04-18T20:37:15Z","timestamp":1113856635000},"page":"137-167","source":"Crossref","is-referenced-by-count":5,"title":["Further contributions to characterizing diagnosis"],"prefix":"10.1007","volume":"11","author":[{"given":"Sheila","family":"McIlraith","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"CR1","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1111\/j.1467-8640.1991.tb00388.x","volume":"7","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso, A spectrum of logical definitions of model-based diagnosis, Computational Intelligence 7(3) (1991) 133?141.","journal-title":"Computational Intelligence"},{"key":"CR2","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":"CR3","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":"CR4","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":"CR5","unstructured":"J. de Kleer and B.C. Williams, Diagnosis with behavioral modes,Proc. 11th Int. Joint Conf. on Artificial Intelligence, Detroit, MI, 1989, pp. 1324?1330."},{"key":"CR6","unstructured":"G. Friedrich, G. Gottlob and W. Nejdl, Physical impossibility instead of fault models,Proc. Nat. Conf. on Artificial Intelligence, 1990, pp. 331?336."},{"key":"CR7","unstructured":"D. Poole, Normality and faults in logic-based diagnosis,Proc. 11th Int. Joint Conf. on Artificial Intelligence, 1989, pp. 1304?1310."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"D. Poole, R.G. Goebel and R. Aleliunas, Theorist: a logical reasoning system for defaults and diagnosis, in:The Knowledge Frontier: Essays in the Representation of Knowledge, eds. N. Cercone and G. McCalla (Springer-Verlag, 1987) pp. 331?352.","DOI":"10.1007\/978-1-4612-4792-0_13"},{"key":"CR9","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":"CR10","unstructured":"R. Reiter and J. de Kleer, Foundations for assumption-based truth maintenance systems: Preliminary report,Proc. Nat. Conf. on Artificial Intelligence, 1987, pp. 183?188."},{"key":"CR11","unstructured":"P. Struss and O. Dressler, Physical negation ? integrating fault models into the general diagnostic engine,Proc. 11th Int. Joint Conf. on Artificial Intelligence, 1989, pp. 1318?1323."},{"key":"CR12","unstructured":"I. Lebow, T. Bartee and I. Reed,Theory and Design of Digital Machines (McGraw Hill, 1962)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530740\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530740.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530740\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530740","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T09:31:29Z","timestamp":1556875889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530740"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":12,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530740"],"URL":"https:\/\/doi.org\/10.1007\/bf01530740","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}