{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T01:13:29Z","timestamp":1648862009276},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1996,7,1]],"date-time":"1996-07-01T00:00:00Z","timestamp":836179200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Comput. Sci. & Technol."],"published-print":{"date-parts":[[1996,7]]},"DOI":"10.1007\/bf02948481","type":"journal-article","created":{"date-parts":[[2008,9,12]],"date-time":"2008-09-12T04:01:53Z","timestamp":1221192113000},"page":"372-384","source":"Crossref","is-referenced-by-count":0,"title":["Diagnostic problem solving using first principles and heuristics"],"prefix":"10.1007","volume":"11","author":[{"given":"Yidong","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mei","family":"Rong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fu","family":"Tong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02948481_CR1","doi-asserted-by":"crossref","unstructured":"Bobrow D G. (ed.). Special volume on qualitative reasoning about physical systems.Artificial Intelligence, 1984, 24.","DOI":"10.1016\/0004-3702(84)90036-5"},{"key":"BF02948481_CR2","doi-asserted-by":"crossref","unstructured":"Williams B C, de Kleer J. (eds.) Special volume on qualitative reasoning about physical systems II.Artificial Intelligence, 1991, 51.","DOI":"10.1016\/0004-3702(91)90106-T"},{"key":"BF02948481_CR3","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer J, Williams B C. Diagnosing multiple faults.Artificial Intelligence, 1987, 32: 97\u2013130.","journal-title":"Artificial Intelligence"},{"key":"BF02948481_CR4","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R Davis","year":"1984","unstructured":"Davis R. Diagnostic reasoning based on structure and behavior.Artificial Intelligence, 1984, 24: 347\u2013410.","journal-title":"Artificial Intelligence"},{"key":"BF02948481_CR5","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1016\/0004-3702(84)90043-2","volume":"24","author":"M R Genesereth","year":"1984","unstructured":"Genesereth M R. The use of design descriptions in automated diagnosis.Artificial Intelligence, 1984, 24: 411\u2013436.","journal-title":"Artificial Intelligence"},{"key":"BF02948481_CR6","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R Reiter","year":"1987","unstructured":"Reiter R. A theory of diagnosis from first principles.Artificial Intelligence, 1987, 32: 57\u201395.","journal-title":"Artificial Intelligence"},{"key":"BF02948481_CR7","volume-title":"MYCIN: Computer-based medical consultation","author":"E H Shortliffe","year":"1976","unstructured":"Shortliffe E H. MYCIN: Computer-based medical consultation. American Elsevier. New York, 1976."},{"key":"BF02948481_CR8","unstructured":"Reggia J A, Peng Y. Modelling diagnostic reasoning: A summary of parsimonious covering theory. InProc. Int\u2019l. Conference on Computer Applications in Medical Care, Washington, D.C., 1986."},{"key":"BF02948481_CR9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R Greiner","year":"1989","unstructured":"Greiner R, Smith B A, Wilkerson R W. A correction to the algorithm in Reiter\u2019s theory of diagnosis.Artificial Intelligence, 1989\/90, 41: 79\u201388.","journal-title":"Artificial Intelligence"},{"key":"BF02948481_CR10","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond M, Lifschitz V. Classical negation in logic programs and disjunctive database.New Generation Computing, 1991, 9: 365\u2013385.","journal-title":"New Generation Computing"},{"key":"BF02948481_CR11","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/BF00244285","volume":"8","author":"J C Shepherdson","year":"1992","unstructured":"Shepherdson J C. SLDNF\u2014resolution with equality.J. of Automated Reasoning, 1992, 8: 297\u2013306.","journal-title":"J. of Automated Reasoning"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948481.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02948481\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02948481","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T23:03:06Z","timestamp":1558566186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02948481"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,7]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1996,7]]}},"alternative-id":["BF02948481"],"URL":"https:\/\/doi.org\/10.1007\/bf02948481","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1996,7]]}}}