{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:49:59Z","timestamp":1725536999936},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642043871"},{"type":"electronic","value":"9783642043888"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04388-8_21","type":"book-chapter","created":{"date-parts":[[2009,8,29]],"date-time":"2009-08-29T02:48:38Z","timestamp":1251514118000},"page":"268-281","source":"Crossref","is-referenced-by-count":1,"title":["Query Answering in Belief Logic Programming"],"prefix":"10.1007","author":[{"given":"Hui","family":"Wan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"21_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0165-0114(87)90110-2","volume":"24","author":"J.F. Baldwin","year":"1987","unstructured":"Baldwin, J.F.: Evidential support logic programming. Fuzzy Sets and Systems\u00a024(1), 1\u201326 (1987)","journal-title":"Fuzzy Sets and Systems"},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"391","DOI":"10.7551\/mitpress\/4299.003.0033","volume":"43","author":"A. Dekhtyar","year":"1997","unstructured":"Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs. J. of Logic Programming\u00a043, 391\u2013405 (1997)","journal-title":"J. of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"Dempster, A.P.: Upper and lower probabilities induced by a multi-valued mapping. Ann. Mathematical Statistics\u00a038 (1967)","key":"21_CR3","DOI":"10.1214\/aoms\/1177698950"},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1093\/oso\/9780198537472.003.0009","volume-title":"Handbook of logic in artificial intelligence and logic programming, nonmonotonic reasoning and uncertain reasoning","author":"D. Dubois","year":"1994","unstructured":"Dubois, D., Lang, J., Prade, H.: Possibilistic logic. In: Handbook of logic in artificial intelligence and logic programming, nonmonotonic reasoning and uncertain reasoning, vol.\u00a03, pp. 439\u2013513. Oxford University Press, Inc., Oxford (1994)"},{"unstructured":"Grosof, B.N.: A courteous compiler from generalized courteous logic programs to ordinary logic programs. Technical Report Supplementary Update Follow-On to RC 21472, IBM (July 1999)","key":"21_CR5"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/3-540-50171-1_6","volume-title":"ICDT 19\u201988","author":"M. Kifer","year":"1988","unstructured":"Kifer, M., Li, A.: On the semantics of rule-based expert systems with uncertainty. In: Gyssens, M., Van Gucht, D., Paredaens, J. (eds.) ICDT 1988. LNCS, vol.\u00a0326, pp. 102\u2013117. Springer, Heidelberg (1988)"},{"issue":"3,4","key":"21_CR7","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1016\/0743-1066(92)90007-P","volume":"12","author":"M. Kifer","year":"1992","unstructured":"Kifer, M., Subrahmanian, V.S.: Theory of generalized annotated logic programming and its applications. J. of Logic Programming\u00a012(3,4), 335\u2013367 (1992)","journal-title":"J. of Logic Programming"},{"issue":"4","key":"21_CR8","doi-asserted-by":"publisher","first-page":"554","DOI":"10.1109\/69.940732","volume":"13","author":"L.V.S. Lakshmanan","year":"2001","unstructured":"Lakshmanan, L.V.S., Shiri, N.: A parametric approach to deductive databases with uncertainty. IEEE T. Knowledge and Data Engineering\u00a013(4), 554\u2013570 (2001)","journal-title":"IEEE T. Knowledge and Data Engineering"},{"issue":"3","key":"21_CR9","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1145\/377978.377983","volume":"2","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Probabilistic logic programming with conditional constraints. ACM Trans. on Computational Logic\u00a02(3), 289\u2013339 (2001)","journal-title":"ACM Trans. on Computational Logic"},{"issue":"B","key":"21_CR10","first-page":"141","volume":"4","author":"S. Muggleton","year":"2000","unstructured":"Muggleton, S.: Learning stochastic logic programs. Electron. Trans. Artif. Intell.\u00a04(B), 141\u2013153 (2000)","journal-title":"Electron. Trans. Artif. Intell."},{"issue":"3","key":"21_CR11","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1142\/S0218488597000245","volume":"5","author":"R.T. Ng","year":"1997","unstructured":"Ng, R.T.: Reasoning with uncertainty in deductive databases and logic programs. Intl. J. of Uncertainty,Fuzziness and Knowledge-Based Sys.\u00a05(3), 261\u2013316 (1997)","journal-title":"Intl. J. of Uncertainty,Fuzziness and Knowledge-Based Sys."},{"issue":"2","key":"21_CR12","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1007\/BF00881836","volume":"10","author":"R.T. Ng","year":"1993","unstructured":"Ng, R.T., Subrahmanian, V.S.: A semantical framework for supporting subjective probabilities in deductive databases. J. of Automated Reasoning\u00a010(2), 191\u2013235 (1993)","journal-title":"J. of Automated Reasoning"},{"key":"21_CR13","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/BFb0038700","volume-title":"Proceedings of the international workshop on Extensions of logic programming","author":"D. Pearce","year":"1991","unstructured":"Pearce, D., Wagner, G.: Logic programming with strong negation. In: Proceedings of the international workshop on Extensions of logic programming, pp. 311\u2013326. Springer-Verlag New York, Inc., New York (1991)"},{"doi-asserted-by":"crossref","unstructured":"Poole, D.: The independent choice logic and beyond. In: Probabilistic Inductive Logic Programming, pp. 222\u2013243 (2008)","key":"21_CR14","DOI":"10.1007\/978-3-540-78652-8_8"},{"doi-asserted-by":"crossref","unstructured":"De Raedt. L, Kersting, K.: Probabilistic inductive logic programming. In: Probabilistic inductive logic programming, pp. 1\u201327 (2008)","key":"21_CR15","DOI":"10.1007\/978-3-540-78652-8_1"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/978-3-540-30557-6_7","volume-title":"Practical Aspects of Declarative Languages","author":"E. Saad","year":"2005","unstructured":"Saad, E., Pontelli, E.: Towards a more practical hybrid probabilistic logic programming framework. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol.\u00a03350, pp. 67\u201382. Springer, Heidelberg (2005)"},{"key":"21_CR17","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T. Sato","year":"2001","unstructured":"Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. J. of Artificial Intelligence Research\u00a015, 391\u2013454 (2001)","journal-title":"J. of Artificial Intelligence Research"},{"key":"21_CR18","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G. Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"21_CR19","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/B978-0-444-88650-7.50019-6","volume-title":"Uncertainty in Artificial Intelligence","author":"P.P. Shenoy","year":"1990","unstructured":"Shenoy, P.P., Shafer, G.: Axioms for probability and belief-function propagation. In: Uncertainty in Artificial Intelligence, pp. 169\u2013198. North-Holland, Amsterdam (1990)"},{"key":"21_CR20","volume-title":"Computer Based Medical Consultations: MYCIN","author":"E.H. Shortliffe","year":"1976","unstructured":"Shortliffe, E.H.: Computer Based Medical Consultations: MYCIN. American Elsevier, Amsterdam (1976)"},{"unstructured":"Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: Symposium on Logic Programming (SLP), pp. 173\u2013182 (1987)","key":"21_CR21"},{"doi-asserted-by":"crossref","unstructured":"Wan, H., Grosof, B.N., Kifer, M., Fodor, P., Liang, S.: Logic programming with defaults and argumentation theories. In: Intl. Conf. on Logic Programming (2009)","key":"21_CR22","DOI":"10.1007\/978-3-642-02846-5_35"},{"doi-asserted-by":"crossref","unstructured":"Wan, H., Kifer, M.: Belief logic programming: Uncertainty reasoning with correlation of evidence. In: Intl. Conf. on Logic Programming and Nonmonotonic Reasoning, LPNMR (2009)","key":"21_CR23","DOI":"10.1007\/978-3-642-04238-6_27"},{"key":"21_CR24","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information Control\u00a08, 338\u2013353 (1965)","journal-title":"Information Control"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04388-8_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,16]],"date-time":"2024-03-16T05:15:16Z","timestamp":1710566116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04388-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642043871","9783642043888"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04388-8_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}