{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:59Z","timestamp":1761611219139},"publisher-location":"Berlin, Heidelberg","reference-count":58,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540786511"},{"type":"electronic","value":"9783540786528"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78652-8_8","type":"book-chapter","created":{"date-parts":[[2008,2,25]],"date-time":"2008-02-25T07:26:18Z","timestamp":1203924378000},"page":"222-243","source":"Crossref","is-referenced-by-count":47,"title":["The Independent Choice Logic and Beyond"],"prefix":"10.1007","author":[{"given":"David","family":"Poole","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","first-page":"2","volume-title":"Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003)","author":"D. Allen","year":"2003","unstructured":"Allen, D., Darwiche, A.: New advances in inference by recursive conditioning. In: Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI 2003), pp. 2\u201310. Morgan Kaufmann, San Francisco (2003)"},{"key":"8_CR2","unstructured":"Andre, D., Russell, S.: State abstraction for programmable reinforcement learning agents. In: Proc. AAAI 2002 (2002)"},{"issue":"3-4","key":"8_CR3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","volume":"9","author":"K.R. Apt","year":"1991","unstructured":"Apt, K.R., Bezem, M.: Acyclic programs. New Generation Computing\u00a09(3-4), 335\u2013363 (1991)","journal-title":"New Generation Computing"},{"key":"8_CR4","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"},{"key":"8_CR5","unstructured":"Boutilier, C., Friedman, N., Goldszmidt, M., Koller, D.: Context-specific independence in Bayesian networks. In: Horvitz, E., Jensen, F. (eds.) UAI 1996, Portland, OR, pp. 115\u2013123 (1996)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0364-0213(78)80004-4","volume":"2","author":"J.S. Brown","year":"1978","unstructured":"Brown, J.S., Burton, R.R.: Diagnostic models for procedural bugs in basic mathematical skills. Cognitive Science\u00a02, 155\u2013191 (1978)","journal-title":"Cognitive Science"},{"key":"8_CR7","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1613\/jair.62","volume":"2","author":"W.L. Buntine","year":"1994","unstructured":"Buntine, W.L.: Operations for learning with graphical models. Journal of Artificial Intelligence Research\u00a02, 159\u2013225 (1994)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"8_CR8","volume-title":"Symbolic Logical and Mechanical Theorem Proving","author":"C.L. Chang","year":"1973","unstructured":"Chang, C.L., Lee, R.C.T.: Symbolic Logical and Mechanical Theorem Proving. Academic Press, New York (1973)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1016\/j.ijar.2005.10.001","volume":"42","author":"M. Chavira","year":"2006","unstructured":"Chavira, M., Darwiche, A., Jaeger, M.: Compiling relational bayesian networks for exact inference. International Journal of Approximate Reasoning (IJAR)\u00a042, 4\u201320 (2006)","journal-title":"International Journal of Approximate Reasoning (IJAR)"},{"key":"8_CR10","unstructured":"Chickering, D.M., Heckerman, D., Meek, C.: A Bayesian approach to learning Bayesian networks with local structure. In: UAI 1997, pp. 80\u201389 (1997)"},{"key":"8_CR11","first-page":"293","volume-title":"Logic and Databases","author":"K.L. Clark","year":"1978","unstructured":"Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Databases, pp. 293\u2013322. Plenum Press, New York (1978)"},{"issue":"3","key":"8_CR12","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/j.ijar.2005.06.002","volume":"41","author":"B.R. Cobba","year":"2006","unstructured":"Cobba, B.R., Shenoy, P.P.: Inference in hybrid bayesian networks with mixtures of truncated exponentials. International Journal of Approximate Reasoning\u00a041(3), 257\u2013286 (2006)","journal-title":"International Journal of Approximate Reasoning"},{"key":"8_CR13","unstructured":"Cozman, F., Krotkov, E.: Truncated gaussians as tolerance sets. Technical Report CMU-RI-TR-94-35, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA (September 1994)"},{"issue":"1-2","key":"8_CR14","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1016\/S0004-3702(00)00069-2","volume":"126","author":"A. Darwiche","year":"2001","unstructured":"Darwiche, A.: Recursive conditioning. Artificial Intelligence\u00a0126(1-2), 5\u201341 (2001)","journal-title":"Artificial Intelligence"},{"key":"8_CR15","unstructured":"de Salvo Braz, R., Amir, E., Roth, D.: Lifted first-order probabilistic inference. In: IJCAI 2005, Edinburgh (2005), http:\/\/www.cs.uiuc.edu\/~eyal\/papers\/fopl-res-ijcai05.pdf"},{"key":"8_CR16","unstructured":"D\u00edez, F.J., Gal\u00e1n, S.F.: Efficient computation for the noisy max. International Journal of Intelligent Systems (to appear, 2002)"},{"key":"8_CR17","unstructured":"Friedman, N., Goldszmidt, M.: Learning Bayesian networks with local structure. In: UAI 1996, pp. 252\u2013262 (1996), http:\/\/www2.sis.pitt.edu\/~dsl\/UAI\/UAI96\/Friedman1.UAI96.html"},{"key":"8_CR18","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K. (eds.) Proceedings of the Fifth Logic Programming Symposium, Cambridge, MA, pp. 1070\u20131080 (1988)"},{"key":"8_CR19","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: Dzeroski, S., Lavrac, N. (eds.) Relational Data Mining, pp. 307\u2013337. Springer, Heidelberg (2001)"},{"key":"8_CR20","unstructured":"Heckerman, D.: A tutorial on learning with Bayesian networks. Technical Report MSR-TR-95-06, Microsoft Research, March 1995. URL Revised (November 1996), http:\/\/www.research.microsoft.com\/research\/dtg\/heckerma\/heckerma.html"},{"key":"8_CR21","unstructured":"Heckerman, D., Meek, C., Koller, D.: Probabilistic models for relational data. Technical Report MSR-TR-2004-30, Microsoft Research (March 2004)"},{"key":"8_CR22","unstructured":"Horsch, M., Poole, D.: A dynamic approach to probabilistic inference using Bayesian networks. In: Proc. Sixth Conference on Uncertainty in AI, Boston, July 1990, pp. 155\u2013161 (1990)"},{"key":"8_CR23","volume-title":"An Introduction to Statistical Relational Learning","author":"K. Kersting","year":"2007","unstructured":"Kersting, K., De Raedt, L.: Bayesian logic programming: Theory and tool. In: Getoor, L., Taskar, B. (eds.) An Introduction to Statistical Relational Learning, MIT Press, Cambridge (2007)"},{"key":"8_CR24","unstructured":"Laskey, K.B., da Costa, P.G.C.: Of klingons and starships: Bayesian logic for the 23rd century. In: Uncertainty in Artificial Intelligence: Proceedings of the Twenty-First Conference (2005)"},{"issue":"1\u20132","key":"8_CR25","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0004-3702(02)00186-8","volume":"138","author":"V. Lifschitz","year":"2002","unstructured":"Lifschitz, V.: Answer set programming and plan generation. Artificial Intelligence\u00a0138(1\u20132), 39\u201354 (2002)","journal-title":"Artificial Intelligence"},{"key":"8_CR26","series-title":"Symbolic Computation Series","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Symbolic Computation Series. Springer, Berlin (1987)","edition":"2"},{"key":"8_CR27","unstructured":"Milch, B., Marthi, B., Russell, S., Sontag, D., Ong, D.L., Kolobov, A.: BLOG: Probabilistic models with unknown objects. In: IJCAI 2005, Edinburgh (2005)"},{"key":"8_CR28","first-page":"254","volume-title":"Advances in Inductive Logic Programming","author":"S. Muggleton","year":"1996","unstructured":"Muggleton, S.: Stochastic logic programs. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 254\u2013264. IOS Press, Amsterdam (1996)"},{"issue":"3-4","key":"8_CR29","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Generation Computing\u00a013(3-4), 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"issue":"20","key":"8_CR30","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., De Raedt, L.: Inductive logic programming: Theory and methods. Journal of Logic Programming\u00a019(20), 629\u2013679 (1994)","journal-title":"Journal of Logic Programming"},{"key":"8_CR31","volume-title":"Theory of Games and Economic Behavior","author":"J.V. Neumann","year":"1953","unstructured":"Neumann, J.V., Morgenstern, O.: Theory of Games and Economic Behavior, 3rd edn. Princeton University Press, Princeton (1953)","edition":"3"},{"key":"8_CR32","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/0004-3702(91)90049-P","volume":"47","author":"N.J. Nilsson","year":"1991","unstructured":"Nilsson, N.J.: Logic and artificial intelligence. Artificial Intelligence\u00a047, 31\u201356 (1991)","journal-title":"Artificial Intelligence"},{"key":"8_CR33","unstructured":"Pasula, H., Marthi, B., Milch, B., Russell, S., Shpitser, I.: Identity uncertainty and citation matching. In: NIPS, vol.\u00a015 (2003)"},{"key":"8_CR34","volume-title":"Causality: Models, Reasoning and Inference","author":"J. Pearl","year":"2000","unstructured":"Pearl, J.: Causality: Models, Reasoning and Inference. Cambridge University Press, Cambridge (2000)"},{"key":"8_CR35","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, San Mateo (1988)"},{"key":"8_CR36","unstructured":"Pfeffer, A.: IBAL: A probabilistic rational programming language. In: IJCAI 2001 (2001), http:\/\/www.eecs.harvard.edu\/~avi\/Papers\/ibal.ijcai01.ps"},{"key":"8_CR37","unstructured":"Poole, D.: Logical generative models for probabilistic reasoning about existence, roles and identity. In: 22nd AAAI Conference on AI (AAAI 2007) (2007)"},{"key":"8_CR38","volume-title":"Abduction and Induction: Essays on their relation and integration","author":"D. Poole","year":"2000","unstructured":"Poole, D.: Learning, Bayesian probability, graphical models, and abduction. In: Flach, P., Kakas, A. (eds.) Abduction and Induction: Essays on their relation and integration, Kluwer, Dordrecht (2000a)"},{"key":"8_CR39","unstructured":"Poole, D.: First-order probabilistic inference. In: Proc. Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 985\u2013991 (2003)"},{"issue":"2","key":"8_CR40","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"Poole, D.: Explanation and prediction: An architecture for default and abductive reasoning. Computational Intelligence\u00a05(2), 97\u2013110 (1989)","journal-title":"Computational Intelligence"},{"issue":"5","key":"8_CR41","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1002\/int.4550050506","volume":"5","author":"D. Poole","year":"1990","unstructured":"Poole, D.: A methodology for using a default and abductive reasoning system. International Journal of Intelligent Systems\u00a05(5), 521\u2013548 (1990)","journal-title":"International Journal of Intelligent Systems"},{"key":"8_CR42","doi-asserted-by":"crossref","unstructured":"Poole, D.: Representing diagnostic knowledge for probabilistic Horn abduction. In: IJCAI 1991, Sydney, pp. 1129\u20131135 (August 1991a)","DOI":"10.1016\/B978-1-55860-203-8.50039-5"},{"key":"8_CR43","doi-asserted-by":"crossref","unstructured":"Poole, D.: Representing Bayesian networks within probabilistic Horn abduction. In: UAI 1991, Los Angeles, July 1991, pp. 271\u2013278 (1991b)","DOI":"10.1016\/B978-1-55860-203-8.50039-5"},{"issue":"3\u20134","key":"8_CR44","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF03037184","volume":"11","author":"D. Poole","year":"1993","unstructured":"Poole, D.: Logic programming, abduction and probability: A top-down anytime algorithm for computing prior and posterior probabilities. New Generation Computing\u00a011(3\u20134), 377\u2013400 (1993a)","journal-title":"New Generation Computing"},{"issue":"1","key":"8_CR45","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 (1993b)","journal-title":"Artificial Intelligence"},{"key":"8_CR46","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/S0004-3702(96)00022-7","volume":"88","author":"D. Poole","year":"1996","unstructured":"Poole, D.: Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks. Artificial Intelligence\u00a088, 69\u2013100 (1996)","journal-title":"Artificial Intelligence"},{"key":"8_CR47","unstructured":"Poole, D.: Probabilistic partial evaluation: Exploiting rule structure in probabilistic inference. In: IJCAI 1997, Nagoya, Japan, pp. 1284\u20131291 (1997a), http:\/\/www.cs.ubc.ca\/spider\/poole\/abstracts\/pro-pa.html"},{"key":"8_CR48","doi-asserted-by":"crossref","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence\u00a094, 7\u201356 (special issue on economic principles of multi-agent systems) (1997b), http:\/\/www.cs.ubc.ca\/spider\/poole\/abstracts\/icl.html","DOI":"10.1016\/S0004-3702(97)00027-1"},{"issue":"1\u20133","key":"8_CR49","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 in the Independent Choice Logic. Journal of Logic Programming\u00a044(1\u20133), 5\u201335 (2000), http:\/\/www.cs.ubc.ca\/spider\/poole\/abstracts\/abnaf.html","journal-title":"Journal of Logic Programming"},{"key":"8_CR50","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1613\/jair.1122","volume":"18","author":"D. Poole","year":"2003","unstructured":"Poole, D., Zhang, N.L.: Exploiting contextual independence in probabilistic inference. Journal of Artificial Intelligence Research\u00a018, 263\u2013313 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"8_CR51","volume-title":"Computational Intelligence: A Logical Approach","author":"D. Poole","year":"1998","unstructured":"Poole, D., Mackworth, A., Goebel, R.: Computational Intelligence: A Logical Approach. Oxford University Press, New York (1998)"},{"issue":"3-4","key":"8_CR52","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/BF03037228","volume":"13","author":"J.R. Quinlan","year":"1995","unstructured":"Quinlan, J.R., Cameron-Jones, R.M.: Induction of logic programs: FOIL and related systems. New Generation Computing\u00a013(3-4), 287\u2013312 (1995)","journal-title":"New Generation Computing"},{"key":"8_CR53","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning\u00a062, 107\u2013136 (2006)","journal-title":"Machine Learning"},{"key":"8_CR54","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1613\/jair.912","volume":"15","author":"T. Sato","year":"2001","unstructured":"Sato, T., Kameya, Y.: Parameter learning of logic programs for symbolic-statistical modeling. Journal of Artificial Intelligence Research (JAIR)\u00a015, 391\u2013454 (2001)","journal-title":"Journal of Artificial Intelligence Research (JAIR)"},{"key":"8_CR55","volume-title":"The Foundation of Statistics","author":"L.J. Savage","year":"1972","unstructured":"Savage, L.J.: The Foundation of Statistics, 2nd edn. Dover, New York (1972)","edition":"2"},{"key":"8_CR56","unstructured":"Shanahan, M.: Prediction is deduction, but explanation is abduction. In: IJCAI-1989, Detroit, MI, pp. 1055\u20131060 (August 1989)"},{"key":"8_CR57","volume-title":"Proceedings of the IEEE International Conference on Robotics and Automation (ICRA)","author":"S. Thrun","year":"2000","unstructured":"Thrun, S.: Towards programming tools for robots that integrate probabilistic computation and learning. In: Proceedings of the IEEE International Conference on Robotics and Automation (ICRA), San Francisco, CA, IEEE, Los Alamitos (2000)"},{"key":"8_CR58","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1613\/jair.305","volume":"5","author":"N.L. Zhang","year":"1996","unstructured":"Zhang, N.L., Poole, D.: Exploiting causal independence in Bayesian network inference. Journal of Artificial Intelligence Research\u00a05, 301\u2013328 (1996)","journal-title":"Journal of Artificial Intelligence Research"}],"container-title":["Lecture Notes in Computer Science","Probabilistic Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78652-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,8]],"date-time":"2019-05-08T08:20:32Z","timestamp":1557303632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78652-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540786511","9783540786528"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78652-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}