{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,5,5]],"date-time":"2024-05-05T01:36:02Z","timestamp":1714872962613},"reference-count":28,"publisher":"Elsevier","isbn-type":[{"value":"9781558603073","type":"print"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1016\/b978-1-55860-307-3.50026-5","type":"book-chapter","created":{"date-parts":[[2014,6,30]],"date-time":"2014-06-30T15:04:06Z","timestamp":1404140646000},"page":"151-158","source":"Crossref","is-referenced-by-count":5,"title":["Generalization under Implication by Recursive Anti-unification"],"prefix":"10.1016","author":[{"given":"Peter","family":"Idestam-Almquist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib1","unstructured":"L. De Readt. Interactive Concept Learning. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, 1991."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib2","series-title":"Logic Foundations of Artificial Intelligence","author":"Genesereth","year":"1987"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib3","unstructured":"P. Idestam-Almquist. Generalization of Horn Clauses. PhD thesis, Department of Computer and Systems Sciences, Stockholm University and the Royal Institute of Technology, 1993. Forthcoming."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib4","doi-asserted-by":"crossref","unstructured":"P. Idestam-Almquist. Generalization under implication by using or-introduction. In Proceedings of the European Conference on Machine Learning. Springer-Verlag, 1993.","DOI":"10.1016\/B978-1-55860-307-3.50026-5"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib5","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Lapointe and Stan Matwin. Subunification: A tool for efficient induction of recursive programs. In Proceedings of the Ninth International Conference on Machine Learning. Morgan Kaufmann, 1992.","DOI":"10.1016\/B978-1-55860-247-2.50040-1"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib6","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib7","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the First Conference on Algorithmic Learning Theory. Ohmsha Publishers, Tokyo, 1990."},{"issue":"4","key":"10.1016\/B978-1-55860-307-3.50026-5_bib8","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","article-title":"Inductive logic programming","volume":"8","author":"Muggleton","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib9","article-title":"Inverting implication","author":"Muggleton","year":"1993","journal-title":"Artificial Intelligence Journal"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib10","doi-asserted-by":"crossref","unstructured":"Stephen Muggleton and Wray Buntine. Machine invention of first-order predicates by inverting resolution. In Proceedings of the Fifth International Conference on Machine Learning. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib11","unstructured":"Tim Niblett. A study of generalization in logic programs. In Proceedings of the Third European Working Session on Learning. Pitman, 1988."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib12","unstructured":"G. D. Plotkin. Automatic Methods of Inductive Inference. PhD thesis, Edinburgh University, 1971."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib13","series-title":"Inductive Logic Programming","article-title":"Extensions of inversion of resolution applied to theory completion","author":"Rouveirol","year":"1992"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib14","unstructured":"Ruediger Wirth. Completing logic programs by inverse resolution. In Proceedings of the Fourth European Working Session on Learning. Pitman, 1989."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib15","unstructured":"L. De Readt. Interactive Concept Learning. PhD thesis, Department of Computer Science, Katholieke Universiteit Leuven, 1991."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib16","series-title":"Logic Foundations of Artificial Intelligence","author":"Genesereth","year":"1987"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib17","unstructured":"P. Idestam-Almquist. Generalization of Horn Clauses. PhD thesis, Department of Computer and Systems Sciences, Stockholm University and the Royal Institute of Technology, 1993. Forthcoming."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib18","doi-asserted-by":"crossref","unstructured":"P. Idestam-Almquist. Generalization under implication by using or-introduction. In Proceedings of the European Conference on Machine Learning. Springer-Verlag, 1993.","DOI":"10.1016\/B978-1-55860-307-3.50026-5"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib19","doi-asserted-by":"crossref","unstructured":"St\u00e9phane Lapointe and Stan Matwin. Subunification: A tool for efficient induction of recursive programs. In Proceedings of the Ninth International Conference on Machine Learning. Morgan Kaufmann, 1992.","DOI":"10.1016\/B978-1-55860-247-2.50040-1"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib20","series-title":"Foundations of Logic Programming","author":"Lloyd","year":"1987"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib21","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the First Conference on Algorithmic Learning Theory. Ohmsha Publishers, Tokyo, 1990."},{"issue":"4","key":"10.1016\/B978-1-55860-307-3.50026-5_bib22","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1007\/BF03037089","article-title":"Inductive logic programming","volume":"8","author":"Muggleton","year":"1991","journal-title":"New Generation Computing"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib23","article-title":"Inverting implication","author":"Muggleton","year":"1993","journal-title":"Artificial Intelligence Journal"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib24","doi-asserted-by":"crossref","unstructured":"Stephen Muggleton and Wray Buntine. Machine invention of first-order predicates by inverting resolution. In Proceedings of the Fifth International Conference on Machine Learning. Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib25","unstructured":"Tim Niblett. A study of generalization in logic programs. In Proceedings of the Third European Working Session on Learning. Pitman, 1988."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib26","unstructured":"G. D. Plotkin. Automatic Methods of Inductive Inference. PhD thesis, Edinburgh University, 1971."},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib27","series-title":"Inductive Logic Programming","article-title":"Extensions of inversion of resolution applied to theory completion","author":"Rouveirol","year":"1992"},{"key":"10.1016\/B978-1-55860-307-3.50026-5_bib28","unstructured":"Ruediger Wirth. Completing logic programs by inverse resolution. In Proceedings of the Fourth European Working Session on Learning. Pitman, 1989."}],"container-title":["Machine Learning Proceedings 1993"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558603073500265?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9781558603073500265?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,8,12]],"date-time":"2019-08-12T00:43:51Z","timestamp":1565570631000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9781558603073500265"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9781558603073"],"references-count":28,"URL":"https:\/\/doi.org\/10.1016\/b978-1-55860-307-3.50026-5","relation":{},"subject":[],"published":{"date-parts":[[1993]]}}}