{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:23:56Z","timestamp":1725539036818},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050817"},{"type":"electronic","value":"9783642050824"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-05082-4_11","type":"book-chapter","created":{"date-parts":[[2009,10,14]],"date-time":"2009-10-14T02:19:58Z","timestamp":1255486798000},"page":"150-165","source":"Crossref","is-referenced-by-count":1,"title":["Belief Logic Programming with Cyclic Dependencies"],"prefix":"10.1007","author":[{"given":"Hui","family":"Wan","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"11_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":"11_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"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Dempster, A.P.: Upper and lower probabilities induced by a multi-valued mapping. Ann. Mathematical Statistics\u00a038 (1967)","DOI":"10.1214\/aoms\/1177698950"},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-33473-6_1","volume":"204","author":"Z. Ding","year":"2006","unstructured":"Ding, Z., Peng, Y., Pan, R.: BayesOWL: Uncertainty modeling in semantic web ontologies. Studies in Fuzziness and Soft Computing\u00a0204, 3\u201329 (2006)","journal-title":"Studies in Fuzziness and Soft Computing"},{"issue":"1","key":"11_CR5","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"3","author":"M.H. Emden Van","year":"1986","unstructured":"Van Emden, M.H.: Quantitative deduction and its fixpoint theory. J. of Logic Programming\u00a03(1), 37\u201353 (1986)","journal-title":"J. of Logic Programming"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-60112-0_25","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"S. Glesner","year":"1995","unstructured":"Glesner, S., Koller, D.: Constructing flexible dynamic belief networks from first-order probabilistic knowledge bases. In: Froidevaux, C., Kohlas, J. (eds.) ECSQARU 1995. LNCS, vol.\u00a0946, pp. 217\u2013226. Springer, Heidelberg (1995)"},{"key":"11_CR7","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":"11_CR8","doi-asserted-by":"crossref","unstructured":"Kersting, K., De Raedt, L.: Bayesian logic programs. Technical report, Albert-Ludwigs University at Freiburg (2001)","DOI":"10.1007\/3-540-44797-0_9"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","first-page":"102","volume-title":"ICDT \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":"11_CR10","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":"11_CR11","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 Trans. on Knowledge and Data Engineering\u00a013(4), 554\u2013570 (2001)","journal-title":"IEEE Trans. on Knowledge and Data Engineering"},{"key":"11_CR12","first-page":"329","volume-title":"Annual Conf. on Uncertainty in Artificial Intelligence (UAI 2001)","author":"T. Lukasiewicz","year":"2001","unstructured":"Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Annual Conf. on Uncertainty in Artificial Intelligence (UAI 2001), pp. 329\u2013336. Morgan Kaufmann Publishers, San Francisco (2001)"},{"issue":"3","key":"11_CR13","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":"4","key":"11_CR14","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. Journal of Web Semantics\u00a06(4), 291\u2013308 (2008)","journal-title":"Journal of Web Semantics"},{"issue":"3","key":"11_CR15","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. Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a05(3), 261\u2013316 (1997)","journal-title":"Intl. Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"issue":"2","key":"11_CR16","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R.T. Ng","year":"1992","unstructured":"Ng, R.T., Subrahmanian, V.S.: Probabilistic logic programming. Information and Computation\u00a0101(2), 150\u2013201 (1992)","journal-title":"Information and Computation"},{"issue":"2","key":"11_CR17","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":"11_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-540-78652-8_8","volume-title":"Probabilistic Inductive Logic Programming","author":"D. Poole","year":"2008","unstructured":"Poole, D.: The Independent Choice Logic and Beyond. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911, pp. 222\u2013243. Springer, Heidelberg (2008)"},{"key":"11_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78652-8_1","volume-title":"Probabilistic Inductive Logic Programming","author":"L. Raedt De","year":"2008","unstructured":"De Raedt, L., Kersting, K.: Probabilistic inductive logic programming. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911, pp. 1\u201327. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"11_CR20","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning\u00a062(1-2), 107\u2013136 (2006)","journal-title":"Machine Learning"},{"key":"11_CR21","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)"},{"issue":"4","key":"11_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380576","volume":"9","author":"Y. Shen","year":"2008","unstructured":"Shen, Y.: Reasoning with recursive loops under the plp framework. ACM Trans. Comput. Logic\u00a09(4), 1\u201331 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"key":"11_CR23","unstructured":"Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy OWL: Uncertainty and the semantic web. In: Proc. of the International Workshop on OWL: Experiences and Directions (2005)"},{"key":"11_CR24","unstructured":"Subrahmanian, V.S.: On the semantics of quantitative logic programs. In: SLP, pp. 173\u2013182 (1987)"},{"key":"11_CR25","series-title":"Lecture Notes in Computer Science","first-page":"432","volume-title":"ICLP 2009","author":"H. Wan","year":"2009","unstructured":"Wan, H., Grosof, B.N., Kifer, M., Fodor, P., Liang, S.: Logic programming with defaults and argumentation theories. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol.\u00a05649, pp. 432\u2013448. Springer, Heidelberg (2009)"},{"key":"11_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/978-3-642-04238-6_27","volume-title":"LPNMR 2009","author":"H. Wan","year":"2009","unstructured":"Wan, H., Kifer, M.: Belief logic programming: Uncertainty reasoning with correlation of evidence. In: Erdem, E., Li, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 316\u2013328. Springer, Heidelberg (2009)"},{"key":"11_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1007\/978-3-642-04388-8_21","volume-title":"SUM 2009","author":"H. Wan","year":"2009","unstructured":"Wan, H., Kifer, M.: Query answering in belief logic programming. In: Godo, L., Pugliese, A. (eds.) SUM 2009. LNCS, vol.\u00a05785, pp. 268\u2013284. Springer, Heidelberg (2009)"},{"key":"11_CR28","unstructured":"Wan, H., Kifer, M.: Technical report: Belief logic programming. Technical report, Stony Brook University (2009), http:\/\/www.cs.sunysb.edu\/~hwan\/BLP_TR.html"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05082-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,17]],"date-time":"2024-03-17T03:26:14Z","timestamp":1710645974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05082-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050817","9783642050824"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05082-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}