{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:07:49Z","timestamp":1725574069387},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540240877"},{"type":"electronic","value":"9783540305026"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30502-6_4","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T22:22:20Z","timestamp":1294438940000},"page":"48-62","source":"Crossref","is-referenced-by-count":0,"title":["Probabilistic Space Partitioning in Constraint Logic Programming"],"prefix":"10.1007","author":[{"given":"Nicos","family":"Angelopoulos","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Angelopoulos, N.: Probabilistic Finite Domains. Ph.D. thesis, Department of Computing, City University, London, UK (2001)","DOI":"10.1007\/3-540-45619-8_38"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Angelopoulos, N.: clp(pfd(Y)): Constraints for probabilistic reasoning in logic programming. In: Ninth International Conference on Principles and Practice of Constraint Programming Kinsale, Ireland (2003)","DOI":"10.1007\/978-3-540-45193-8_53"},{"key":"4_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0165-0114(87)90110-2","volume":"24","author":"J.F. Baldwin","year":"1987","unstructured":"Baldwin, J.F.: Evidential support logic programming. Journal of Fuzzy Sets and Systems\u00a024, 1\u201326 (1987)","journal-title":"Journal of Fuzzy Sets and Systems"},{"key":"4_CR4","unstructured":"Costa, V., Page, D., Qazi, M., Cussens, J.: CLP( $\\mathcal{BN}$ ) constraint logic programming for probabilistic knowledge. In: 19th Annual Conference on Uncertainty in AI, Acapulco, Mexico, pp. 517\u2013524 (2002)"},{"key":"4_CR5","unstructured":"Cussens, J.: Stochastic logic programs: Sampling, inference and applications. In: 16th Annual Conference on Uncertainty in AI, San Francisco, USA, pp. 115\u2013122 (2000)"},{"key":"#cr-split#-4_CR6.1","doi-asserted-by":"crossref","unstructured":"Dechter, R.: Bucket elimination: A unifying framework for probabilistic inference. In: Proceedings of Uncertainty in AI (UAI 1996), Portland, USA (1996);","DOI":"10.1145\/242224.242302"},{"key":"#cr-split#-4_CR6.2","unstructured":"Extended version in Dechter99"},{"key":"4_CR7","unstructured":"Dechter, R. Larkin, D. Hybrid processing of beliefs and constraints. In: Proceedings of Uncertainty in AI (UAI 2001). Extended version in Dechter2001a"},{"key":"4_CR8","unstructured":"Grinstead, C.M., Snell, J.L.: Introduction to Probability (Second Revised Edition) American Mathematical Society"},{"key":"4_CR9","first-page":"243","volume":"19","author":"P. Gr\u00fcnwald","year":"2003","unstructured":"Gr\u00fcnwald, P., Halpern, J.: Updating probabilities. Journal of AI Research\u00a019, 243\u2013278 (2003)","journal-title":"Journal of AI Research"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1086\/289125","volume":"50","author":"H.E. Kyburg","year":"1983","unstructured":"Kyburg, H.E.: The reference class. Philosophy of Science\u00a050, 374\u2013397 (1983)","journal-title":"Philosophy of Science"},{"key":"4_CR11","unstructured":"Kyburg, H.E.: Uncertain inferences and uncertain conclusions. In: 12th Annual Conference on Uncertainty in AI, pp. 365\u2013372 (1996)"},{"key":"4_CR12","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538202.001.0001","volume-title":"Essentials of Logic Programming","author":"C.J. Hogger","year":"1990","unstructured":"Hogger, C.J.: Essentials of Logic Programming. Oxford University Press, Oxford (1990)"},{"key":"4_CR13","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1145\/41625.41635","volume-title":"POPL 1987: Proceedings 14th ACM Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.-L.: Constraint logic programming. In: POPL 1987: Proceedings 14th ACM Symposium on Principles of Programming Languages, Munich, pp. 111\u2013119. ACM, New York (1987)"},{"key":"4_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-44957-4_18","volume-title":"Computational Logic - CL 2000","author":"Y. Kameya","year":"2000","unstructured":"Kameya, Y., Sato, T.: Efficient learning with tabulation for parameterized logic programs. In: Palamidessi, C., Moniz Pereira, L., Lloyd, J.W., Dahl, V., Furbach, U., Kerber, M., Lau, K.-K., Sagiv, Y., Stuckey, P.J. (eds.) CL 2000. LNCS (LNAI), vol.\u00a01861, pp. 269\u2013294. Springer, Heidelberg (2000)"},{"key":"4_CR15","unstructured":"Lukasiewicz, T.: Probabilistic logic programming. In: 13th Biennial European Conference on Artificial Intelligence, Brighton, UK, pp. 388\u2013392 (1999)"},{"key":"4_CR16","unstructured":"Lukasiewicz, T.: Probabilistic logic programming under inheritance with overriding. In: 17th Conference on Uncertainty in Artificial Intelligence (UAI-2001), Seattle, Washington, USA, pp. 329\u2013336 (2001)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Information Sciences\u00a07, 95\u2013132 (1974)","journal-title":"Information Sciences"},{"key":"4_CR18","volume-title":"Fifty challenging problems in probability, with solutions","author":"F. Mosteller","year":"1965","unstructured":"Mosteller, F.: Fifty challenging problems in probability, with solutions. Addison-Wesley, Reading (1965)"},{"key":"4_CR19","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1016\/0890-5401(92)90061-J","volume":"101","author":"R. Ng","year":"1992","unstructured":"Ng, R., Subrahmanian, V.: Probabilistic logic programming. Information and Computation\u00a0101, 150\u2013201 (1992)","journal-title":"Information and Computation"},{"key":"4_CR20","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/BF00485353","volume":"90","author":"J.L. Pollock","year":"1992","unstructured":"Pollock, J.L.: The theory of nomic probability. Synthese\u00a090, 263\u2013300 (1992)","journal-title":"Synthese"},{"key":"4_CR21","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, 81\u2013129 (1993)","journal-title":"Artificial Intelligence"},{"key":"4_CR22","unstructured":"Riezler, S.: Probabilistic Constraint Logic Programming. Ph.D. thesis, Neuphilologische Fakult\u00e4t, Universit\u00e4t T\u00fcbingen, Tubingen, Germany (1998)"},{"key":"4_CR23","volume-title":"Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science","author":"V. Saraswat","year":"1992","unstructured":"Saraswat, V.: The category of constraint systems is Cartesian-closed. In: Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, Santa Cruz, California, IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"4_CR24","volume-title":"Ask Marilyn","author":"M. vos Savant","year":"1992","unstructured":"vos Savant, M.: Ask Marilyn. St. Martins, New York (1992)"}],"container-title":["Lecture Notes in Computer Science","Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30502-6_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,2]],"date-time":"2024-04-02T21:21:44Z","timestamp":1712092904000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30502-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540240877","9783540305026"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30502-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}