{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T02:27:58Z","timestamp":1648693678876},"reference-count":22,"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\/bf01530754","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"415-437","source":"Crossref","is-referenced-by-count":0,"title":["An algorithm for model-based diagnosis that considers time"],"prefix":"10.1007","volume":"11","author":[{"given":"Sebastian","family":"Iwanowski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"T. Bylander, Complexity of model-based diagnosis, Ohio State University, TR 89-TB-COMP-MOD."},{"key":"CR2","unstructured":"P. Dague, P. Dev\ufffds, P. Luciani and P. Taillibert, Analog systems diagnosis,Proc. ECAI 1990, pp. 173?178."},{"key":"CR3","unstructured":"P. Dague, O. Jehl, P. Dev\ufffds, P. Luciani and P. Taillibert, When oscillators stop oscillating,Proc. IJCAI 1991, pp. 1109?1115."},{"key":"CR4","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 behavior, Artificial Intelligence 24 (1984) 347?410.","journal-title":"Artificial Intelligence"},{"key":"CR5","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":"CR6","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":"CR7","unstructured":"J. de Kleer, A general labeling algorithm for assumption-based truth maintenance,Proc. AAAI 1988, pp. 188?192."},{"key":"CR8","unstructured":"J. de Kleer and B. C. Williams, Diagnosis with behavioral modes,Proc. IJCAI 1989, pp. 1324?1330."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"J. de Kleer, A. K. Mackworth and R. Reiter, Characterizing diagnoses,Proc. AAAI 1990, pp. 324?330.","DOI":"10.1007\/3-540-53104-1_27"},{"key":"CR10","unstructured":"J. de Kleer, Focusing on probable diagnoses,Proc. AAAI 1991, pp. 842?848."},{"key":"CR11","unstructured":"O. Dressler and P. Struss, Back to defaults: Characterizing and computing diagnoses as coherent assumption sets,Proc. ECAI 1992, pp. 719?723."},{"key":"CR12","unstructured":"G. Friedrich and F. Lackinger, Diagnosing temporal misbehavior,Proc. IJCAI 1991, pp. 1116?1122."},{"key":"CR13","unstructured":"T. Guckenbiehl, The extended episode propagator ? Version 2, Fraunhofer-Institute IITB Internal Report (1992)."},{"key":"CR14","first-page":"53","volume":"462","author":"T. Guckenbiehl","year":"1990","unstructured":"T. Guckenbiehl and G. Sch\ufffdfer-Richter, SIDIA: Extending prediction based diagnosis to dynamic models, Lecture Notes in Artificial Intelligence 462 (1990) 53?68.","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"CR15","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?272.","journal-title":"Artificial Intelligence"},{"key":"CR16","unstructured":"W. C. Hamscher, L. Console and J. de Kleer,Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992)."},{"key":"CR17","unstructured":"S. Iwanowski, A compact algorithm for model-based diagnosis, Daimler-Benz Technischer Bericht F2\/S-92-002."},{"key":"CR18","unstructured":"C. Joubel and O. Raiman, How time changes assumptions,Proc. ECAI 1990, pp. 378?383."},{"key":"CR19","unstructured":"I. Mozetic, A polynomial time algorithm for model-based diagnosis,Proc. ECAI 1992, pp. 729?733."},{"key":"CR20","unstructured":"O. Raiman, J. de Kleer, V. Saraswat and M. Shirley, Characterizing non-intermittent faults,Proc. AAAI 1991, pp. 849?854."},{"key":"CR21","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":"CR22","unstructured":"P. Struss and O. Dressler, ?Physical negation? ? Integrating fault models into the GDE,Proc. IJCAI 1989, pp. 1318?1323."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530754\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530754.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530754\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530754","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\/BF01530754"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":22,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530754"],"URL":"https:\/\/doi.org\/10.1007\/bf01530754","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}