{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T08:28:52Z","timestamp":1760171332323,"version":"3.37.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030004606"},{"type":"electronic","value":"9783030004613"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-030-00461-3_3","type":"book-chapter","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T20:13:01Z","timestamp":1536610381000},"page":"35-49","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Credal Extension of Independent Choice Logic"],"prefix":"10.1007","author":[{"given":"Alessandro","family":"Antonucci","sequence":"first","affiliation":[]},{"given":"Alessandro","family":"Facchini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,11]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0167-9236(94)90031-0","volume":"11","author":"KA Andersen","year":"1994","unstructured":"Andersen, K.A., Hooker, J.N.: Bayesian logic. Decis. Support Syst. 11(2), 191\u2013210 (1994)","journal-title":"Decis. Support Syst."},{"issue":"3","key":"3_CR2","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF03037168","volume":"9","author":"KR Apt","year":"1991","unstructured":"Apt, K.R., Bezem, M.: Acyclic programs. New Gener. Comput. 9(3), 335\u2013363 (1991)","journal-title":"New Gener. Comput."},{"key":"3_CR3","doi-asserted-by":"publisher","DOI":"10.1002\/9781118763117","volume-title":"Introduction to Imprecise Probabilities","author":"T Augustin","year":"2014","unstructured":"Augustin, T., Coolen, F., de Cooman, G., Troffaes, M.: Introduction to Imprecise Probabilities. Wiley, Hoboken (2014)"},{"key":"3_CR4","first-page":"1","volume":"20","author":"B Carpenter","year":"2016","unstructured":"Carpenter, B., et al.: Stan: a probabilistic programming language. J. Stat. Softw. 20, 1\u201337 (2016)","journal-title":"J. Stat. Softw."},{"issue":"1","key":"3_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.ijar.2007.08.002","volume":"49","author":"F Cozman","year":"2008","unstructured":"Cozman, F., de Campos, C., da Rocha, J.C.: Probabilistic logic with independence. Int. J. Approx. Reason. 49(1), 3\u201317 (2008)","journal-title":"Int. J. Approx. Reason."},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.ijar.2014.09.002","volume":"58","author":"F Cozman","year":"2015","unstructured":"Cozman, F., di Ianni, L.: Probabilistic satisfiability and coherence checking through integer programming. Int. J. Approx. Reason. 58, 57\u201370 (2015)","journal-title":"Int. J. Approx. Reason."},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1613\/jair.5482","volume":"60","author":"F Cozman","year":"2017","unstructured":"Cozman, F., Mau\u00e1, D.: On the semantics and complexity of probabilistic logic programs. J. Artif. Intell. Res. 60, 221\u2013262 (2017)","journal-title":"J. Artif. Intell. Res."},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"De Raedt, L.: Applications of probabilistic logic programming. In: International Conference on Inductive Logic Programming (2015)","DOI":"10.1007\/978-1-4899-7502-7_135-1"},{"issue":"1","key":"3_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10994-015-5494-z","volume":"100","author":"L Raedt De","year":"2015","unstructured":"De Raedt, L., Kimmig, A.: Probabilistic (logic) programming concepts. Mach. Learn. 100(1), 5\u201347 (2015)","journal-title":"Mach. Learn."},{"key":"3_CR10","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: a probabilistic Prolog and its application in link discovery. In: International Joint Conference on Artificial Intelligence, pp. 2462\u20132467 (2007)"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1017\/S1471068414000076","volume":"15","author":"D Fierens","year":"2015","unstructured":"Fierens, D., et al.: Inference and learning in probabilistic logic programs using weighted Boolean formulas. Theory Pract. Log. Program. 15(3), 358\u2013401 (2015)","journal-title":"Theory Pract. Log. Program."},{"key":"3_CR12","unstructured":"Finger, M., De Bona, G.: Probabilistic satisfiability: logic-based algorithms and phase transition. In: International Joint Conference on Artificial Intelligence, pp. 528\u2013533 (2011)"},{"issue":"7","key":"3_CR13","doi-asserted-by":"publisher","first-page":"1448","DOI":"10.1016\/j.jcss.2014.04.026","volume":"80","author":"S Flesca","year":"2014","unstructured":"Flesca, S., Furfaro, F., Parisi, F.: Consistency checking and querying in probabilistic databases under integrity constraints. J. Comput. Syst. Sci. 80(7), 1448\u20131489 (2014)","journal-title":"J. Comput. Syst. Sci."},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Fuhr, N.: Probabilistic datalog: a logic for powerful retrieval methods. In: International ACM SIGIR Conference on Research and Development in Information Retrieval, pp. 282\u2013290. ACM (1995)","DOI":"10.1145\/215206.215372"},{"issue":"2","key":"3_CR15","first-page":"95","volume":"51","author":"N Fuhr","year":"2000","unstructured":"Fuhr, N.: Probabilistic datalog: implementing logical information retrieval for advanced applications. J. Assoc. Inf. Sci. Technol. 51(2), 95\u2013110 (2000)","journal-title":"J. Assoc. Inf. Sci. Technol."},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-14125-6_1","volume-title":"Preference Learning","author":"J F\u00fcrnkranz","year":"2010","unstructured":"F\u00fcrnkranz, J., H\u00fcllermeier, E.: Preference learning: an introduction. In: F\u00fcrnkranz, J., H\u00fcllermeier, E. (eds.) Preference Learning, pp. 1\u201317. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-14125-6_1"},{"issue":"1","key":"3_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0885-064X(88)90006-4","volume":"4","author":"G Georgakopoulos","year":"1988","unstructured":"Georgakopoulos, G., Kavvadias, D., Papadimitriou, C.: Probabilistic satisfiability. J. Complex. 4(1), 1\u201311 (1988)","journal-title":"J. Complex."},{"key":"3_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0008-6","volume-title":"Probabilistic Logics and Probabilistic Networks","author":"R Haenni","year":"2010","unstructured":"Haenni, R., Romeijn, J.W., Wheeler, G., Williamson, J.: Probabilistic Logics and Probabilistic Networks, vol. 350. Springer, Dordrecht (2010). https:\/\/doi.org\/10.1007\/978-94-007-0008-6"},{"key":"3_CR19","unstructured":"Janhunen, T.: Representing normal programs with clauses. In: European Conference on Artificial Intelligence, pp. 358\u2013362. IOS Press (2004)"},{"key":"3_CR20","volume-title":"The Enterprise of Knowledge: An Essay on Knowledge, Credal Probability, and Chance","author":"I Levi","year":"1983","unstructured":"Levi, I.: The Enterprise of Knowledge: An Essay on Knowledge, Credal Probability, and Chance. MIT press, Cambridge (1983)"},{"key":"3_CR21","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: European Conference on Artificial Intelligence, pp. 388\u2013392 (1998)"},{"issue":"2","key":"3_CR22","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1016\/j.ijar.2006.06.012","volume":"45","author":"T Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T.: Probabilistic description logic programs. Int. J. Approx. Reason. 45(2), 288\u2013307 (2007)","journal-title":"Int. J. Approx. Reason."},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2015.06.008","volume":"228","author":"S Michels","year":"2015","unstructured":"Michels, S., Hommersom, A., Lucas, P.J., Velikova, M.: A new probabilistic constraint logic programming language based on a generalised distribution semantics. Artif. Intell. 228, 1\u201344 (2015)","journal-title":"Artif. Intell."},{"issue":"2","key":"3_CR24","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R Ng","year":"1992","unstructured":"Ng, R., Subrahmanian, V.S.: Probabilistic logic programming. Inf. Comput. 101(2), 150\u2013201 (1992)","journal-title":"Inf. Comput."},{"issue":"1","key":"3_CR25","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"NJ Nilsson","year":"1986","unstructured":"Nilsson, N.J.: Probabilistic logic. Artif. Intell. 28(1), 71\u201387 (1986)","journal-title":"Artif. Intell."},{"issue":"1","key":"3_CR26","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(93)90061-F","volume":"64","author":"D Poole","year":"1993","unstructured":"Poole, D.: Probabilistic Horn abduction and Bayesian networks. Artif. Intell. 64(1), 81\u2013129 (1993)","journal-title":"Artif. Intell."},{"issue":"1","key":"3_CR27","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artif. Intell. 94(1), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: International Conference on Logic Programming, pp. 715\u2013729 (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"3_CR29","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Verbaeten, S.: Logic programs with annotated disjunctions. Technical report CW 368, K.U.Leuven (2003)","DOI":"10.1007\/978-3-540-27775-0_30"},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/978-3-540-27775-0_30","volume-title":"Logic Programming","author":"J Vennekens","year":"2004","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 431\u2013445. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27775-0_30"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00461-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,10]],"date-time":"2024-07-10T04:56:20Z","timestamp":1720587380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00461-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030004606","9783030004613"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00461-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}