{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T22:03:56Z","timestamp":1767650636619},"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\/bf01530752","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:37:15Z","timestamp":1113871035000},"page":"381-398","source":"Crossref","is-referenced-by-count":8,"title":["Diagnosing time-varying misbehavior: an approach based on model decomposition"],"prefix":"10.1007","volume":"11","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Portinale","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele","family":"Theseider Dupr\ufffd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pietro","family":"Torasso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"L. Console, L. Portinale and D. Theseider Dupr\ufffd, Focusing abductive diagnosis, in:Proc. 11th Int. Conf. on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems), Avignon, 1991, pp. 231?242. Also in AI Communications 4(2\/3) (1991) 88?97.","DOI":"10.3233\/AIC-1991-42-3006"},{"key":"CR2","unstructured":"L. Console, L. Portinale, D. Theseider Dupr\ufffd and P. Torasso, Diagnostic reasoning across different time points, in:Proc. 10th ECAI, Vienna, 1992, pp. 369?373."},{"key":"CR3","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D. Theseider Dupr\ufffd and P. Torasso, On the relationship between abduction and deduction, J. Logic and Comput. 1 (1991) 661?690.","journal-title":"J. Logic and Comput."},{"issue":"6","key":"CR4","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0933-3657(91)90002-S","volume":"3","author":"L. Console","year":"1991","unstructured":"L. Console and P. Torasso, On the co-operation between abductive and temporal reasoning in medical diagnosis, Artificial Intelligence in Medicine 3(6) (1991) 291?311.","journal-title":"Artificial Intelligence in Medicine"},{"issue":"3","key":"CR5","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, Comput. Intelligence 7(3) (1991) 133?141. Also in [14].","journal-title":"Comput. Intelligence"},{"key":"CR6","unstructured":"P. Dague, P. Deves, P. Luciani and P. Taillibert, Analog systems diagnosis, in:Proc. 9th ECAI, Stockholm, 1990, pp. 173?178. Also in [14]."},{"key":"CR7","unstructured":"J. de Kleer and B.C. Williams, Diagnosis with behavioral modes, in:Proc. 11th IJCAI, Detroit, 1989, pp. 1324?1330."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R. Dechter","year":"1991","unstructured":"R. Dechter, I. Meiri and J. Pearl, Temporal constraint networks, Artificial Intelligence 49 (1991) 61?95.","journal-title":"Artificial Intelligence"},{"key":"CR9","unstructured":"D. DeCoste, Dynamic across-time measurement interpretation, in:Proc. AAAI 90, Boston, 1990, pp. 373?379."},{"key":"CR10","unstructured":"K. Downing, Consistency-based diagnosis in physiological domains, in:Proc. AAAI-92, San Jose, 1992, pp. 558?563."},{"key":"CR11","unstructured":"D. Dvorak and B. Kuipers, Model-based monitoring of dynamic systems, in:Proc. 11th IJCAI, Detroit, 1989, pp. 1238?1243. Also in [14]."},{"key":"CR12","unstructured":"G. Friedrich and F. Lackinger, Diagnosing temporal misbehaviour, in:Proc. 12th IJCAI, Sydney, 1991, pp. 1116?1122."},{"issue":"1?3","key":"CR13","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90112-W","volume":"51","author":"W. Hamscher","year":"1991","unstructured":"W. Hamscher, Modeling digital circuits for troubleshooting, Artificial Intelligence 51(1?3) (1991) 223?271. Also in [14].","journal-title":"Artificial Intelligence"},{"key":"CR14","unstructured":"W. Hamscher, L. Console and J. de Kleer,Readings in Model-Based Diagnosis (Morgan Kaufmann, 1992)."},{"key":"CR15","unstructured":"W. Hamscher and R. Davis, Diagnosing circuit with state: an inherently underconstrained problem, in:Proc. AAAI 84, Austin, 1984, 142?147. Also in [14]."},{"key":"CR16","unstructured":"F. Lackinger and W. Nejdl, Integrating model-based monitoring and diagnosis of complex dynamic systems, in:Proc. 12th IJCAI, Sydney, 1991, pp. 1123?1128."},{"key":"CR17","unstructured":"W. Long, Reasoning about state from causation and time in a medical domain, in:Proc AAAI 83, Washington, 1983, 251?254."},{"issue":"4","key":"CR18","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"T. Murata, Petri nets: Properties, analysis and applications, Proc. IEEE 77(4) (1989) 541?580.","journal-title":"Proc. IEEE"},{"issue":"6","key":"CR19","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/64.108950","volume":"6","author":"H.T. Ng","year":"1991","unstructured":"H.T. Ng, Model-based, multiple fault diagnosis of dynamic, continuous physical devices, IEEE Expert 6(6) (1991) 38?43. Also in [14].","journal-title":"IEEE Expert"},{"key":"CR20","doi-asserted-by":"crossref","unstructured":"L. Portinale, Modeling uncertain temporal evolutions in model-based diagnosis, in:Proc. 8th Conf. on Uncertainty in Artificial Intelligence, Stanford, 1992, pp. 244?251.","DOI":"10.1016\/B978-1-4832-8287-9.50038-4"},{"key":"CR21","unstructured":"P. Struss and O. Dressler, Physical negation?integrating fault models into the general diagnostic engine, in:Proc. 11th IJCAI, Detroit, 1989, pp. 1318?1323. Also in [14]."},{"key":"CR22","unstructured":"K.S. Trivedi,Probability and Statistics with Reliability, Queueing and Computer Science Applications (Prentice-Hall, 1982)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530752\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530752.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530752\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530752","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:48Z","timestamp":1586217708000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530752"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":22,"journal-issue":{"issue":"1-4","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530752"],"URL":"https:\/\/doi.org\/10.1007\/bf01530752","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}