{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:13:47Z","timestamp":1755800027440},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642388118"},{"type":"electronic","value":"9783642388125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38812-5_6","type":"book-chapter","created":{"date-parts":[[2013,6,4]],"date-time":"2013-06-04T01:10:03Z","timestamp":1370308203000},"page":"74-85","source":"Crossref","is-referenced-by-count":1,"title":["Evaluating Inference Algorithms for the Prolog Factor Language"],"prefix":"10.1007","author":[{"given":"Tiago","family":"Gomes","sequence":"first","affiliation":[]},{"given":"V\u00edtor","family":"Santos Costa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Getoor, L., Taskar, B.: Introduction to Statistical Relational Learning. MIT Press (2007)","DOI":"10.7551\/mitpress\/7432.001.0001"},{"key":"6_CR2","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Probabilistic Inductive Logic Programming","year":"2008","unstructured":"De Raedt, L., Frasconi, P., Kersting, K., Muggleton, S. (eds.): Probabilistic Inductive Logic Programming. LNCS (LNAI), vol.\u00a04911. Springer, Heidelberg (2008)"},{"issue":"1-2","key":"6_CR3","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. Artif. Intell.\u00a094(1-2), 7\u201356 (1997)","journal-title":"Artif. Intell."},{"key":"6_CR4","unstructured":"Sato, T., Kameya, Y.: PRISM: A Language for Symbolic-Statistical Modeling. In: Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, IJCAI 1997, Nagoya, Japan, August 23-29, vols.\u00a02, pp. 1330\u20131339. Morgan Kaufmann (1997)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Sato, T., Kameya, Y.: New Advances in Logic-Based Probabilistic Modeling by PRISM. In: [2], pp. 118\u2013155","DOI":"10.1007\/978-3-540-78652-8_5"},{"key":"6_CR6","series-title":"Frontiers in Artificial Intelligence and Applications","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. Frontiers in Artificial Intelligence and Applications, vol.\u00a032, pp. 254\u2013264. IOS Press, Amsterdam (1996)"},{"issue":"1-2","key":"6_CR7","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(1-2), 107\u2013136 (2006)","journal-title":"Machine Learning"},{"key":"6_CR8","unstructured":"Santos Costa, V., Page, D., Qazi, M., Cussens, J.: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. In: Meek, C., Kj\u00e6rulff, U. (eds.) Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence, UAI 2003, Acapulco, Mexico, August 7-10, pp. 517\u2013524. Morgan Kaufmann (2003)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Santos Costa, V., Page, D., Cussens, J.: CLP(BN): Constraint Logic Programming for Probabilistic Knowledge. In: [2], pp. 156\u2013188","DOI":"10.1007\/978-3-540-78652-8_6"},{"key":"6_CR10","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A Probabilistic Prolog and Its Application in Link Discovery. In: Veloso, M.M. (ed.) Proceedings of the 20th International Joint Conference on Artificial Intelligence, IJCAI 2007, Hyderabad, India, January 6-12, pp. 2462\u20132467 (2007)"},{"issue":"2-3","key":"6_CR11","first-page":"235","volume":"11","author":"A. Kimmig","year":"2011","unstructured":"Kimmig, A., Demoen, B., De Raedt, L., Santos Costa, V., Rocha, R.: On the implementation of the probabilistic logic programming language ProbLog. TPLP\u00a011(2-3), 235\u2013262 (2011)","journal-title":"TPLP"},{"issue":"4-5","key":"6_CR12","first-page":"433","volume":"11","author":"F. Riguzzi","year":"2011","unstructured":"Riguzzi, F., Swift, T.: The PITA system: Tabling and answer subsumption for reasoning under uncertainty. TPLP\u00a011(4-5), 433\u2013449 (2011)","journal-title":"TPLP"},{"key":"6_CR13","unstructured":"Poole, D.: First-order probabilistic inference. In: Gottlob, G., Walsh, T. (eds.) IJCAI, pp. 985\u2013991. Morgan Kaufmann (2003)"},{"key":"6_CR14","unstructured":"de Salvo Braz, R., Amir, E., Roth, D.: Lifted First-Order Probabilistic Inference. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 1319\u20131325. Professional Book Center (2005)"},{"key":"6_CR15","unstructured":"Singla, P., Domingos, P.: Lifted first-order belief propagation. In: Proceedings of the 23rd National Conference on Artificial Intelligence, vol.\u00a02, pp. 1094\u20131099 (2008)"},{"key":"6_CR16","unstructured":"Kersting, K., Ahmadi, B., Natarajan, S.: Counting belief propagation. In: Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence, pp. 277\u2013284. AUAI Press (2009)"},{"key":"6_CR17","unstructured":"Gogate, V., Domingos, P.: Probabilistic Theorem Proving. In: Cozman, F.G., Pfeffer, A. (eds.) Proceedings of the Twenty-Seventh Conference on Uncertainty in Artificial Intelligence, UAI 2011, Barcelona, Spain, July 14-17, pp. 256\u2013265. AUAI Press (2011)"},{"key":"6_CR18","unstructured":"Van den Broeck, G., Taghipour, N., Meert, W., Davis, J., De Raedt, L.: Lifted Probabilistic Inference by First-Order Knowledge Compilation. In: Walsh, T. (ed.) Proceedings of the 22nd International Joint Conference on Artificial Intelligence, IJCAI 2011, Barcelona, Catalonia, Spain, July 16-22, pp. 2178\u20132185. IJCAI\/AAAI (2011)"},{"key":"6_CR19","unstructured":"Milch, B., Marthi, B., Russell, S.J., Sontag, D., Ong, D.L., Kolobov, A.: BLOG: Probabilistic Models with Unknown Objects. In: Kaelbling, L.P., Saffiotti, A. (eds.) Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, IJCAI 2005, Edinburgh, Scotland, UK, July 30-August 5, pp. 1352\u20131359. Professional Book Center (2005)"},{"key":"6_CR20","unstructured":"Choi, J., Amir, E., Hill, D.J.: Lifted Inference for Relational Continuous Models. In: Gr\u00fcnwald, P., Spirtes, P. (eds.) Proceedings of the Twenty-Sixth Conference on Uncertainty in Artificial Intelligence, UAI 2010, Catalina Island, CA, USA, July 8-11, pp. 126\u2013134. AUAI Press (2010)"},{"key":"6_CR21","unstructured":"Taghipour, N., Fierens, D., Davis, J., Blockeel, H.: Lifted variable elimination with arbitrary constraints. In: Proceedings of the Fifteenth International Conference on Artificial Intelligence and Statistics (2012)"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Getoor, L., Friedman, N., Koller, D., Pfeffer, A.: Learning Probabilistic Relational Models. In: Relational Data Mining, pp. 307\u2013335. Springer (2001)","DOI":"10.1007\/978-3-662-04599-2_13"},{"key":"6_CR23","unstructured":"Milch, B., Zettlemoyer, L., Kersting, K., Haimes, M., Kaelbling, L.: Lifted probabilistic inference with counting formulas. In: Proc. 23rd AAAI, pp. 1062\u20131068 (2008)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Kersting, K., De Raedt, L.: Bayesian logic programs. CoRR cs.AI\/0111058 (2001)","DOI":"10.1007\/3-540-44797-0_9"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-642-11503-5_20","volume-title":"Practical Aspects of Declarative Languages","author":"V. Santos Costa","year":"2010","unstructured":"Santos Costa, V.: On the Implementation of the CLP( $\\mathcal BN$ ) Language. In: Carro, M., Pe\u00f1a, R. (eds.) PADL 2010. LNCS, vol.\u00a05937, pp. 234\u2013248. Springer, Heidelberg (2010)"},{"key":"6_CR26","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"},{"issue":"2","key":"6_CR27","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1109\/18.910572","volume":"47","author":"F. Kschischang","year":"2001","unstructured":"Kschischang, F., Frey, B., Loeliger, H.: Factor graphs and the sum-product algorithm. IEEE Transactions on Information Theory\u00a047(2), 498\u2013519 (2001)","journal-title":"IEEE Transactions on Information Theory"},{"key":"6_CR28","unstructured":"Murphy, K., Weiss, Y., Jordan, M.: Loopy belief propagation for approximate inference: An empirical study. In: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, pp. 467\u2013475. Morgan Kaufmann Publishers Inc. (1999)"},{"key":"6_CR29","doi-asserted-by":"crossref","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, pp. 433\u2013451. MIT Press (2007)","DOI":"10.7551\/mitpress\/7432.003.0017"},{"key":"6_CR30","unstructured":"Jha, A.K., Gogate, V., Meliou, A., Suciu, D.: Lifted Inference Seen from the Other Side: The Tractable Features. In: Lafferty, J.D., Williams, C.K.I., Shawe-Taylor, J., Zemel, R.S., Culotta, A. (eds.) NIPS, pp. 973\u2013981. Curran Associates, Inc. (2010)"},{"issue":"Special Issue 1","key":"6_CR31","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1017\/S1471068411000512","volume":"12","author":"V. Santos Costa","year":"2012","unstructured":"Santos Costa, V., Damas, L., Rocha, R.: The YAP Prolog system. Theory and Practice of Logic Programming\u00a012(Special Issue 1-2), 5\u201334 (2012)","journal-title":"Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38812-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,11]],"date-time":"2024-05-11T17:26:50Z","timestamp":1715448410000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38812-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642388118","9783642388125"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38812-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}