{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:27Z","timestamp":1761611247256},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642028458"},{"type":"electronic","value":"9783642028465"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-02846-5_9","type":"book-chapter","created":{"date-parts":[[2009,7,20]],"date-time":"2009-07-20T06:44:16Z","timestamp":1248072256000},"page":"40-54","source":"Crossref","is-referenced-by-count":5,"title":["Using Histograms to Better Answer Queries to Probabilistic Logic Programs"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Broecheler","sequence":"first","affiliation":[]},{"given":"Gerardo I.","family":"Simari","sequence":"additional","affiliation":[]},{"given":"V. S.","family":"Subrahmanian","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Shapiro, E.Y.: Logic programs with uncertainties: A tool for implementing rule-based systems. In: IJCAI, pp. 529\u2013532 (1983)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0743-1066(86)90003-8","volume":"4","author":"M. Emden van","year":"1986","unstructured":"van Emden, M.: Quantitative deduction and its fixpoint theory. Journal of Logic Programming\u00a04, 37\u201353 (1986)","journal-title":"Journal of Logic Programming"},{"key":"9_CR3","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1007\/BF00881836","volume":"10","author":"R. Ng","year":"1993","unstructured":"Ng, R.: A semantical framework for supporting subjective and conditional probabilities in deductive databases. Journal of Automated Reasoning\u00a010, 565\u2013580 (1993)","journal-title":"Journal of Automated Reasoning"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1305\/ndjfl\/1093870625","volume":"25","author":"T. Hailperin","year":"1984","unstructured":"Hailperin, T.: Probability logic. Notre Dame J. of Formal Logic\u00a025(3), 198\u2013212 (1984)","journal-title":"Notre Dame J. of Formal Logic"},{"issue":"1\/2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Information and Computation\u00a087(1\/2), 78\u2013128 (1990)","journal-title":"Information and Computation"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","volume":"28","author":"N. Nilsson","year":"1986","unstructured":"Nilsson, N.: Probabilistic logic. Artificial Intelligence\u00a028, 71\u201387 (1986)","journal-title":"Artificial Intelligence"},{"key":"9_CR7","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: ECAI, pp. 388\u2013392 (1998)"},{"key":"9_CR8","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/3-540-48747-6_26","volume-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","author":"T. Lukasiewicz","year":"1999","unstructured":"Lukasiewicz, T., Kern-Isberner, G.: Probabilistic logic programming under maximum entropy. In: Hunter, A., Parsons, S. (eds.) ECSQARU 1999. LNCS (LNAI), vol.\u00a01638, p. 279. Springer, Heidelberg (1999)"},{"key":"9_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.I.: 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":"2","key":"9_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":"3","key":"9_CR11","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1145\/322139.322141","volume":"26","author":"J. Cohen","year":"1979","unstructured":"Cohen, J., Hickey, T.: Two algorithms for determining volumes of convex polyhedra. Journal of the ACM\u00a026(3), 401\u2013414 (1979)","journal-title":"Journal of the ACM"},{"issue":"3","key":"9_CR12","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1070\/RM1989v044n03ABEH002136","volume":"44","author":"L. Khachiyan","year":"1989","unstructured":"Khachiyan, L.: The problem of calculating the volume of a polyhedron is enumerably hard. Russian Mathematical Surveys\u00a044(3), 199\u2013200 (1989)","journal-title":"Russian Mathematical Surveys"},{"issue":"5","key":"9_CR13","doi-asserted-by":"publisher","first-page":"967","DOI":"10.1137\/0217060","volume":"17","author":"M.E. Dyer","year":"1988","unstructured":"Dyer, M.E., Frieze, A.M.: On the complexity of computing the volume of a polyhedron. SIAM Journal on Computing\u00a017(5), 967\u2013974 (1988)","journal-title":"SIAM Journal on Computing"},{"issue":"1","key":"9_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/102782.102783","volume":"38","author":"M. Dyer","year":"1991","unstructured":"Dyer, M., Frieze, A., Kannan, R.: A random polynomial-time algorithm for approximating the volume of convex bodies. Journal of the ACM\u00a038(1), 1\u201317 (1991)","journal-title":"Journal of the ACM"},{"issue":"2","key":"9_CR15","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1016\/j.jcss.2005.08.004","volume":"72","author":"L. Lov\u00e1sz","year":"2006","unstructured":"Lov\u00e1sz, L., Vempala, S.: Simulated annealing in convex bodies and an O *(n 4) volume algorithm. Journal of Computer and System Sciences\u00a072(2), 392\u2013417 (2006)","journal-title":"Journal of Computer and System Sciences"},{"key":"9_CR16","volume-title":"Polytopes: Combinatorics and Computation","author":"B. Biieler","year":"2000","unstructured":"Biieler, B., Enge, A., Fukuda, K.: Exact volume computation for polytopes: A practical study. In: Polytopes: Combinatorics and Computation. Birkhauser, Basel (2000)"},{"issue":"3","key":"9_CR17","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1561\/0400000003","volume":"1","author":"R. Montenegro","year":"2006","unstructured":"Montenegro, R., Tetali, P.: Mathematical aspects of mixing times in markov chains. Foundations and Trends in Theoretical Computer Science\u00a01(3), 237\u2013354 (2006)","journal-title":"Foundations and Trends in Theoretical Computer Science"},{"key":"9_CR18","first-page":"156","volume-title":"ACM STOC","author":"D. Applegate","year":"1991","unstructured":"Applegate, D., Kannan, R.: Sampling and integration of near log-concave functions. In: ACM STOC, New Orleans, USA, pp. 156\u2013163. ACM, New York (1991)"},{"key":"9_CR19","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1145\/1007352.1007403","volume-title":"ACM STOC","author":"L. Lov\u00e1sz","year":"2004","unstructured":"Lov\u00e1sz, L., Vempala, S.: Hit-and-run from a corner. In: ACM STOC, Chicago, IL, USA, pp. 310\u2013314. ACM, New York (2004)"},{"issue":"2\u20134","key":"9_CR20","first-page":"295","volume":"51","author":"S. Khuller","year":"2007","unstructured":"Khuller, S., Martinez, M.V., Nau, D., Simari, G., Sliva, A., Subrahmanian, V.: Computing most probable worlds of action probabilistic logic programs: Scalable estimation for 1030,000 worlds. AMAI\u00a051(2\u20134), 295\u2013331 (2007)","journal-title":"AMAI"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02846-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T22:05:40Z","timestamp":1685052340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02846-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642028458","9783642028465"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02846-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}