{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:29Z","timestamp":1725663689869},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572923"},{"type":"electronic","value":"9783540480389"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57292-9_69","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:40:58Z","timestamp":1330260058000},"page":"314-325","source":"Crossref","is-referenced-by-count":0,"title":["Selecting observation time in the monitoring and interpretation of time-varying data"],"prefix":"10.1007","author":[{"given":"Luigi","family":"Portinale","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"34_CR1","unstructured":"F. Bergadano, F. Brancadori, D. De Marchi, A. Giordana, S. Radicchi, and L. Saitta. Applying machine learning to troubleshooting: a case study in a real domain. In Proc. 10th Int. Conference on Expert Systems and Their Applications, pages 169\u2013180, Avignon, 1990."},{"key":"34_CR2","unstructured":"C. Berzuini, S. Quaglini, and R. Bellazzi. Temporal reasoning via bayesian networks. In Atti primo congresso AI * JA, pages 248\u2013257, Trento, 1989."},{"key":"34_CR3","unstructured":"L. Console, L. Portinale, D. Theseider Dupr\u00e9, and P. Torasso. Diagnostic reasoning across different time points. In Proc. 10th ECAI, pages 369\u2013373, Vienna, 1992."},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"L. Console, L. Portinale, D. Theseider Dupr\u00e9, and P. Torasso. Diagnosing time-varying misbehavior: an apporoach based on model decomposition. Annals of Mathematics and Artificial Intelligence (to appear), 1993.","DOI":"10.1007\/BF01530752"},{"issue":"3","key":"34_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. Computational Intelligence, 7(3):133\u2013141, 1991. Also in [12].","journal-title":"Computational Intelligence"},{"key":"34_CR6","unstructured":"J. de Kleer and B.C. Williams. Diagnosis with behavioral modes. In Proc. 11th IJCAI, pages 1324\u20131330, Detroit, 1989."},{"key":"34_CR7","unstructured":"K. Downing. Consistency-based diagnosis in physiological domains. In Proc. AAAI-92, pages 558\u2013563, San Jose, 1992."},{"issue":"1","key":"34_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1991.tb00330.x","volume":"7","author":"J. Doyle","year":"1992","unstructured":"J. Doyle and E. Sacks. Markov analysis of qualitative dynamics. Computational Intelligence, 7(1):1\u201310, 1992.","journal-title":"Computational Intelligence"},{"key":"34_CR9","unstructured":"D. Dvorak and B. Kuipers. Model-based monitoring of dynamic systems. In Proc. 11th IJCAI, pages 1238\u20131243, Detroit, 1989."},{"key":"34_CR10","unstructured":"G. Friedrich and F. Lackinger. Diagnosing temporal misbehaviour. In Proc. 12th IJCAI, pages 1116\u20131122, Sydney, 1991."},{"issue":"1\u20133","key":"34_CR11","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\u20133):223\u2013271, 1991.","journal-title":"Artificial Intelligence"},{"key":"34_CR12","unstructured":"W. Hamscher, L. Console, and J. de Kleer. Readings in Model-Based Diagnosis. Morgan Kaufmann, 1992."},{"key":"34_CR13","unstructured":"W. Hamscher and R. Davis. Diagnosing circuit with state: an inherently underconstrained problem. In Proc. AAAI 84, pages 142\u2013147, Austin, 1984."},{"key":"34_CR14","unstructured":"L.J. Holtzblatt, M.J. Nejberg, R.L. Piazza, and M.B. Vilain. Temporal methods: multidimensional modeling of sequential circuits. In Proc. 2nd Int. Work. on Principles of Diagnosis, pages 111\u2013120, Milano, 1991."},{"key":"34_CR15","unstructured":"J.C. Kemeny and J.L. Snell. Finite Markov Chains. Springer Verlag, 1976."},{"key":"34_CR16","unstructured":"F. Lackinger and W. Nejdl. Integrating model-based monitoring and diagnosis of complex dynamic systems. In Proc. 12th IJCAI, pages 1123\u20131128, Sydney, 1991."},{"issue":"2","key":"34_CR17","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1109\/TSE.1985.232230","volume":"SE-11","author":"M.K. Molloy","year":"1985","unstructured":"M.K. Molloy. Discrete time stochastic Petri nets. IEEE Trans. on Software Engineering, SE-11(2):417\u2013423, 1985.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"34_CR18","unstructured":"M.F. Neuts. Probability. Allyn and Bacon, Inc., 1973."},{"key":"34_CR19","doi-asserted-by":"crossref","unstructured":"L. Portinale. Modeling uncertain temporal evolutions in model-based diagnosis. In Proc. 8th Conf. on Uncertainty in Artificial Intelligence, pages 244\u2013251, Stanford, 1992.","DOI":"10.1016\/B978-1-4832-8287-9.50038-4"},{"key":"34_CR20","unstructured":"G.M. Provan. Modeling the dynamics of diagnosis and treatment using temporal influence diagrams. In Working Notes 3rd International Workshop on Principles of Diagnosis, pages 97\u2013106, Rosario, WA, 1992."},{"key":"34_CR21","unstructured":"K.S. Trivedi. Probability and Statistics with Reliability, Queueing and Computer Science Applications. Prentice-Hall, 1982."}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57292-9_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:10:59Z","timestamp":1605647459000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57292-9_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572923","9783540480389"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-57292-9_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}