{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:29:22Z","timestamp":1725618562740},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642239625"},{"type":"electronic","value":"9783642239632"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23963-2_3","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T01:29:02Z","timestamp":1317864542000},"page":"22-37","source":"Crossref","is-referenced-by-count":2,"title":["Logic Programming and Uncertainty"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Online etymology dictionary (July 2011), http:\/\/dictionary.reference.com\/browse\/uncertain"},{"key":"3_CR2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge representation, reasoning and declarative problem solving","author":"C. Baral","year":"2003","unstructured":"Baral, C.: Knowledge representation, reasoning and declarative problem solving. Cambridge University Press, Cambridge (2003)"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. In: Proceedings of LPNMR7, pp. 21\u201333 (2004)","DOI":"10.1007\/978-3-540-24609-1_5"},{"issue":"1","key":"3_CR4","first-page":"57","volume":"9","author":"C. Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. TPLP\u00a09(1), 57\u2013144 (2009)","journal-title":"TPLP"},{"key":"3_CR5","unstructured":"Baral, C., Hunsaker, M.: Using the probabilistic logic programming language p-log for causal and counterfactual reasoning and non-naive conditioning. In: IJCAI, pp. 243\u2013249 (2007)"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. Blair","year":"1989","unstructured":"Blair, H., Subrahmanian, V.: Paraconsistent logic programming. Theoretical Computer Science\u00a068, 135\u2013154 (1989)","journal-title":"Theoretical Computer Science"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-20895-9_4","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Damasion","year":"2011","unstructured":"Damasion, C., Moura, J.: Modularity of P-log programs. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS, vol.\u00a06645, pp. 13\u201325. Springer, Heidelberg (2011)"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. In: Proc. of 12th Annual IEEE Conference on Computational Complexity, pp. 82\u2013101 (1997)","DOI":"10.1109\/CCC.1997.612304"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-27775-0_10","volume-title":"Logic Programming","author":"A. Dekhtyar","year":"2004","unstructured":"Dekhtyar, A., Dekhtyar, M.: Possible worlds semantics for probabilistic logic programs. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 137\u2013148. Springer, Heidelberg (2004)"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","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. Journal of Logic Programming\u00a043(3), 187\u2013250 (2000)","journal-title":"Journal of Logic Programming"},{"key":"3_CR11","unstructured":"Eiter, T., Faber, W., Gottlob, G., Koch, C., Mateis, C., Leone, N., Pfeifer, G., Scarcello, F.: The dlv system. In: Minker, J. (ed.) Pre-prints of Workshop on Logic-Based AI (2000)"},{"issue":"2","key":"3_CR12","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"3","author":"M. Emden van","year":"1986","unstructured":"van Emden, M.: Quantitative deduction and its fixpoint theory. The Journal of Logic Programming\u00a03(2), 37\u201353 (1986)","journal-title":"The Journal of Logic Programming"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. Emden van","year":"1976","unstructured":"van Emden, M., Kowalski, R.: The semantics of predicate logic as a programming language. Journal of the ACM\u00a023(4), 733\u2013742 (1976)","journal-title":"Journal of the ACM"},{"key":"3_CR14","unstructured":"Fitting, M., Ben-Jacob, M.: Stratified and Three-Valued Logic programming Semantics. In: Kowalski, R., Bowen, K. (eds.) Proc. 5th International Conference and Symposium on Logic Programming, Seattle, Washington, August 15-19, pp. 1054\u20131069 (1988)"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: The Potsdam Answer Set Solving Collection. AI Communications - Answer Set Programming archive\u00a024(2) (2011)","DOI":"10.3233\/AIC-2011-0491"},{"key":"3_CR16","first-page":"1070","volume-title":"Logic Programming: Proc. of the Fifth Int\u2019l Conf. and Symp.","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Logic Programming: Proc. of the Fifth Int\u2019l Conf. and Symp., pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"3_CR17","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, D., Szeredi, P. (eds.) Logic Programming: Proc. of the Seventh Int\u2019l Conf., pp. 579\u2013597 (1990)"},{"key":"3_CR18","unstructured":"Gelfond, M., Rushton, N.: Causal and probabilistic reasoning in p-log (to appear in an edited book)"},{"key":"3_CR19","unstructured":"Gelfond, M., Rushton, N., Zhu, W.: Combining logical and probabilistic reasoning. In: AAAI Spring 2006 Symposium, pp. 50\u201355 (2006)"},{"issue":"2","key":"3_CR20","first-page":"125","volume":"10","author":"S. Greco","year":"2010","unstructured":"Greco, S., Molinaro, C., Trubitsyna, I., Zumpano, E.: NP-Datalog: A logic language for expressing search and optimization problems. TPLP\u00a010(2), 125\u2013166 (2010)","journal-title":"TPLP"},{"issue":"6","key":"3_CR21","doi-asserted-by":"publisher","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. Kakas","year":"1993","unstructured":"Kakas, A., Kowalski, R., Toni, F.: Abductive logic programming. Journal of Logic and Computation\u00a02(6), 719\u2013771 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"3_CR22","unstructured":"Kersting, K., Raedt, L.D.: Bayesian logic programs. In: Cussens, J., Frisch, A. (eds.) Proceedings of the Work-in-Progress Track at the 10th International Conference on Inductive Logic Programming, pp. 138\u2013155 (2000)"},{"key":"3_CR23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J. Lloyd","year":"1984","unstructured":"Lloyd, J.: Foundations of logic programming. Springer, Heidelberg (1984)"},{"key":"3_CR24","volume-title":"Foundations of disjunctive logic programming","author":"J. Lobo","year":"1992","unstructured":"Lobo, J., Minker, J., Rajasekar, A.: Foundations of disjunctive logic programming. MIT Press, Cambridge (1992)"},{"key":"3_CR25","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: ECAI, pp. 388\u2013392 (1998)"},{"key":"3_CR26","unstructured":"Muggleton, S.: Stochastic logic programs. In: De Raedt, L. (ed.) Proceedings of the 5th International Workshop on Inductive Logic Programming, Department of Computer Science, Katholieke Universiteit Leuven, p. 29 (1995)"},{"issue":"2","key":"3_CR27","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":"1\u20132","key":"3_CR28","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/S0304-3975(96)00128-4","volume":"171","author":"L. Ngo","year":"1997","unstructured":"Ngo, L., Haddawy, P.: Answering queries from context-sensitive probabilistic knowledge bases. Theoretical Computer Science\u00a0171(1\u20132), 147\u2013177 (1997)","journal-title":"Theoretical Computer Science"},{"key":"3_CR29","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1007\/3-540-63255-7_32","volume-title":"Proc. 4th International Conference on Logic Programming and Non-Monotonic Reasoning","author":"I. Niemel\u00e4","year":"1997","unstructured":"Niemel\u00e4, I., Simons, P.: Smodels \u2013 an implementation of the stable model and well-founded semantics for normal logic programs. In: Dix, J., Furbach, U., Nerode, A. (eds.) Proc. 4th International Conference on Logic Programming and Non-Monotonic Reasoning, pp. 420\u2013429. Springer, Heidelberg (1997)"},{"key":"3_CR30","volume-title":"Causality","author":"J. Pearl","year":"2000","unstructured":"Pearl, J.: Causality. Cambridge University Press, Cambridge (2000)"},{"issue":"1-2","key":"3_CR31","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. Artificial Intelligence\u00a094(1-2), 7\u201356 (1997)","journal-title":"Artificial Intelligence"},{"key":"3_CR32","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0743-1066(99)00071-0","volume":"44","author":"D. Poole","year":"2000","unstructured":"Poole, D.: Abducing through negation as failure: Stable models within the independent choice logic. Journal of Logic Programming\u00a044, 5\u201335 (2000)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"3_CR33","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. Artificial Intelligence\u00a064(1), 81\u2013129 (1993)","journal-title":"Artificial Intelligence"},{"key":"3_CR34","first-page":"119","volume-title":"Logic and Data Bases","author":"R. Reiter","year":"1978","unstructured":"Reiter, R.: On closed world data bases. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 119\u2013140. Plenum Press, New York (1978)"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Proceedings of the 12th International Conference on Logic Programming (ICLP 1995), pp. 715\u2013729 (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"3_CR36","unstructured":"Shapiro, E.: Logic programs with uncertainties: A tool for implementing expert systems. In: Proc. IJCAI (1983)"},{"key":"3_CR37","unstructured":"Subrahmanian, V.S.: Uncertainty in logic programming: some recollections. ALP Newsletter (May 2007)"},{"issue":"10","key":"3_CR38","doi-asserted-by":"publisher","first-page":"892","DOI":"10.1038\/sj.embor.7401072","volume":"8","author":"C. Tannert","year":"2007","unstructured":"Tannert, C., Elvers, H., Jandrig, B.: The ethics of uncertainty. in the light of possible dangers, research becomes a moral duty. EMBO Report\u00a08(10), 892\u2013896 (2007)","journal-title":"EMBO Report"},{"issue":"3","key":"3_CR39","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K., Schlipf, J.: The well-founded semantics for general logic programs. Journal of ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of ACM"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: ICLP, pp. 431\u2013445 (2004)","DOI":"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-642-23963-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,13]],"date-time":"2024-04-13T09:34:31Z","timestamp":1713000871000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23963-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642239625","9783642239632"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23963-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}