{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:10:55Z","timestamp":1761621055580},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207214"},{"type":"electronic","value":"9783540246091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24609-1_5","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T03:31:31Z","timestamp":1294975891000},"page":"21-33","source":"Crossref","is-referenced-by-count":39,"title":["Probabilistic Reasoning With Answer Sets"],"prefix":"10.1007","author":[{"given":"Chitta","family":"Baral","sequence":"first","affiliation":[]},{"given":"Michael","family":"Gelfond","sequence":"additional","affiliation":[]},{"given":"Nelson","family":"Rushton","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"Representing and reasoning with uncertain knowledge","author":"F. Bacchus","year":"1990","unstructured":"Bacchus, F.: Representing and reasoning with uncertain knowledge. MIT Press, Cambridge (1990)"},{"key":"5_CR2","unstructured":"Balduccini, M., Gelfond, M.: Logic Programs with Consistency-Restoring Rules. In: AAAI Spring 2003 Symposium (2003)"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-1-4615-1567-8_4","volume-title":"Logic Based Artificial Intelligence","author":"T. Eiter","year":"2000","unstructured":"Eiter, T., Faber, W., Leone, N., Pfeifer, G.: Declarative problem solving in dlv. In: Minker, J. (ed.) Logic Based Artificial Intelligence, pp. 79\u2013103. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing, 365\u2013387 (1991)","DOI":"10.1007\/BF03037169"},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-662-04599-2_13","volume-title":"Relational data mining","author":"L. Getoor","year":"2001","unstructured":"Getoor, L., Friedman, N., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: Relational data mining, pp. 307\u2013335. Springer, Heidelberg (2001)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Iwan, G., Lakemeyer, G.: What observations really tell us. In: CogRob 2002 (2002)","DOI":"10.1007\/978-3-540-39451-8_15"},{"key":"5_CR7","unstructured":"Kersting, K., De Raedt, L.: 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":"5_CR8","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: ECAI, pp. 388\u2013392 (1998)"},{"key":"5_CR9","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":"5_CR10","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-2","key":"5_CR11","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-2), 147\u2013177 (1997)","journal-title":"Theoretical Computer Science"},{"key":"5_CR12","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":"5_CR13","doi-asserted-by":"publisher","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. Artificial Intelligence Journal\u00a0138, 181\u2013234 (2002)","journal-title":"Artificial Intelligence Journal"},{"key":"5_CR14","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann Publishers, San Francisco (1988)"},{"key":"5_CR15","volume-title":"Causality","author":"J. Pearl","year":"2000","unstructured":"Pearl, J.: Causality. Cambridge University Press, Cambridge (2000)"},{"key":"5_CR16","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"D. Poole. The independent choice logic for modeling multiple agents under uncertainty. Artificial Intelligence, 94(1-2 (special issue on economic principles of multi-agent systems)):7\u201356, 1997.","journal-title":"Artificial Intelligence"},{"key":"5_CR17","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":"5_CR18","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"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24609-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T10:16:45Z","timestamp":1637144205000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24609-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207214","9783540246091"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24609-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}