{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:28Z","timestamp":1740099148799,"version":"3.37.3"},"publisher-location":"Cham","reference-count":19,"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_12","type":"book-chapter","created":{"date-parts":[[2018,9,10]],"date-time":"2018-09-10T20:13:01Z","timestamp":1536610381000},"page":"164-180","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Distribution-Aware Sampling of Answer Sets"],"prefix":"10.1007","author":[{"given":"Matthias","family":"Nickles","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,11]]},"reference":[{"issue":"1","key":"12_CR1","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S1471068408003645","volume":"9","author":"C Baral","year":"2009","unstructured":"Baral, C., Gelfond, M., Rushton, N.: Probabilistic reasoning with answer sets. Theory Practice Logic Program. 9(1), 57\u2013144 (2009)","journal-title":"Theory Practice Logic Program."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Chakraborty, S., Fremont, D.J., Meel, K.S., Seshia, S.A., Vardi, M.Y.: Distribution-aware sampling and weighted model counting for SAT. In: Proceedings of the 28th AAAI Conference on Artificial Intelligence (AAAI), pp. 1722\u20131730, July 2014","DOI":"10.1609\/aaai.v28i1.8990"},{"key":"12_CR3","unstructured":"Cheeseman, P.: A method of computing generalized Bayesian probability values for expert systems. In: Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI 1983, vol. 1, pp. 198\u2013202. Morgan Kaufmann Publishers Inc., Burlington (1983)"},{"issue":"4","key":"12_CR4","doi-asserted-by":"publisher","first-page":"523","DOI":"10.1007\/s00778-006-0004-3","volume":"16","author":"N Dalvi","year":"2007","unstructured":"Dalvi, N., Suciu, D.: Efficient query evaluation on probabilistic databases. VLDB J. 16(4), 523\u2013544 (2007)","journal-title":"VLDB J."},{"issue":"3","key":"12_CR5","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1007\/978-3-319-23461-8_37","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"A Dries","year":"2015","unstructured":"Dries, A., et al.: ProbLog2: probabilistic logic programming. In: Bifet, A., May, M., Zadrozny, B., Gavalda, R., Pedreschi, D., Bonchi, F., Cardoso, J., Spiliopoulou, M. (eds.) ECML PKDD 2015. LNCS (LNAI), vol. 9286, pp. 312\u2013315. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23461-8_37"},{"key":"12_CR7","unstructured":"Finger, M., Bona, G.D.: Probabilistic satisfiability: logic-based algorithms and phase transition. In: Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011) (2011)"},{"key":"12_CR8","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) (2007)"},{"key":"12_CR9","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the 5th International Conference on Logic Programming, vol. 161 (1988)"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Gomes, C.P., Sabharwal, A., Selman, B.: Near-uniform sampling of combinatorial spaces using XOR constraints. In: NIPS, pp. 481\u2013488 (2006)","DOI":"10.7551\/mitpress\/7503.003.0065"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-319-61660-5_21","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"A Gre\u00dfler","year":"2017","unstructured":"Gre\u00dfler, A., Oetsch, J., Tompits, H.: $$\\sf Harvey$$: a system for random testing in ASP. In: Balduccini, M., Janhunen, T. (eds.) LPNMR 2017. LNCS (LNAI), vol. 10377, pp. 229\u2013235. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-61660-5_21"},{"key":"12_CR12","unstructured":"Lee, J., Wang, Y.: A probabilistic extension of the stable model semantics. In: 2015 AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning (2015)"},{"issue":"1","key":"12_CR13","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1016\/j.artint.2004.04.004","volume":"157","author":"F Lin","year":"2004","unstructured":"Lin, F., Zhao, Y.: ASSAT: computing answer sets of a logic program by SAT solvers. Artif. Intell. 157(1), 115\u2013137 (2004)","journal-title":"Artif. Intell."},{"issue":"1","key":"12_CR14","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1006\/inco.1994.1023","volume":"110","author":"RT Ng","year":"1994","unstructured":"Ng, R.T., Subrahmanian, V.S.: Stable semantics for probabilistic deductive databases. Inf. Comput. 110(1), 42\u201383 (1994)","journal-title":"Inf. Comput."},{"key":"12_CR15","unstructured":"Nickles, M., Mileo, A.: A hybrid approach to inference in probabilistic non-monotonic logic programming. In: 2nd International Workshop on Probabilistic Logic Programming (PLP 2015) (2015)"},{"issue":"1","key":"12_CR16","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":"2","key":"12_CR17","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1016\/0022-0000(85)90045-5","volume":"31","author":"CH Papadimitriou","year":"1985","unstructured":"Papadimitriou, C.H.: Games against nature. J. Comput. Syst. Sci. 31(2), 288\u2013301 (1985)","journal-title":"J. Comput. Syst. Sci."},{"issue":"8","key":"12_CR18","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1016\/S0306-4379(96)00032-4","volume":"21","author":"W R\u00f6dder","year":"1996","unstructured":"R\u00f6dder, W., Kern-Isberner, G.: Representation and extraction of information by probabilistic logic. Inf. Syst. 21(8), 637\u2013652 (1996)","journal-title":"Inf. Syst."},{"key":"12_CR19","unstructured":"Soos, M.: CryptoMiniSat \u2013 a SAT solver for cryptographic problems (2009). http:\/\/planete.inrialpes.fr\/~soos\/CryptoMiniSat\/index.html"}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T00:40:38Z","timestamp":1693874438000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00461-3_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030004606","9783030004613"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00461-3_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}