{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T13:22:06Z","timestamp":1748352126324,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229414"},{"type":"electronic","value":"9783540301097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30109-7_13","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T18:21:49Z","timestamp":1284661309000},"page":"132-146","source":"Crossref","is-referenced-by-count":6,"title":["On Avoiding Redundancy in Inductive Logic Programming"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Fonseca","sequence":"first","affiliation":[]},{"given":"V\u00edtor S.","family":"Costa","sequence":"additional","affiliation":[]},{"given":"Fernando","family":"Silva","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Camacho","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Muggleton, S.: Inductive logic programming. In: Proceedings of the 1st Conference on Algorithmic Learning Theory, Ohmsma, Tokyo, Japan, pp. 43\u201362 (1990)"},{"key":"13_CR2","first-page":"888","volume-title":"15th Int. Join Conf. on Artificial Intelligence (IJCAI 1997)","author":"M. Sebag","year":"1997","unstructured":"Sebag, M., Rouveirol, C.: Tractable induction and classification in first order logic via stochastic matching. In: 15th Int. Join Conf. on Artificial Intelligence (IJCAI 1997), pp. 888\u2013893. Morgan Kaufmann, San Francisco (1997)"},{"key":"13_CR3","unstructured":"Camacho, R.: Improving the efficiency of ilp systems using an incremental language level search. In: Annual Machine Learning Conference of Belgium and the Netherlands (2002)"},{"key":"13_CR4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1613\/jair.924","volume":"16","author":"H. Blockeel","year":"2002","unstructured":"Blockeel, H., Dehaspe, L., Demoen, B., Janssens, G., Ramon, J., Vandecasteele, H.: Improving the efficiency of Inductive Logic Programming through the use of query packs. Journal of Artificial Intelligence Research\u00a016, 135\u2013166 (2002)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"13_CR5","unstructured":"Costa, V.S., Srinivasan, A., Camacho, R., Blockeel, H., Van Laer, W.: Query transformations for improving the efficiency of ilp systems. In: JMLR (2002)"},{"key":"13_CR6","unstructured":"Camacho, R.: As lazy as it can be. In: Doherty, P., Tassen, B., Ala-Siuru, P., Mayoh, B. (eds.) The Eighth Scandinavian Conference on Artificial Intelligence (SCAI 2003), Bergen, Norway, pp. 47\u201358 (November 2003)"},{"key":"13_CR7","unstructured":"Dehaspe, L., De Raedt, L.: Parallel inductive logic programming. In: Proceedings of the MLnet Familiarization Workshop on Statistics, Machine Learning and Knowledge Discovery in Databases (1995)"},{"key":"13_CR8","unstructured":"Matsui, T., Inuzuka, N., Seki, H., Itoh, H.: Comparison of three parallel implementations of an induction algorithm. In: 8th Int. Parallel Computing Workshop, Singapore, pp. 181\u2013188 (1998)"},{"key":"13_CR9","unstructured":"van der Laag, P.R.J.: An analysis of refinement operators in inductive logic programming. PhD thesis, Erasmus Universiteit, Rotterdam, the Netherlands (1995)"},{"key":"13_CR10","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.: Algorithmic Program Debugging. MIT Press, Cambridge (1983)"},{"key":"13_CR11","unstructured":"Srinivasan, A., King, R.D., Bain, M.E.: An empirical study of the use of relevance information in inductive logic programming. In: JMLR (2003)"},{"key":"13_CR12","unstructured":"Srinivasan ,A.: Aleph manual (2003)"},{"key":"13_CR13","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780198538202.001.0001","volume-title":"Essentials of Logic Programming","author":"C.J. Hogger","year":"1990","unstructured":"Hogger, C.J.: Essentials of Logic Programming. Oxford University Press, Oxford (1990)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-62927-0","volume-title":"Foundations of Inductive Logic Programming","author":"S.-H. Nienhuys-Cheng","year":"1997","unstructured":"Nienhuys-Cheng, S.-H., de Wolf, R.: Foundations of Inductive Logic Programming. LNCS, vol.\u00a01228. Springer, Heidelberg (1997)"},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(93)90069-N","volume":"61","author":"G. Gottlob","year":"1993","unstructured":"Gottlob, G., Fermuller, C.G.: Removing redundancy from a clause. Artificial Intelligence\u00a061(2), 263\u2013289 (1993)","journal-title":"Artificial Intelligence"},{"key":"13_CR16","doi-asserted-by":"crossref","first-page":"160","DOI":"10.1007\/978-3-662-04599-2_7","volume-title":"Relational Data Mining","author":"S. Muggleton","year":"2001","unstructured":"Muggleton, S., Firth, J.: Relational rule induction with cprogol4.4: A tutorial introduction. In: Dzeroski, S., Lavrac, N. (eds.) Relational Data Mining, September 2001, pp. 160\u2013188. Springer, Heidelberg (2001)"},{"key":"13_CR17","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)"},{"key":"13_CR18","unstructured":"Fonseca, N., Camacho, R., Silva, F., Costa, V.S.: Induction with April: A preliminary report. Technical Report DCC-2003-02, DCC-FC, Universidade do Porto (2003)"},{"key":"13_CR19","first-page":"281","volume-title":"Inductive Logic Programming","author":"S. Muggleton","year":"1992","unstructured":"Muggleton, S., Feng, C.: Efficient induction in logic programs. In: Muggleton, S. (ed.) Inductive Logic Programming, pp. 281\u2013298. Academic Press, London (1992)"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30109-7_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T21:52:38Z","timestamp":1740520358000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30109-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229414","9783540301097"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30109-7_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}