{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:24:27Z","timestamp":1725488667804},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540653127"},{"type":"electronic","value":"9783540494263"}],"license":[{"start":{"date-parts":[[1998,1,1]],"date-time":"1998-01-01T00:00:00Z","timestamp":883612800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49426-x_12","type":"book-chapter","created":{"date-parts":[[2007,8,3]],"date-time":"2007-08-03T16:21:25Z","timestamp":1186158085000},"page":"242-265","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Correlation using uncertain and temporal information"],"prefix":"10.1007","author":[{"given":"John","family":"Bigham","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,9,28]]},"reference":[{"key":"12_CR1","unstructured":"M. Ghallab and A. Mounir-Alaoui. Managing efficiently temporal relations through indexed spanning trees. In Proceedings of the 11th International Joint Conference on Artificial Intelligence, pages 1297\u20131303, 1989."},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1049\/el:19960089","volume":"32","author":"J. Bigham","year":"1996","unstructured":"J. Bigham and K. Scrupps. A telecommunications maintenance application using model-based reasoning. Electronics Letters, 32:98\u201399, 1996.","journal-title":"Electronics Letters"},{"key":"12_CR3","doi-asserted-by":"publisher","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:127\u2013162, 1986.","journal-title":"Artificial Intelligence"},{"key":"12_CR4","unstructured":"C. Dousson, P. Gaborit, and M. Ghallab. Situation recognition: Representation and algorithms. Automated Reasoning, pages 166\u2013172, 1992."},{"key":"12_CR5","first-page":"87","volume-title":"Truth Maintenance Systems","author":"D. Dubois","year":"1990","unstructured":"D. Dubois, J. Lang, and H. Prade. A possibilistic assumption-based truth maintenance system with uncertain justifications, and its application to belief revision. In J. P. Martins and M. Reinfrank, editors, Truth Maintenance Systems, pages 87\u2013106. Springer Verlag, Berlin, Germany, 1990."},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","volume":"53","author":"K. Konolige","year":"1992","unstructured":"K. Konolige. Abduction versus closure in causal theories. Artificial Intelligence, 53:255\u2013272, 1992.","journal-title":"Artificial Intelligence"},{"key":"12_CR7","unstructured":"T. H. Ngair and G. Provan. A lattice-theoretic analysis of assumption-based problem solving. Technical Report, Institute of System Science, National University of Singapore, 1993."},{"key":"12_CR8","unstructured":"S. Parsons and J. Bigham. Possibility theory and the generalised Noisy OR model. In Proceedings of the 6th International Conference on Information Processing and the Management of Uncertainty, pages 853\u2013858, 1996."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D. Poole","year":"1993","unstructured":"D. Poole. Probabilistic horn abduction and Bayesian networks. Artificial Intelligence, 64:81\u2013129, 1993.","journal-title":"Artificial Intelligence"},{"key":"12_CR10","unstructured":"S. Srinivas. Modeling failure priors and persistence in model-based diagnosis. In Proceedings of the 11th Conference on Uncertainty in Artificial Intelligence, pages 507\u2013514, 1995."},{"key":"12_CR11","volume-title":"Applications of Uncertainty Formalisms (this volume)","author":"A. Y. Tawfik","year":"1998","unstructured":"A. Y. Tawfik and E. Neufeld. Model-based diagnosis: A probabilistic extension. In A. Hunter and S. Parsons, editors, Applications of Uncertainty Formalisms (this volume). Springer Verlag, Berlin, 1998."}],"container-title":["Lecture Notes in Computer Science","Applications of Uncertainty Formalisms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49426-X_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T01:04:22Z","timestamp":1586135062000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49426-X_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540653127","9783540494263"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-49426-x_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]},"assertion":[{"value":"28 September 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}