{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T07:10:05Z","timestamp":1740294605715,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540281771"},{"type":"electronic","value":"9783540318514"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11536314_18","type":"book-chapter","created":{"date-parts":[[2010,7,21]],"date-time":"2010-07-21T18:45:23Z","timestamp":1279737923000},"page":"295-311","source":"Crossref","is-referenced-by-count":7,"title":["Probabilistic First-Order Theory Revision from Examples"],"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":"18_CR1","doi-asserted-by":"crossref","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)","DOI":"10.1007\/978-3-540-39917-9_6"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Buntine, W.: Theory refinement on Bayesian networks. In: Proceedings 17th Conference Uncertainty in Artificial Intelligence, San Mateo, CA, pp. 52\u201360 (1991)","DOI":"10.1016\/B978-1-55860-203-8.50010-3"},{"key":"18_CR3","unstructured":"Costa, V., Page, D., Qazi, M., Cussens., J.: CLP(BN): Constraint logic programming for probabilistic knowledge. In: Proceedings of the 19th Annual Conference on Uncertainty in Artificial Intelligence (UAI 2003), pp. 517\u2013524 (2003)"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1007465528199","volume":"29","author":"N. Friedman","year":"1997","unstructured":"Friedman, N., Geiger, D., Goldszmidt, M.: Bayesian network classifiers. Machine Learning\u00a029, 131\u2013163 (1997)","journal-title":"Machine Learning"},{"key":"18_CR5","unstructured":"Friedman, N., Getoor, L., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence, Stockholm, Sweeden, pp. 1300\u20131309 (1999)"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1008328630915","volume":"11","author":"A. Garcez","year":"1999","unstructured":"Garcez, A., Zaverucha, G.: The connectionist inductive learning and logic programming system. Applied Intelligence\u00a011, 59\u201377 (1999)","journal-title":"Applied Intelligence"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"Grossman, D., Domingos, P.: Learning bayesian network classifiers by maximizing conditional likelihood. In: Proceedings of the 21th International Conference on Machine Learning (ICML 2004), pp. 361\u2013368 (2004)","DOI":"10.1145\/1015330.1015339"},{"issue":"2","key":"18_CR8","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":"18_CR9","series-title":"Lecture Notes in Artificial Intelligence","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, pp. 118\u2013131. Springer, Heidelberg (2001)"},{"key":"18_CR10","unstructured":"Kersting, K., De Raedt, L.: Basic principles of learning bayesian logic programs. Technical Report 174, University of Freiburg, Institute for Computer Science, Freiburg, German (2002)"},{"key":"18_CR11","unstructured":"Kohavi, R.: A study of cross-validation and bootstrap for accuracy estimation and model selection. In: Proceedings of the International Joint Conference on Artificial Intelligence(IJCAI), pp. 1137\u20131145 (1995)"},{"key":"18_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-48751-4_1","volume-title":"Inductive Logic Programming","author":"D. Koller","year":"1999","unstructured":"Koller, D.: Probabilistic relational models. In: D\u017eeroski, S., Flach, P.A. (eds.) ILP 1999. LNCS (LNAI), vol.\u00a01634, pp. 3\u201313. Springer, Heidelberg (1999)"},{"key":"18_CR13","unstructured":"Koller, D., Pfeffer, A.: Learning probabilities for noisy first-order rules. In: Proceedings of the 15th International Joint Conference on Artficial Intelligence (IJCAI 1997), pp. 1316\u20131323 (1997)"},{"issue":"4","key":"18_CR14","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1111\/j.1467-8640.1994.tb00166.x","volume":"10","author":"W. Lam","year":"1994","unstructured":"Lam, W., Bacchus, F.: Learning Bayesian belief networks: an approach based on the MDL principle. Computational Intelligence\u00a010(4), 269\u2013293 (1994)","journal-title":"Computational Intelligence"},{"key":"18_CR15","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1989","unstructured":"Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1989)","edition":"2"},{"key":"18_CR16","volume-title":"Machine Learning","author":"T. Mitchell","year":"1997","unstructured":"Mitchell, T.: Machine Learning. McGraw-Hill, New York (1997)"},{"key":"18_CR17","volume-title":"Inductive logic programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S.: Inductive logic programming. Academic Press, New York (1992)"},{"key":"18_CR18","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and progol. New Generation Computing Journal\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing Journal"},{"key":"18_CR19","series-title":"Lecture Notes in Artificial Intelligence","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)"},{"issue":"1","key":"18_CR20","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":"18_CR21","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":"18_CR22","unstructured":"Ramachandran, S., Mooney, R.: Theory refinement of bayesian networks with hidden variables. In: Proceedings of the 15th International Conference on Machine Learning (ICML), pp. 454\u2013462 (1998)"},{"key":"18_CR23","series-title":"Lecture Notes in Artificial Intelligence","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":"18_CR24","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":"18_CR25","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1111\/j.2517-6161.1977.tb01603.x","volume":"39","author":"M. Stone","year":"1977","unstructured":"Stone, M.: An asymptotic equivalence of choice of model by cross-validation and akaike\u015b criterion. Journal of the Royal Statistical Society series B\u00a039, 44\u201347 (1977)","journal-title":"Journal of the Royal Statistical Society series B"},{"issue":"1\u20132","key":"18_CR26","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0004-3702(94)90105-8","volume":"70","author":"G. Towell","year":"1994","unstructured":"Towell, G., Shavlik, J.: Knowledge-based artificial neural networks. Artificial Intelligence\u00a070(1\u20132), 119\u2013165 (1994)","journal-title":"Artificial Intelligence"},{"key":"18_CR27","unstructured":"Wogulis, J., Pazzani, M.: A methodology for evaluationg theory revision systems: results with Audrey II. In: Proceedings of the 13th International Join Conference on Artificial Intelligence, Chambery, France, pp. 1128\u20131134 (1993)"},{"key":"18_CR28","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","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11536314_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T06:05:01Z","timestamp":1740290701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11536314_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540281771","9783540318514"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/11536314_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}