{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:14:36Z","timestamp":1725488076172},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540651413"},{"type":"electronic","value":"9783540495451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49545-2_25","type":"book-chapter","created":{"date-parts":[[2007,8,6]],"date-time":"2007-08-06T18:41:28Z","timestamp":1186425688000},"page":"368-381","source":"Crossref","is-referenced-by-count":3,"title":["Higher Order Generalization"],"prefix":"10.1007","author":[{"given":"Jianguo","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masateru","family":"Harao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masami","family":"Hagiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,2,26]]},"reference":[{"issue":"2","key":"25_CR1","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1017\/S0956796800020025","volume":"1","author":"H. Barendregt","year":"1991","unstructured":"H. Barendregt, Introduction to generalized type systems, Journal of functional programming, Vol. 1, N0. 2, 1991. 124\u2013154.","journal-title":"Journal of functional programming"},{"issue":"3\/4","key":"25_CR2","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0890-5401(88)90005-3","volume":"76","author":"T. Coquand","year":"1988","unstructured":"Coquand, T., Huet, G., The calculus of constructions, Information and Computation, Vol.76, No.3\/4 (1988), 95\u2013120.","journal-title":"Information and Computation"},{"key":"25_CR3","doi-asserted-by":"crossref","unstructured":"C. Feng, S. Muggleton, Towards inductive generalization in higher order logic, In D. Sleeman et al (eds.), Proceedings of the Ninth International Workshop on Machine Learning, San Mateo, California, 1992. Morgan Kaufman.","DOI":"10.1016\/B978-1-55860-247-2.50025-5"},{"key":"25_CR4","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(89)90074-1","volume":"63","author":"M. Hagiya","year":"1989","unstructured":"M. Hagiya, Generalization from partial parametrization in higher order type theory, Theoretical Computer Science, Vol.63 (1989), pp.113\u2013139.","journal-title":"Theoretical Computer Science"},{"key":"25_CR5","unstructured":"R. Hasker, The replay of program derivations, Ph.D. thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, 1995."},{"key":"25_CR6","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0304-3975(75)90011-0","volume":"1","author":"G.P. Huet","year":"1975","unstructured":"G.P. Huet, A unification algorithm for typed lambda calculus, Theoretical Computer Science, 1 (1975), 27\u201357.","journal-title":"Theoretical Computer Science"},{"key":"25_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF00264598","volume":"11","author":"G. Huet","year":"1978","unstructured":"G. Huet, Bernard Lang, Proving and applying program transformations expressed with second order patterns, Acta Informatica 11, 31\u201355 (1978)","journal-title":"Acta Informatica"},{"key":"25_CR8","unstructured":"Peter Idestam-Almquist, Generalization of Horn clauses, Ph.D. dissertation, Department of Computer Science and Systems Science, Stockholm University and the Royal Institute of Technology, 1993."},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/0304-3975(93)90004-D","volume":"113","author":"J. Lu","year":"1993","unstructured":"Jianguo Lu, Jiafu Xu, Analogical Program Derivation based on Type Theory, Theoretical Computer Science, Vol.113, North Holland 1993, pp.259\u2013272.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"25_CR10","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/BF03037089","volume":"8","author":"S. Muggleton","year":"1991","unstructured":"Stephen Muggleton, Inductive logic programming, New generation computing, 8(4):295\u2013318, 1991","journal-title":"New generation computing"},{"key":"25_CR11","unstructured":"Charles David Page jr., Anti-unification in constraint logic: foundations and applications to learnability in first order logic, to speed-up learning, and to deduction, Ph.D. Dissertation, University of Illinois at Urbana-Champaign, 1993."},{"key":"25_CR12","doi-asserted-by":"crossref","unstructured":"Frank Pfenning, Unification and anti-unification in the calculus of constructions, Proceedings of the 6th symposium on logic in computer science, 1991. pp.74\u201385.","DOI":"10.1109\/LICS.1991.151632"},{"key":"25_CR13","first-page":"153","volume":"5","author":"G. D. Plotkin","year":"1970","unstructured":"Plotkin, G. D., A note on inductive generalization, Machine Intelligence 5, Edinburgh University Press 1970, pp. 153\u2013163.","journal-title":"Machine Intelligence"},{"key":"25_CR14","first-page":"101","volume":"6","author":"G.D. Plotkin","year":"1971","unstructured":"Plotkin, G.D., A further note on inductive generalization, Machine Intelligence 6, Edinburgh University Press 1971, pp. 101\u2013124.","journal-title":"Machine Intelligence"},{"key":"25_CR15","first-page":"135","volume":"5","author":"J. C. Reynolds","year":"1970","unstructured":"John C. Reynolds, Transformational systems and the algebraic structure of atomic formulas, Machine Intelligence 5, Edinburgh University Press 1970, 135\u2013151.","journal-title":"Machine Intelligence"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49545-2_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:48:16Z","timestamp":1556740096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49545-2_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540651413","9783540495451"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-49545-2_25","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}