{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:32:27Z","timestamp":1725517947580},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540859277"},{"type":"electronic","value":"9783540859284"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-85928-4_11","type":"book-chapter","created":{"date-parts":[[2008,8,28]],"date-time":"2008-08-28T15:39:12Z","timestamp":1219937952000},"page":"91-106","source":"Crossref","is-referenced-by-count":3,"title":["Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples"],"prefix":"10.1007","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","reference":[{"key":"11_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","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":"11_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/3-540-48751-4_6","volume-title":"Inductive Logic Programming","author":"I. Bratko","year":"1999","unstructured":"Bratko, I.: Refining complete hypotheses in ILP. In: D\u017eeroski, S., Flach, P.A. (eds.) ILP 1999. LNCS (LNAI), vol.\u00a01634, pp. 44\u201355. Springer, Heidelberg (1999)"},{"issue":"1\/2","key":"11_CR3","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1007638124237","volume":"38","author":"F. Esposito","year":"2000","unstructured":"Esposito, F., Semeraro, G., Fanizzi, N., Ferilli, S.: Multistrategy theory revision: Induction and abduction in inthelex. Machine Learning Journal\u00a038(1\/2), 133\u2013156 (2000)","journal-title":"Machine Learning Journal"},{"issue":"3-4","key":"11_CR4","doi-asserted-by":"publisher","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.: Relating chemical activity to structure: An examination of ILP successes. New Generation Computing\u00a013(3-4), 411\u2013433 (1995)","journal-title":"New Generation Computing"},{"key":"11_CR5","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":"11_CR6","unstructured":"Mooney, R.J.: Batch versus incremental theory refinement. In: Proceedings of the 1992 AAAI Spring Symposium on Knowledge Assimilation, Standford (1992)"},{"key":"11_CR7","volume-title":"Inductive logic programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S.: Inductive logic programming. Academic Press, New York (1992)"},{"key":"11_CR8","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Generation Computing\u00a013, 245\u2013286 (1995)","journal-title":"New Generation Computing"},{"issue":"3","key":"11_CR9","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1024068626366","volume":"52","author":"C. Nadeau","year":"2003","unstructured":"Nadeau, C., Bengio, Y.: Inference for the generalization error. Machine Learning\u00a052(3), 239\u2013281 (2003)","journal-title":"Machine Learning"},{"key":"11_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"673","DOI":"10.1007\/11564096_68","volume-title":"Machine Learning: ECML 2005","author":"I.M. Ong","year":"2005","unstructured":"Ong, I.M., Dutra, I.C., Page, D., Costa, V.C.: Mode directed path finding. In: Gama, J., Camacho, R., Brazdil, P.B., Jorge, A.M., Torgo, L. (eds.) ECML 2005. LNCS (LNAI), vol.\u00a03720, pp. 673\u2013681. Springer, Heidelberg (2005)"},{"key":"11_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-78469-2_21","volume-title":"Inductive Logic Programming","author":"A. Paes","year":"2008","unstructured":"Paes, A., Zaverucha, G., Costa, V.S.: Revising first-order logic theories from examples through stochastic local search. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol.\u00a04894, pp. 200\u2013210. Springer, Heidelberg (2008)"},{"key":"11_CR12","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"Quinlan, J.R.: Learning logical definitions from relations. Machine Learning\u00a05, 239\u2013266 (1990)","journal-title":"Machine Learning"},{"issue":"2","key":"11_CR13","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(2), 95\u2013131 (1995)","journal-title":"Machine Learning"},{"key":"11_CR14","unstructured":"Srinivasan, A.: The Aleph Manual (2001)"},{"key":"11_CR15","unstructured":"Tang, L.R., Mooney, R.L., Melville, P.: 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 (2003)"},{"key":"11_CR16","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":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-85928-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:55:16Z","timestamp":1619524516000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-85928-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540859277","9783540859284"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-85928-4_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}