{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T19:22:45Z","timestamp":1763580165805,"version":"build-2065373602"},"reference-count":20,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[1993,2,1]],"date-time":"1993-02-01T00:00:00Z","timestamp":728524800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1993,2]]},"DOI":"10.1016\/0004-3702(93)90181-a","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T08:02:52Z","timestamp":1047628972000},"page":"149-157","source":"Crossref","is-referenced-by-count":21,"title":["Retrospective on \u201cDiagnostic reasoning based on structure and behavior\u201d"],"prefix":"10.1016","volume":"59","author":[{"given":"Randall","family":"Davis","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"1\u20133","key":"10.1016\/0004-3702(93)90181-A_BIB1","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0004-3702(91)90110-6","article-title":"Graphs of models","volume":"51","author":"Addanki","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90181-A_BIB2","series-title":"Intelligent Tutoring Systems","article-title":"Knowledge engineering and pedagogical techniques in SOPHIE I, II and III","author":"Brown","year":"1982"},{"issue":"2","key":"10.1016\/0004-3702(93)90181-A_BIB3","first-page":"3","article-title":"Expert systems\u2014Where are we? And where do we go from here?","volume":"3","author":"Davis","year":"1982","journal-title":"AI Mag."},{"key":"10.1016\/0004-3702(93)90181-A_BIB4","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","article-title":"Diagnostic reasoning based on structure and behavior","volume":"24","author":"Davis","year":"1984","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90181-A_BIB5","series-title":"Proceedings IJCAI-89 Workshop on Model-Based Reasoning","article-title":"Form and content in model-based reasoning","author":"Davis","year":"1989"},{"article-title":"Local methods of localizing faults in electronic circuits","year":"1976","author":"de Kleer","key":"10.1016\/0004-3702(93)90181-A_BIB6"},{"key":"10.1016\/0004-3702(93)90181-A_BIB7","series-title":"Proceedings AAAI-91","first-page":"842","article-title":"Focusing on probable diagnoses","author":"de Kleer","year":"1991"},{"key":"10.1016\/0004-3702(93)90181-A_BIB8","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":"Artif. Intell."},{"issue":"1\u20133","key":"10.1016\/0004-3702(93)90181-A_BIB9","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0004-3702(91)90109-W","article-title":"Compositional modeling: finding the right model for the job","volume":"51","author":"Falkenhainer","year":"1991","journal-title":"Artif. Intell."},{"issue":"6","key":"10.1016\/0004-3702(93)90181-A_BIB10","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1016\/0010-4809(82)90015-5","article-title":"LOCALIZE: computer-assisted localization of peripheral nervous system lesions","volume":"15","author":"First","year":"1982","journal-title":"Comput. Biomed. Res."},{"key":"10.1016\/0004-3702(93)90181-A_BIB11","series-title":"Proceedings AAAI-90","first-page":"331","article-title":"Physical impossibility instead of fault models","author":"Friedrich","year":"1990"},{"key":"10.1016\/0004-3702(93)90181-A_BIB12","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","article-title":"Modeling digital circuits for troubleshooting","volume":"51","author":"Hamscher","year":"1991","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90181-A_BIB13","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":"Artif. Intell."},{"article-title":"The declarative representation and procedural simulation of causality in physical mechanisms","year":"1977","author":"Rieger","key":"10.1016\/0004-3702(93)90181-A_BIB14"},{"key":"10.1016\/0004-3702(93)90181-A_BIB15","series-title":"Proceedings AAAI-86","first-page":"884","article-title":"Generating tests by exploiting designed behavior","author":"Shirley","year":"1986"},{"key":"10.1016\/0004-3702(93)90181-A_BIB16","series-title":"Proceedings IJCAI-87","first-page":"1071","article-title":"Generate, test and debug: combining associational rules and causal models","author":"Simmons","year":"1987"},{"key":"10.1016\/0004-3702(93)90181-A_BIB17","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","article-title":"Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis","volume":"9","author":"Stallman","year":"1977","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(93)90181-A_BIB18","series-title":"Proceedings IJCAI-89","first-page":"1318","article-title":"\u201cPhysical negation\u201d integrating fault models into the general diagnostic engine","author":"Struss","year":"1989"},{"key":"10.1016\/0004-3702(93)90181-A_BIB19","series-title":"Proceedings Third Workshop on Qualitative Physics","article-title":"Automated model switching","author":"Weld","year":"1989"},{"key":"10.1016\/0004-3702(93)90181-A_BIB20","series-title":"Proceedings AAAI-88","first-page":"358","article-title":"Design for testability","author":"Wu","year":"1988"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029390181A?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029390181A?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,26]],"date-time":"2019-03-26T20:52:06Z","timestamp":1553633526000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029390181A"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,2]]},"references-count":20,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1993,2]]}},"alternative-id":["000437029390181A"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(93)90181-a","relation":{},"ISSN":["0004-3702"],"issn-type":[{"type":"print","value":"0004-3702"}],"subject":[],"published":{"date-parts":[[1993,2]]}}}