{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:11:20Z","timestamp":1773655880772,"version":"3.50.1"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2008,12,19]],"date-time":"2008-12-19T00:00:00Z","timestamp":1229644800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1007\/s10472-008-9104-7","type":"journal-article","created":{"date-parts":[[2008,12,18]],"date-time":"2008-12-18T06:38:00Z","timestamp":1229582280000},"page":"355-388","source":"Crossref","is-referenced-by-count":2,"title":["The theory of interval probabilistic logic programs"],"prefix":"10.1007","volume":"55","author":[{"given":"Alex","family":"Dekhtyar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael I.","family":"Dekhtyar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,12,19]]},"reference":[{"key":"9104_CR1","volume-title":"The Laws of Thought","author":"G. Boole","year":"1854","unstructured":"Boole, G.: The Laws of Thought. Macmillan, London (1854)"},{"key":"9104_CR2","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M., Nelson Rushton, J.: Probabilistic reasoning with answer sets. In: Proc. LPNMR-2004, pp. 21\u201333 (2004)","DOI":"10.1007\/978-3-540-24609-1_5"},{"issue":"2","key":"9104_CR3","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1142\/S0218488594000146","volume":"2","author":"L.M. Campos de","year":"1994","unstructured":"de Campos, L.M., Huete, J.F., Moral, S.: Probability intervals: a tool for uncertain reasoning. Int. J. Uncertain. Fuzziness Knowl.-Based Syst. 2(2):167\u2013196 (1994)","journal-title":"Int. J. Uncertain. Fuzziness Knowl.-Based Syst."},{"key":"9104_CR4","volume-title":"Linear Programming","author":"V. Chv\u00e1tal","year":"1983","unstructured":"Chv\u00e1tal, V.: Linear Programming. W. Freeman, San Fancisco (1983)"},{"key":"9104_CR5","unstructured":"Dekhtyar, A.: Reasoning with uncertainty and time. Ph. D. Thesis, University of Maryland, College Parge (2000), August"},{"key":"9104_CR6","doi-asserted-by":"crossref","unstructured":"Dekhtyar, A., Dekhtyar, M.I.: Possible worlds semantics for probabilistic logic programs. In: Proc., International Conference on Logic Programming (ICLP)\u20192004, LNCS, vol. 3132, pp. 137\u2013148 (2004)","DOI":"10.1007\/978-3-540-27775-0_10"},{"key":"9104_CR7","doi-asserted-by":"crossref","unstructured":"Dekhtyar, A., Dekhtyar, M.I.: Revisiting the semantics of interval probabilistic logic programs. In: Proc. 8th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR\u201905), LNAI, vol. 3662, pp. 330\u2013342 (2005)","DOI":"10.1007\/11546207_26"},{"issue":"3","key":"9104_CR8","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0743-1066(99)00059-X","volume":"43","author":"A. Dekhtyar","year":"2000","unstructured":"Dekhtyar, A., Subrahmanian, V.S.: Hybrid probabilistic programs. J. Logic Programm. 43(3):187\u2013250 (2000)","journal-title":"J. Logic Programm."},{"issue":"1,2","key":"9104_CR9","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J., Megiddo, N.: A logic for reasoning about probabilities. Inform. Comput. 87(1,2):78\u2013128 (1990)","journal-title":"Inform. Comput."},{"key":"9104_CR10","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings, ICLP\/SLP 1988, pp. 1070\u20131080 (1988)"},{"key":"9104_CR11","doi-asserted-by":"crossref","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.H.: Probabilistic satisfiability. J. Complex. 4:1\u201311 (1988)","journal-title":"J. Complex."},{"key":"9104_CR12","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1080\/00029890.1965.11970533","volume":"72","author":"T. Hailperin","year":"1965","unstructured":"Hailperin, T.: Best possible inequalities for the probability of a logical function of events. Am. Math. Mon. 72:343\u2013359 (1965)","journal-title":"Am. Math. Mon."},{"issue":"4","key":"9104_CR13","doi-asserted-by":"crossref","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. Logic Programm. 12(4):335\u2013368 (1992)","journal-title":"J. Logic Programm."},{"key":"9104_CR14","unstructured":"Kyburg Jr, H.E.: Interval-valued probabilities. In: de Cooman, G., Walley, P., Cozman, F.G. (eds.), Imprecise probabilities project http:\/\/ippserv.rug.ac.be\/documentation\/interval_prob\/interval_prob.html (1998)"},{"key":"9104_CR15","first-page":"724","volume-title":"Proceedings, DEXA\u201994, September 1994, Athens, Grees, LNCS, vol. 856","author":"L.V.S. Lakshmanan","year":"1994","unstructured":"Lakshmanan, L.V.S., Sadri, F.: Modeling uncertainty in deductive databases. In: Proceedings, DEXA\u201994, September 1994, Athens, Grees, LNCS, vol. 856, pp. 724\u2013733. Springer, New York (1994)"},{"key":"9104_CR16","unstructured":"Lakshmanan, L.V.S., Sadri, F.: Probabilistic deductive databases. In: Proc. International Symposium on Logic Programming (SLP), pp. 254\u2013268 (1994)"},{"key":"9104_CR17","first-page":"388","volume-title":"Proceedings 13th European Confrence on Artificial Intelligence (ECAI\u201998)","author":"T. Lukasiewicz","year":"1998","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: Proceedings 13th European Confrence on Artificial Intelligence (ECAI\u201998), pp. 388\u2013392. Wiley, New York (1998)"},{"key":"9104_CR18","first-page":"277","volume-title":"Proceedings, 5th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR), LNAI, vol. 1730","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T.: Many-valued disjunctive logic programs with probabilistic semantics. In: Proceedings, 5th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR), LNAI, vol. 1730, pp. 277\u2013289. Springer, New York (1999)"},{"key":"9104_CR19","unstructured":"Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: Proceedings, UAI 2001, pp. 329\u2013336, (2001)"},{"key":"9104_CR20","first-page":"292","volume-title":"Proceedings 6th Conference on Automated Deduction (CADE \u201982). Volume 138 of Lecture Notes in Computer Science","author":"J. Minker","year":"1982","unstructured":"Minker, J.: On indefinite data bases and the closed world assumption. In: Loveland, D. (ed.), Proceedings 6th Conference on Automated Deduction (CADE \u201982). Volume 138 of Lecture Notes in Computer Science, pp. 292\u2013308. Springer, New York (1982)"},{"issue":"2","key":"9104_CR21","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1993","unstructured":"Ng, R., Subrahmanian, V.S.: Probabilistic logic programming. Inform. Comput. 101(2):150\u2013201 (1993)","journal-title":"Inform. Comput."},{"issue":"2","key":"9104_CR22","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF00881836","volume":"10","author":"R. Ng","year":"1993","unstructured":"Ng, R., Subrahmanian, V.S.: A semantical framework for supporting subjective and conditional probabilities in deductive databases. J. Autom. Reason. 10(2):191\u2013235 (1993)","journal-title":"J. Autom. Reason."},{"issue":"1","key":"9104_CR23","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1006\/inco.1994.1023","volume":"110","author":"R. Ng","year":"1995","unstructured":"Ng, R., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Inform. Comput. 110(1):42\u201383 (1995)","journal-title":"Inform. Comput."},{"key":"9104_CR24","doi-asserted-by":"crossref","unstructured":"Ngo, L., Haddawy, P.: Probabilistic logic programming and Bayesian networks. In: Proc. ASIAN-1995, pp. 286\u2013300 (1995)","DOI":"10.1007\/3-540-60688-2_51"},{"key":"9104_CR25","first-page":"71","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. AI J 28:71\u201387 (1986)","journal-title":"AI J"},{"key":"9104_CR26","volume-title":"Probabilistic Reasoning in Intelligent Systems: Netoworks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Netoworks of Plausible Inference. Morgan Kaufmann, San Francisco (1988)"},{"issue":"1","key":"9104_CR27","doi-asserted-by":"crossref","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. Intel. 64(1):81\u2013129 (1993)","journal-title":"Artif. Intel."},{"key":"9104_CR28","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/S0004-3702(02)00187-X","volume":"138","author":"P. Simons","year":"2002","unstructured":"Simons, P., Niemel\u00e4, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intel. J. 138:181\u2013234 (2002)","journal-title":"Artif. Intel. J."},{"key":"9104_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-3472-7","volume-title":"Statistical reasoning with imprecise probabilities","author":"P. Walley","year":"1991","unstructured":"Walley, P.: Statistical reasoning with imprecise probabilities. Chapman and Hall, London (1991)"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-008-9104-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-008-9104-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-008-9104-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T13:51:51Z","timestamp":1559137911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-008-9104-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,12,19]]},"references-count":29,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2009,4]]}},"alternative-id":["9104"],"URL":"https:\/\/doi.org\/10.1007\/s10472-008-9104-7","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,12,19]]}}}