{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:19Z","timestamp":1725664999809},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615323"},{"type":"electronic","value":"9783540687290"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61532-6_13","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:51:36Z","timestamp":1330293096000},"page":"144-156","source":"Crossref","is-referenced-by-count":1,"title":["An update procedure for a probabilistic deductive database"],"prefix":"10.1007","author":[{"given":"Angelo C.","family":"Restificar","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Tom Bylander, Dean Allemang, Michael C. Tanner and John R. Josephson: The computational complexity of abduction, Artificial Intelligence, Vol. 49, 1991.","key":"13_CR1","DOI":"10.1016\/0004-3702(91)90005-5"},{"doi-asserted-by":"crossref","unstructured":"Hendrik Decker: Drawing Updates From Derivations, in Proceedings of the International Conference on Database Theory, 1990.","key":"13_CR2","DOI":"10.1007\/3-540-53507-1_94"},{"doi-asserted-by":"crossref","unstructured":"M. H. van Emden: Quantitative Deduction and its Fixpoint Theory, Journal of Logic Programming, Elsevier Science Publishing Co., 1986.","key":"13_CR3","DOI":"10.1016\/0743-1066(86)90003-8"},{"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":"13_CR4"},{"unstructured":"A. Guessoum and J. W. Lloyd: Updating Knowledge Bases II, TR-90-13, Univ. Bristol, Comp. Sc., 1990.","key":"13_CR5"},{"doi-asserted-by":"crossref","unstructured":"Michael Kifer and V.S. Subrahmanian: Theory of Generalized Annotated Logic Programming and its Applications, Journal of Logic Programming, 1992.","key":"13_CR6","DOI":"10.1016\/0743-1066(92)90007-P"},{"key":"13_CR7","volume-title":"Research Report","author":"T. Kakas","year":"1990","unstructured":"T. Kakas and P. Mancarella: Database Updates through Abduction, Research Report, Dept. of Computing, Imperial College of Science and Technology, London, 1990."},{"unstructured":"Hector J. Levesque: A Knowledge-level Account of Abduction, in Proceedings of 11th International Joint Conference in Artificial Intelligence, Detroit, 1989.","key":"13_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.","key":"13_CR9"},{"doi-asserted-by":"crossref","unstructured":"N. Nilsson: Probabilistic Logic, AI Journal 28, pp. 71\u201387.","key":"13_CR10","DOI":"10.1016\/0004-3702(86)90031-7"},{"doi-asserted-by":"crossref","unstructured":"Raymond Reiter: Nonmonotonic Reasoning, Annual Review of Computer Science, Vol. 2, Annual Reviews Inc., 1987.","key":"13_CR11","DOI":"10.1146\/annurev.cs.02.060187.001051"},{"unstructured":"E. Shapiro: Logic Programs with Uncertainties: A Tool for Implementing Expert Systems, in Proceedings of the International Joint Conference in Artificial Intelligence, William Kauffman, 1983.","key":"13_CR12"},{"doi-asserted-by":"crossref","unstructured":"Anthony Tomasic: A View Update Translation via Deduction and Annotation, in Proceedings of the 2nd International Conference on Database Theory, August 31\u2013September 2, 1988.","key":"13_CR13","DOI":"10.1007\/3-540-50171-1_22"}],"container-title":["Lecture Notes in Computer Science","PRICAI'96: Topics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61532-6_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:29Z","timestamp":1605647249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61532-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615323","9783540687290"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61532-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}