{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T03:40:02Z","timestamp":1739158802244,"version":"3.37.0"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,6,12]],"date-time":"2009-06-12T00:00:00Z","timestamp":1244764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Mach Learn"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s10994-009-5116-8","type":"journal-article","created":{"date-parts":[[2009,6,11]],"date-time":"2009-06-11T19:47:59Z","timestamp":1244749679000},"page":"73-107","source":"Crossref","is-referenced-by-count":10,"title":["Using the bottom clause and mode declarations in FOL theory revision from examples"],"prefix":"10.1007","volume":"76","author":[{"given":"Ana Lu\u00edsa","family":"Duboc","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aline","family":"Paes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerson","family":"Zaverucha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,6,12]]},"reference":[{"key":"5116_CR1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1007\/3-540-58495-1_34","volume-title":"Proceedings of 8th international symposium of methodologies for intelligent systems (ISMIS-94)","author":"H. Ad\u00e9","year":"1994","unstructured":"Ad\u00e9, H., Malfait, B., & Raedt, L. D. (1994). RUTH: an ILP theory revision system. In LNCS. Proceedings of 8th international symposium of methodologies for intelligent systems (ISMIS-94) (pp. 336\u2013345). Berlin: Springer."},{"key":"5116_CR2","series-title":"LNAI","first-page":"1","volume-title":"Proceedings of the 11th international conference on ILP","author":"L. Badea","year":"2001","unstructured":"Badea, L. (2001). A refinement operator for theories. In LNAI : Vol. 2157. Proceedings of the 11th international conference on ILP (pp. 1\u201314). Berlin: Springer."},{"key":"5116_CR3","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-540-39917-9_6","volume-title":"Proceedings of the 13th int. conference on inductive logic programming","author":"F. Bai\u00e3o","year":"2003","unstructured":"Bai\u00e3o, F., Mattoso, M., Shavlik, J., & Zaverucha, G. (2003). Applying theory revision to the design of distributed databases. In LNAI : Vol. 2835. Proceedings of the 13th int. conference on inductive logic programming (pp. 57\u201374). Berlin: Springer."},{"issue":"1","key":"5116_CR4","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/B:DAPD.0000026268.04288.b9","volume":"16","author":"F. A. Bai\u00e3o","year":"2004","unstructured":"Bai\u00e3o, F. A., Mattoso, M., & Zaverucha, G. (2004). A distribution design methodology for object DBMS. Distributed and Parallel Databases, 16(1), 45\u201390.","journal-title":"Distributed and Parallel Databases"},{"key":"5116_CR5","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"44","DOI":"10.1007\/3-540-48751-4_6","volume-title":"Proceedings of the 9th international conference on inductive logic programming","author":"I. Bratko","year":"1999","unstructured":"Bratko, I. (1999). Refining complete hypotheses in ILP. In LNAI : Vol. 1634. Proceedings of the 9th international conference on inductive logic programming (pp. 44\u201355). Berlin: Springer."},{"key":"5116_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-68856-3","volume-title":"Logical and relational learning","author":"L. Raedt De","year":"2008","unstructured":"De Raedt, L. (2008). Logical and relational learning. Berlin: Springer."},{"key":"5116_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10994-008-5079-1","volume":"73","author":"T. Dietterich","year":"2008","unstructured":"Dietterich, T., Domingos, P., Getoor, L., Muggleton, S., & Tadepalli, P. (2008). Structured machine learning: the next ten years. Machine Learning, 73, 3\u201323.","journal-title":"Machine Learning"},{"key":"5116_CR8","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1007\/978-3-540-85928-4_11","volume-title":"Proceedings of the 18th international conference on inductive logic programming","author":"A. L. Duboc","year":"2008","unstructured":"Duboc, A. L., Paes, A., & Zaverucha, G. (2008). Using the bottom clause and modes declarations on FOL theory revision from examples. In LNAI : Vol. 5194. Proceedings of the 18th international conference on inductive logic programming (pp. 91\u2013106). Berlin: Springer."},{"volume-title":"Relational data mining","year":"2001","key":"5116_CR9","unstructured":"Dzeroski, S., & Lavrac, N. (Eds.). (2001). Relational data mining. Berlin: Springer."},{"issue":"14","key":"5116_CR10","doi-asserted-by":"crossref","first-page":"280","DOI":"10.1021\/tx000208y","volume":"3","author":"H. Fang","year":"2001","unstructured":"Fang, H., Tong, W., Shi, L. M., Blair, R., Perkins, R., Branham, W., Hass, B. S., Xie, Q., Dial, S. L., Moland, C. L., & Sheehan, D. M. (2001). Structure-activity relationships for a large diverse set of natural, synthetic, and environmental estrogens. Chemical Research in Toxicology, 3(14), 280\u2013294.","journal-title":"Chemical Research in Toxicology"},{"issue":"3\u20134","key":"5116_CR11","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1007\/BF03037232","volume":"13","author":"R. D. King","year":"1995","unstructured":"King, R. D., Sternberg, M. J. E., & Srinivasan, A. (1995). Relating chemical activity to structure: an examination of ilp successes. New Generation Computing, 13(3\u20134), 411\u2013433.","journal-title":"New Generation Computing"},{"key":"5116_CR12","unstructured":"Kohavi, R. (1995). 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)."},{"key":"5116_CR13","first-page":"481","volume":"8","author":"N. Landwehr","year":"2007","unstructured":"Landwehr, N., Kersting, K., & De Raedt, L. (2007). Integrating naive bayes and foil. Journal of Machine Learning Research, 8, 481\u2013507.","journal-title":"Journal of Machine Learning Research"},{"key":"5116_CR14","volume-title":"Knowledge acquisition and machine learning: theory methods and applications","author":"K. Morik","year":"1993","unstructured":"Morik, K., Wrobel, S., Kietz, J.-U., & Emde, W. (1993). Knowledge acquisition and machine learning: theory methods and applications. San Diego: Academic Press."},{"key":"5116_CR15","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S. (1995). Inverse entailment and progol. New Generation Computing, 13, 245\u2013286.","journal-title":"New Generation Computing"},{"key":"5116_CR16","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"416","DOI":"10.1007\/11536314_27","volume-title":"Proceedings of the 15th international conference on inductive logic programming","author":"S. Muggleton","year":"2005","unstructured":"Muggleton, S. (2005). Machine learning for systems biology. In LNCS : Vol. 3625. Proceedings of the 15th international conference on inductive logic programming (pp. 416\u2013423). Berlin: Springer."},{"issue":"20","key":"5116_CR17","doi-asserted-by":"crossref","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"Muggleton, S., & De Raedt, L. (1994). Inductive logic programming: theory and methods. Journal of Logic Programming, 19(20), 629\u2013679.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"5116_CR18","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1023\/A:1024068626366","volume":"52","author":"C. Nadeau","year":"2003","unstructured":"Nadeau, C., & Bengio, Y. (2003). Inference for the generalization error. Machine Learning, 52(3), 239\u2013281.","journal-title":"Machine Learning"},{"key":"5116_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of inductive logic programming","author":"Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, Shan-Hwei, & de Wolf, R. (1997). Foundations of inductive logic programming. Berlin: Springer."},{"key":"5116_CR20","doi-asserted-by":"crossref","unstructured":"Ong, I. M., Dutra, I. C., Page, D., & Costa, V. C. (2005). Mode directed path finding. In Proceedings of the 16th ECML (vol. 3720, pp. 673\u2013681).","DOI":"10.1007\/11564096_68"},{"key":"5116_CR21","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-78469-2_21","volume-title":"Proceedings of the revised selected papers of the 17th international conference on inductive logic programming","author":"A. Paes","year":"2008","unstructured":"Paes, A., Zaverucha, G., & Costa, V. S. (2008). Revising first-order logic theories from examples through stochastic local search. In LNAI : Vol. 4894. Proceedings of the revised selected papers of the 17th international conference on inductive logic programming (pp. 200\u2013210). Berlin: Springer."},{"key":"5116_CR22","first-page":"239","volume":"5","author":"J. R. Quinlan","year":"1990","unstructured":"Quinlan, J. R. (1990). Learning logical definitions from relations. Machine Learning, 5, 239\u2013266.","journal-title":"Machine Learning"},{"issue":"2","key":"5116_CR23","first-page":"95","volume":"19","author":"B. L. Richards","year":"1995","unstructured":"Richards, B. L., & Mooney, R. J. (1995). Automated refinement of first-order horn-clause domain theories. Machine Learning, 19(2), 95\u2013131.","journal-title":"Machine Learning"},{"key":"5116_CR24","series-title":"LNCS","first-page":"1","volume-title":"Proceedings of the 24th international conference on logic programming (ICLP 2008)","author":"V. Santos Costa","year":"2008","unstructured":"Santos Costa, V. (2008). The life of a logic programming system. In LNCS : Vol. 5366. Proceedings of the 24th international conference on logic programming (ICLP 2008) (pp. 1\u20136). Berlin: Springer."},{"key":"5116_CR25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic program debugging","author":"E. Y. Shapiro","year":"1983","unstructured":"Shapiro, E. Y. (1983). Algorithmic program debugging. ACM Distinguished Doctoral Dissertations. New York: MIT Press."},{"key":"5116_CR26","unstructured":"Srinivasan, A. (2001). The Aleph manual."},{"key":"5116_CR27","series-title":"LNAI","first-page":"297","volume-title":"Proceedings of the 18th international conference on ILP","author":"A. Tamaddoni-Nezhad","year":"2008","unstructured":"Tamaddoni-Nezhad, A., & Muggleton, S. (2008). A note on refinement operators for IE-based ILP systems. In LNAI : Vol. 5194. Proceedings of the 18th international conference on ILP (pp. 297\u2013314). Berlin: Springer."},{"key":"5116_CR28","unstructured":"Tang, L. R., Mooney, R. L., & Melville, P. (2003). Scaling up ILP to large examples: results on link discovery for counter-terrorism. In Proceedings of the KDD-2003 workshop om multi-relational data mining, Washington, DC (pp. 107\u2013121)."},{"key":"5116_CR29","first-page":"14","volume-title":"Advances in inductive logic programming","author":"S. Wrobel","year":"1996","unstructured":"Wrobel, S. (1996). First-order theory refinement. In L. D. Raedt (Ed.) Advances in inductive logic programming (pp. 14\u201333). Amsterdam: IOS Press."}],"container-title":["Machine Learning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-009-5116-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10994-009-5116-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10994-009-5116-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T03:03:18Z","timestamp":1739156598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10994-009-5116-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6,12]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["5116"],"URL":"https:\/\/doi.org\/10.1007\/s10994-009-5116-8","relation":{},"ISSN":["0885-6125","1573-0565"],"issn-type":[{"type":"print","value":"0885-6125"},{"type":"electronic","value":"1573-0565"}],"subject":[],"published":{"date-parts":[[2009,6,12]]}}}