{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:15Z","timestamp":1725471255271},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540454625"},{"type":"electronic","value":"9783540454649"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11874850_48","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T15:50:42Z","timestamp":1160409042000},"page":"441-450","source":"Crossref","is-referenced-by-count":0,"title":["PFORTE: Revising Probabilistic FOL Theories"],"prefix":"10.1007","author":[{"given":"Aline","family":"Paes","sequence":"first","affiliation":[]},{"given":"Kate","family":"Revoredo","sequence":"additional","affiliation":[]},{"given":"Gerson","family":"Zaverucha","sequence":"additional","affiliation":[]},{"given":"Vitor Santos","family":"Costa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"48_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-39917-9_6","volume-title":"Inductive Logic Programming","author":"F. Bai\u00e3o","year":"2003","unstructured":"Bai\u00e3o, F., Mattoso, M., Shavlik, J., Zaverucha, G.: Applying theory revision to the design of distributed databases. In: Horv\u00e1th, T., Yamamoto, A. (eds.) ILP 2003. LNCS (LNAI), vol.\u00a02835, pp. 57\u201374. Springer, Heidelberg (2003)"},{"key":"48_CR2","doi-asserted-by":"crossref","unstructured":"Buntine, W.: Theory refinement on Bayesian networks. In: Proc. 17th Conf. Uncertainty in Artificial Intelligence, pp. 52\u201360 (1991)","DOI":"10.1016\/B978-1-55860-203-8.50010-3"},{"key":"48_CR3","unstructured":"Costa, V., Page, D., Qazi, M., Cussens, J.: CLP(BN): Constraint logic programming for probabilistic knowledge. In: Proc. 19th Annual Conf. on Uncertainty in Artificial Intelligence, pp. 517\u2013524 (2003)"},{"key":"48_CR4","unstructured":"Friedman, N., Getoor, L., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: Proc. 16th Int. Joint Conf. on Artificial Intelligence, pp. 1300\u20131309 (1999)"},{"key":"48_CR5","doi-asserted-by":"crossref","unstructured":"Grossman, D., Domingos, P.: Learning bayesian network classifiers by maximizing conditional likelihood. In: Proc. 21th Int. Conf. on Machine Learning, pp. 361\u2013368 (2004)","DOI":"10.1145\/1015330.1015339"},{"issue":"2","key":"48_CR6","first-page":"11","volume":"20","author":"P. Haddawy","year":"1999","unstructured":"Haddawy, P.: An overview of some recent developments on bayesian problem solving techniques. AI Magazine - Special issue on Uncertainty in AI\u00a020(2), 11\u201329 (1999)","journal-title":"AI Magazine - Special issue on Uncertainty in AI"},{"key":"48_CR7","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-44797-0_10","volume-title":"Inductive Logic Programming","author":"K. Kersting","year":"2001","unstructured":"Kersting, K., De Raedt, L.: Towards Combining Inductive Logic Programming with Bayesian Networks. In: Rouveirol, C., Sebag, M. (eds.) ILP 2001. LNCS (LNAI), vol.\u00a02157, p. 118. Springer, Heidelberg (2001)"},{"key":"48_CR8","unstructured":"Kersting, K., De Raedt, L.: Basic Principles of Learning Bayesian Logic Programs. Technical Report 174, University of Freiburg (2002)"},{"key":"48_CR9","unstructured":"Kohavi, R.: A study of cross-validation and bootstrap for accuracy estimation and model selection. In: Proc. Int. Joint Conf. on Artificial Intelligence, pp. 1137\u20131145 (1995)"},{"key":"48_CR10","unstructured":"Koller, D., Pfeffer, A.: Learning probabilities for noisy first-order rules. In: Proc. 15th Int. Joint Conf. on Artficial Intelligence, pp. 1316\u20131323 (1997)"},{"key":"48_CR11","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/3-540-36468-4_13","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"2003","unstructured":"Muggleton, S.: Learning structure and parameters of stochastic logic programs. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 198\u2013206. Springer, Heidelberg (2003)"},{"key":"48_CR12","unstructured":"Murphy, K.: The Bayes Net Toolbox for Matlab. Computing Science and Statistics\u00a033 (2001)"},{"key":"48_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/11536314_18","volume-title":"Inductive Logic Programming","author":"A. Paes","year":"2005","unstructured":"Paes, A., Revoredo, K., Zaverucha, G., Costa, V.: Probabilistic first-order theory revision from examples. In: Kramer, S., Pfahringer, B. (eds.) ILP 2005. LNCS, vol.\u00a03625, pp. 295\u2013311. Springer, Heidelberg (2005)"},{"key":"48_CR14","volume-title":"Probabilistic Reasoning in Inteligent Systems: networks of plausible inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Inteligent Systems: networks of plausible inference. Morgan Kaufmann, San Francisco (1988)"},{"key":"48_CR15","first-page":"239","volume":"5","author":"J. Quinlan","year":"1990","unstructured":"Quinlan, J.: Learning logical definitions from relations. Machine Learning\u00a05, 239\u2013266 (1990)","journal-title":"Machine Learning"},{"key":"48_CR16","unstructured":"Ramachandran, S., Mooney, R.: Theory refinement of bayesian networks with hidden variables. In: Proc. 15th Int. Conf. on Machine Learning, pp. 454\u2013462 (1998)"},{"key":"48_CR17","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-36468-4_15","volume-title":"Inductive Logic Programming","author":"K. Revoredo","year":"2003","unstructured":"Revoredo, K., Zaverucha, G.: Revision of first-order Bayesian classifiers. In: Matwin, S., Sammut, C. (eds.) ILP 2002. LNCS (LNAI), vol.\u00a02583, pp. 223\u2013237. Springer, Heidelberg (2003)"},{"key":"48_CR18","first-page":"95","volume":"19","author":"B.L. Richards","year":"1995","unstructured":"Richards, B.L., Mooney, R.J.: Automated refinement of first-order Horn-clause domain theories. Machine Learning\u00a019, 95\u2013131 (1995)","journal-title":"Machine Learning"},{"key":"48_CR19","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":"48_CR20","unstructured":"Sato, T., Kameya, Y.: Prism: A language for symbolic-statistical modeling. In: Proc. 15th Int. Joint Conf. on Artificial Intelligence, pp. 1330\u20131339 (1997)"},{"key":"48_CR21","unstructured":"Srinivasan, A.: The Aleph Manual (2001)"},{"key":"48_CR22","unstructured":"Wogulis, J., Pazzani, M.: A methodology for evaluationg theory revision systems: results with Audrey II. In: Proc. 13th Int. Join Conf. on Artificial Intelligence, pp. 1128\u20131134 (1993)"},{"key":"48_CR23","first-page":"14","volume-title":"Advances in Inductive Logic Programming","author":"S. Wrobel","year":"1996","unstructured":"Wrobel, S.: First-order theory refinement. In: Raedt, L.D. (ed.) Advances in Inductive Logic Programming, pp. 14\u201333. IOS Press, Amsterdam (1996)"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence - IBERAMIA-SBIA 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11874850_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:47:47Z","timestamp":1605642467000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11874850_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540454625","9783540454649"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11874850_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}