{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:18Z","timestamp":1725551778003},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644132"},{"type":"electronic","value":"9783540697800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64413-x_41","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T15:22:41Z","timestamp":1270480961000},"page":"256-266","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic diagnosis as an update problem"],"prefix":"10.1007","author":[{"given":"Angelo C.","family":"Restificar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0004-3702(91)90005-5","volume":"49","author":"T. Bylander","year":"1991","unstructured":"Tom Bylander, Dean Allemang, Michael C. Tanner and John R. Josephson, The computational complexity of abduction. Artificial Intelligence, 49, 1991, pp. 25\u201360.","journal-title":"Artificial Intelligence"},{"key":"17_CR2","unstructured":"Console, L., Theseider Dupre, D., and Torasso, P.. A Theory of Diagnosis for Incomplete Causal Models in: Proceedings of the 11 th International Joint Conference in Artificial Intelligence, 1989, pp. 1311\u20131317."},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Hendrik Decker. Drawing Updates From Derivations in: Proceedings of the International Conference on Database Theory, 1990, pp. 437\u2013451.","DOI":"10.1007\/3-540-53507-1_94"},{"key":"17_CR4","unstructured":"R. Fagin, G.M. Kuper, J.D. Ullman, M.Y. Vardi. Updating Logical Databases. Advances in Computing Research, Vol. 3, JAI Press, 1986."},{"key":"17_CR5","unstructured":"A. Guessoum and J. W. Lloyd. Updating Knowledge Bases II. TR-90-13, Univ. Bristol, Comp. Sc., 1990."},{"key":"17_CR6","unstructured":"A.C. Kakas and P. Mancarella. Database Updates through Abduction in: Proceedings of the 16 th International Conference on Very Large Databases, 1990, pp. 650\u2013661."},{"key":"17_CR7","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Michael Kifer and V.S. Subrahmanian. Theory of Generalized Annotated Logic Programming and its Applications. J. ofLogic Programming, Vol. 12, 1992, pp. 335\u2013367.","journal-title":"J. ofLogic Programming"},{"key":"17_CR8","unstructured":"Raymond T. Ng and V.S. Subrahmanian. A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases in: Proceedings of the 8th International Conference in Logic Programming, 1991, pp. 565\u2013580."},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"L. Ngo and P. Haddawy. Probabilistic Logic Programming and Bayesian Network in: Proceedings of the 1995 Asian Computing Science Conference, 1995, pp. 286\u2013300.","DOI":"10.1007\/3-540-60688-2_51"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"N. Nilsson. Probabilistic Logic. Artificial Intelligence, 28, pp. 71\u201387.","DOI":"10.1016\/0004-3702(86)90031-7"},{"key":"17_CR11","unstructured":"D. Poole. Logic Programming, Abduction and Probability in: Proceedings of the International Conference on Fifth Generation Computer Systems, 1992, pp. 530\u2013538"},{"key":"17_CR12","doi-asserted-by":"crossref","unstructured":"A. Restificar. An Update Procedure for A Probabilistic Deductive Database in: Proceedings of the 4 th Pacific Rim International Conference on Artificial Intelligence, 1996, pp. 144\u2013156.","DOI":"10.1007\/3-540-61532-6_13"},{"key":"17_CR13","doi-asserted-by":"crossref","unstructured":"Anthony Tomasic. A View Update Translation via Deduction and Annotation in: Proceedings of the 2 nd International Conference on Database Theory, 1988, pp. 338\u2013352.","DOI":"10.1007\/3-540-50171-1_22"},{"key":"17_CR14","unstructured":"K. Inoue and C. Sakama. Abductive Framework for Nonmonotonic Theory Change in: Proceedings of the 14 th International Joint Conference in Artificial Intelligence, 1995, pp. 204\u2013210."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning with Complex Representations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64413-X_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:13:12Z","timestamp":1558987992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}