{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T20:50:40Z","timestamp":1764276640131},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628583"},{"type":"electronic","value":"9783540687085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62858-4_73","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:52:20Z","timestamp":1330296740000},"page":"73-84","source":"Crossref","is-referenced-by-count":3,"title":["\u03b8-subsumption for structural matching"],"prefix":"10.1007","author":[{"given":"Luc","family":"Raedt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Idestam-Almquist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gunther","family":"Sablon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"7_CR1","unstructured":"G. Bisson. Learning in FOL with a Similarity Measure. In Proceedings of AAAI, 1992."},{"key":"7_CR2","unstructured":"L. De Raedt. Interactive Theory Revision: an Inductive Logic Programming approach, Academic Press, 1992."},{"key":"7_CR3","unstructured":"L. De Raedt and M. Bruynooghe. A theory of clausal discovery. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1058\u20131063. Morgan Kaufmann, 1993."},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(94)90112-0","volume":"70","author":"L. Raedt De","year":"1994","unstructured":"L. De Raedt and S. D\u017eeroski. First order jk-clausal theories are PAC-learnable. Artificial Intelligence, 70:375\u2013392, 1994.","journal-title":"Artificial Intelligence"},{"key":"7_CR5","unstructured":"L. De Raedt. Induction in Logic. In Proceedings of the 3rd Multistrategy Learning Workshop, 1996."},{"key":"7_CR6","unstructured":"J.G. Ganascia and Y. Kodratoff. Improving the generalization step in learning. In R.S Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 2, pages 215\u2013241. Morgan Kaufmann, 1986."},{"key":"7_CR7","first-page":"7","volume":"6","author":"R. Gemello","year":"1991","unstructured":"R. Gemello, F. Mana, and L. Saitta. Rigel: An inductive learning system. Machine Learning, 6:7\u201335, 1991.","journal-title":"Machine Learning"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"401","DOI":"10.1145\/359488.359503","volume":"21","author":"F. Hayes-Roth","year":"1978","unstructured":"F. Hayes-Roth and J. McDermott. An interference matching technique for inducing abstractions. Communications of the ACM, 21:401\u2013410, 1978.","journal-title":"Communications of the ACM"},{"key":"7_CR9","first-page":"56","volume":"667","author":"P. Idestam-Almquist","year":"1993","unstructured":"P. Idestam-Almquist. Generalisation under implication using or-introduction. In Proceedings of the 6th European Conference on Machine Learning, volume 667, pages 56\u201364. Lecture Notes in Artificial Intelligence, 1993.","journal-title":"Lecture Notes in Artificial Intelligence"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"P. Idestam-Almquist. Generalization of clauses relative to a theory Machine Learning, in press, 1997.","DOI":"10.1023\/A:1007369324877"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"S. Lapointe and S. Matwin. Sub-unification: a tool for efficient induction of recursive programs. In Proceedings of the 9th International Workshop on Machine Learning. Morgan Kaufmann, 1992.","DOI":"10.1016\/B978-1-55860-247-2.50040-1"},{"key":"7_CR12","volume-title":"Equivalences of logic programs","author":"M.J. Maher","year":"1986","unstructured":"M.J. Maher. Equivalences of logic programs. In Proceedings of Third International Conference on Logic Programming, Berlin, 1986. Springer."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"S. Muggleton and L. De Raedt. Inductive logic programming: theory and methods. Journal of Logic Programming, Vol. 19\u201320, 1994.","DOI":"10.1016\/0743-1066(94)90035-3"},{"key":"7_CR14","unstructured":"S. Muggleton. Inverting implication. Artificial Intelligence, 1994. To appear."},{"key":"7_CR15","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"S. Muggleton. Inductive Logic Programming. New Generation Computing, 8:295\u2013317, 1991.","journal-title":"New Generation Computing"},{"key":"7_CR16","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the 1st conference on algorithmic learning theory, pages 368\u2013381. Ohmsma, Tokyo, Japan, 1990."},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"S. Muggleton and W. Buntine. Machine invention of first order predicates by inverting resolution. In Proceedings of the 5th International Workshop on Machine Learning, Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"7_CR18","unstructured":"G. Plotkin. A note on inductive generalization. In Machine Intelligence, volume 5, pages 153\u2013163. Edinburgh University Press, 1970."},{"key":"7_CR19","unstructured":"G. Plotkin. Automatic Methods of Inductive Inference. PhD thesis, Edinburgh University, 1971."},{"key":"7_CR20","unstructured":"G. Plotkin. A further note on inductive generalization. In Machine Intelligence, volume 6, pages 101\u2013124. Edinburgh University Press, 1971."},{"key":"7_CR21","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"J.R. Quinlan. Learning logical definitions from relations. Machine Learning, 5:239\u2013266, 1990.","journal-title":"Machine Learning"},{"key":"7_CR22","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1016\/0004-3702(94)90090-6","volume":"69","author":"G. Sablon","year":"1994","unstructured":"G. Sablon, L. De Raedt, and M. Bruynooghe. Iterative Versionspaces. Artificial Intelligence, 69:393\u2013409, 1994.","journal-title":"Artificial Intelligence"},{"key":"7_CR23","unstructured":"S.A. Vere. Induction of concepts in the predicate calculus. In Proceedings of the 4th International Joint Conference on Artificial Intelligence, pages 282\u2013287. Morgan Kaufmann, 1975."},{"key":"7_CR24","unstructured":"S.A. Vere. Induction of relational productions in the presence of background information. In Proceedings of the 5th International Joint Conference on Artificial Intelligence, Morgan Kaufmann, 1977."},{"key":"7_CR25","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0004-3702(80)90038-7","volume":"14","author":"S.A. Vere","year":"1980","unstructured":"S.A. Vere. Multilevel counterfactuals for generalizations of relational concepts and productions. Artificial Intelligence, 14:139\u2013164,1980.","journal-title":"Artificial Intelligence"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"C. Vrain. Ogust: A system that learns using domain properties expressed as theorems. In Y. Kodratoff and R.S. Michalski, editors, Machine Learning: an artificial intelligence approach, volume 3, pages 360\u2013381. Morgan Kaufmann, 1990.","DOI":"10.1016\/B978-0-08-051055-2.50020-1"}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62858-4_73.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:33Z","timestamp":1605647673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62858-4_73"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628583","9783540687085"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-62858-4_73","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}