{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:19Z","timestamp":1725582679151},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208942"},{"type":"electronic","value":"9783642208959"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-20895-9_1","type":"book-chapter","created":{"date-parts":[[2011,4,25]],"date-time":"2011-04-25T04:40:34Z","timestamp":1303706434000},"page":"1-9","source":"Crossref","is-referenced-by-count":7,"title":["Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI"],"prefix":"10.1007","author":[{"given":"David","family":"Poole","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"1-2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F. Bacchus","year":"1999","unstructured":"Bacchus, F., Halpern, J.Y., Levesque, H.J.: Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence\u00a0111(1-2), 171\u2013208 (1999), http:\/\/www.lpaig.uwaterloo.ca\/~fbacchus\/on-line.html","journal-title":"Artificial Intelligence"},{"key":"1_CR2","unstructured":"Boutilier, C., Reiter, R., Price, B.: Symbolic dynamic programming for first-order MDPs. In: Proc. 17th International Joint Conf. Artificial Intelligence, IJCAI 2001 (2001)"},{"key":"1_CR3","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":"1_CR4","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic Prolog and its application in link discovery. In: Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pp. 2462\u20132467 (2007)"},{"key":"1_CR5","volume-title":"Introduction to Statistical Relational Learning","author":"R. Salvo Braz de","year":"2007","unstructured":"de Salvo Braz, R., Amir, E., Roth, D.: Lifted first-order probabilistic inference. In: Getoor, L., Taskar, B. (eds.) Introduction to Statistical Relational Learning. MIT Press, Cambridge (2007), http:\/\/www.cs.uiuc.edu\/~eyal\/papers\/BrazRothAmir_SRL07.pdf"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"792","DOI":"10.1007\/11926078_57","volume-title":"The Semantic Web - ISWC 2006","author":"P. Fox","year":"2006","unstructured":"Fox, P., McGuinness, D., Middleton, D., Cinquini, L., Darnell, J., Garcia, J., West, P., Benedict, J., Solomon, S.: Semantically-enabled large-scale science data repositories. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 792\u2013805. Springer, Heidelberg (2006), http:\/\/www.ksl.stanford.edu\/KSL_Abstracts\/KSL-06-19.html"},{"key":"1_CR7","doi-asserted-by":"publisher","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":"1_CR8","unstructured":"Horsch, M., Poole, D.: A dynamic approach to probabilistic inference using Bayesian networks. In: Proc. Sixth Conference on Uncertainty in AI, Boston, pp. 155\u2013161 (July 1990)"},{"key":"1_CR9","unstructured":"Jordan, M.I.: Bayesian nonparametric learning: Expressive priors for intelligent systems. In: Dechter, R., Geffner, H., Halpern, J.Y. (eds.) Heuristics, Probability and Causality: A Tribute to Judea Pearl, pp. 167\u2013186. College Publications (2010)"},{"key":"1_CR10","volume-title":"Inductive Logic Programming: Techniques and Applications","author":"N. Lavrac","year":"1994","unstructured":"Lavrac, N., Dzeroski, S.: Inductive Logic Programming: Techniques and Applications. Ellis Horwood, NY (1994)"},{"key":"1_CR11","unstructured":"Milch, B., Zettlemoyer, L.S., Kersting, K., Haimes, M., Kaelbling, L.P.: Lifted probabilistic inference with counting formulas. In: Proceedings of the Twenty Third Conference on Artificial Intelligence, AAAI (2008), http:\/\/people.csail.mit.edu\/lpk\/papers\/mzkhk-aaai08.pdf"},{"issue":"20","key":"1_CR12","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":"1_CR13","unstructured":"Pasula, H., Marthi, B., Milch, B., Russell, S., Shpitser, I.: Identity uncertainty and citation matching. In: NIPS, vol.\u00a015 (2003)"},{"key":"1_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, San Mateo (1988)"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Poole, D.: Representing diagnostic knowledge for probabilistic Horn abduction. In: Proc. 12th International Joint Conf. on Artificial Intelligence (IJCAI 1991), Sydney, pp. 1129\u20131135 (1991)","DOI":"10.1016\/B978-1-55860-203-8.50039-5"},{"issue":"3-4","key":"1_CR16","doi-asserted-by":"publisher","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-4), 377\u2013400 (1993)","journal-title":"New Generation Computing"},{"issue":"1","key":"1_CR17","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"},{"key":"1_CR18","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D. Poole","year":"1997","unstructured":"Poole, D.: The independent choice logic for modelling multiple agents under uncertainty. Artificial Intelligence 94, 7\u201356 (1997), http:\/\/cs.ubc.ca\/~poole\/abstracts\/icl.html ; special issue on economic principles of multi-agent systems","journal-title":"Artificial Intelligence"},{"key":"1_CR19","unstructured":"Poole, D.: Decision theory, the situation calculus and conditional plans. Electronic Transactions on Artificial Intelligence 2(1-2) (1998), http:\/\/www.etaij.org"},{"key":"1_CR20","unstructured":"Poole, D.: First-order probabilistic inference. In: Proc. Eighteenth International Joint Conference on Artificial Intelligence (IJCAI 2003), Acapulco, Mexico, pp. 985\u2013991 (2003)"},{"key":"1_CR21","unstructured":"Poole, D.: Logical generative models for probabilistic reasoning about existence, roles and identity. In: 22nd AAAI Conference on AI (AAAI 2007) (July 2007), http:\/\/cs.ubc.ca\/~poole\/papers\/AAAI07-Poole.pdf"},{"key":"1_CR22","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-540-78652-8_8","volume-title":"Probabilistic Inductive Logic Programming","author":"D. Poole","year":"2008","unstructured":"Poole, D.: The independent choice logic and beyond. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911, pp. 222\u2013243. Springer, Heidelberg (2008), http:\/\/cs.ubc.ca\/~poole\/papers\/ICL-Beyond.pdf"},{"key":"1_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-89765-1_2","volume-title":"Uncertainty Reasoning for the Semantic Web I","author":"D. Poole","year":"2008","unstructured":"Poole, D., Smyth, C., Sharma, R.: Semantic science: Ontologies, data and probabilistic theories. In: da Costa, P.C.G., d\u2019Amato, C., Fanizzi, N., Laskey, K.B., Laskey, K.J., Lukasiewicz, T., Nickles, M., Pool, M. (eds.) URSW 2005 - 2007. LNCS (LNAI), vol.\u00a05327, pp. 26\u201340. Springer, Heidelberg (2008), http:\/\/cs.ubc.ca\/~poole\/papers\/SemSciChapter2008.pdf"},{"issue":"1","key":"1_CR24","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MIS.2009.15","volume":"24","author":"D. Poole","year":"2009","unstructured":"Poole, D., Smyth, C., Sharma, R.: Ontology design for scientific theories that make probabilistic predictions. IEEE Intelligent Systems\u00a024(1), 27\u201336 (2009), http:\/\/www2.computer.org\/portal\/web\/computingnow\/2009\/0209\/x1poo","journal-title":"IEEE Intelligent Systems"},{"key":"1_CR25","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511794797","volume-title":"Artificial Intelligence: foundations of computational agents","author":"D.L. Poole","year":"2010","unstructured":"Poole, D.L., Mackworth, A.K.: Artificial Intelligence: foundations of computational agents. Cambridge University Press, New York (2010), http:\/\/artint.info"},{"key":"1_CR26","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":"1_CR27","unstructured":"Sanner, S., Boutilier, C.: Approximate linear programming for first-order MDPs. In: Proceedings of the Twenty-first Conference on Uncertainty in Artificial Intelligence (UAI 2005), Edinburgh, pp. 509\u2013517 (2005)"},{"key":"1_CR28","doi-asserted-by":"crossref","unstructured":"Sanner, S., Kersting, K.: Symbolic dynamic programming for first-order POMDPs. In: Proc. AAAI 2010 (2010)","DOI":"10.1609\/aaai.v24i1.7747"},{"key":"1_CR29","unstructured":"Sato, T., Kameya, Y.: PRISM: A symbolic-statistical modeling language. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 1330\u20131335 (1997)"},{"key":"1_CR30","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-540-78652-8_5","volume-title":"Probabilistic Inductive Logic Programming","author":"T. Sato","year":"2008","unstructured":"Sato, T., Kameya, Y.: New advances in logic-based probabilistic modeling by PRISM. In: De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S.H. (eds.) Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911, pp. 118\u2013155. Springer, Heidelberg (2008), http:\/\/www.springerlink.com\/content\/1235t75977x62038\/"},{"key":"1_CR31","unstructured":"Singla, P., Domingos, P.: Lifted first-order belief propagation. In: Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, pp. 1094\u20131099 (2008)"},{"key":"1_CR32","unstructured":"Tadepalli, P., Givan, R., Driessens, K.: Relational reinforcement learning: An overview. In: Proc. ICML Workshop on Relational Reinforcement Learning (2004)"},{"key":"1_CR33","unstructured":"Talbott, W.: Bayesian epistemology. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (Fall 2008), http:\/\/plato.stanford.edu\/archives\/fall2008\/entries\/epistemology-bayesian\/"},{"key":"1_CR34","volume-title":"The Logic of Adaptive Behavior - Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains","author":"M. van Otterlo","year":"2009","unstructured":"van Otterlo, M.: The Logic of Adaptive Behavior - Knowledge Representation and Algorithms for Adaptive Sequential Decision Making under Uncertainty in First-Order and Relational Domains. IOS Press, Amsterdam (2009), http:\/\/people.cs.kuleuven.be\/~martijn.vanotterlo\/phdbook_vanOtterlo_v2010a.pdf"},{"key":"1_CR35","doi-asserted-by":"crossref","unstructured":"Wang, C., Khardon, R.: Relational partially observable MDPs. In: Proc. AAAI 2010 (2010)","DOI":"10.1609\/aaai.v24i1.7742"}],"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-642-20895-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T13:20:29Z","timestamp":1686057629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20895-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208942","9783642208959"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20895-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}