{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:36:23Z","timestamp":1725564983061},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205890"},{"type":"electronic","value":"9783540245803"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24580-3_29","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T23:01:46Z","timestamp":1283727706000},"page":"224-228","source":"Crossref","is-referenced-by-count":1,"title":["Improving the Efficiency of ILP Systems"],"prefix":"10.1007","author":[{"given":"Rui","family":"Camacho","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","first-page":"82","volume-title":"Advances in Inductive Logic Programming","author":"C. N\u00e9dellec","year":"1996","unstructured":"N\u00e9dellec, C., Rouveirol, C., Ad\u00e9, H., Bergadano, F., Tausend, B.: Declarative Bias in ILP. In: De Raedt, L. (ed.) Advances in Inductive Logic Programming, pp. 82\u2013103. IOS, Amsterdam (1996)"},{"issue":"3","key":"29_CR2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/S0743-1066(97)00077-0","volume":"34","author":"P. Laag van der","year":"1998","unstructured":"van der Laag, P., Nienhuys-Cheng, S.-H.: Completeness and Properness of Refinement Operators. Journal of Logic Programming\u00a034(3), 201\u2013226 (1998)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"29_CR3","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1023\/A:1009824123462","volume":"3","author":"A. Srinivasan","year":"1999","unstructured":"Srinivasan, A.: A study of two sampling methods for analysing large datasets with ILP. Data Mining and Knowledge Discovery\u00a03(1), 95\u2013123 (1999)","journal-title":"Data Mining and Knowledge Discovery"},{"key":"29_CR4","unstructured":"Sebag, M., Rouveirol, C.: Tractable induction and classification in first-order logic via stochastic matching. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), pp. 888\u2013893 (1997)"},{"key":"29_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-44960-4_14","volume-title":"Inductive Logic Programming","author":"V. Santos Costa","year":"2000","unstructured":"Santos Costa, V., Srinivasan, A., Camacho, R.: A note on two simple transformations for improving the efficiency of an ILP system. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 225\u2013242. Springer, Heidelberg (2000)"},{"key":"29_CR6","unstructured":"Costa, V., Srinivasan, A., Camacho, R., Blockeel, H., Demoen, B., Janssens, G., Struyf, J., Vandecasteele, H., Van Laer, W.: Query Transformations for Improving the Efficiency of ILP Systems. Journal of Machine Learning Research (2002)"},{"key":"29_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1007\/3-540-46238-4_16","volume-title":"AI*IA 99:Advances in Artificial Intelligence","author":"M. Botta","year":"2000","unstructured":"Botta, M., Giordana, A., Saitta, L., Sebag, M.: Relational learning: hard problems and phase transitions. In: Lamma, E., Mello, P. (eds.) AI*IA 1999. LNCS (LNAI), vol.\u00a01792, pp. 178\u2013189. Springer, Heidelberg (2000)"},{"key":"29_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1007\/3-540-44960-4_4","volume-title":"Inductive Logic Programming","author":"H. Blockeel","year":"2000","unstructured":"Blockeel, H., Dehaspe, L., Demoen, B., Janssens, G., Ramon, J., Vandecasteele, H.: Executing Query Packs in ILP. In: Cussens, J., Frisch, A.M. (eds.) ILP 2000. LNCS (LNAI), vol.\u00a01866, pp. 60\u201377. Springer, Heidelberg (2000)"},{"issue":"3-4","key":"29_CR9","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, Special issue on Inductive Logic Programming\u00a013(3-4), 245\u2013286 (1995)","journal-title":"New Generation Computing, Special issue on Inductive Logic Programming"},{"key":"29_CR10","unstructured":"Camacho, R.: Inducing Models of Human Control Skills using Machine Learning Algorithms, PhD thesis,Department of Electrical Engineering and Computation, Universidade do Porto (2000)"},{"issue":"2-3","key":"29_CR11","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0743-1066(99)00018-7","volume":"40","author":"A. Srinivasan","year":"1999","unstructured":"Srinivasan, A., Camacho, R.C.: Numerical reasoning with an ILP program capable of lazy evaluation and customised search. Journal of Logic Programming\u00a040(2-3), 185\u2013214 (1999)","journal-title":"Journal of Logic Programming"},{"key":"29_CR12","unstructured":"Costa, V., Damas, L., Reis, R., Azevedo, R.: YAP Prolog User\u2019s Manual Universidade do Porto (1989)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24580-3_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:36:29Z","timestamp":1558301789000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24580-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205890","9783540245803"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24580-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}