{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:44:05Z","timestamp":1725551045653},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644132"},{"type":"electronic","value":"9783540697800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64413-x_27","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:41Z","timestamp":1270495361000},"page":"45-60","source":"Crossref","is-referenced-by-count":1,"title":["Curried least general generalization: A framework for higher order concept learning"],"prefix":"10.1007","author":[{"given":"Srinivas","family":"Padmanabhuni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Randy","family":"Goebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koichi","family":"Furukawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"issue":"1","key":"3_CR1","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"R.M. Burstall and J. Darlington. A transformation system for developing recursive programts. Journal of the ACM, 24(1):44\u201367, 1977.","journal-title":"Journal of the ACM"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"509","DOI":"10.2307\/2370619","volume":"52","author":"H. B. Curry","year":"1930","unstructured":"Haskell B. Curry. Grundlagender kombinatorischen logik. Am. J. Math., 52:509\u2013536, 1930.","journal-title":"Am. J. Math."},{"key":"3_CR3","series-title":"Research Memo IEI-RM 97001","volume-title":"Hyper least general generalization and its application to higher-order concept learning","author":"K. Furukawa","year":"1997","unstructured":"K. Furukawa, M. Imai, and R. Goebel. Hyper least general generalization and its application to higher-order concept learning. Research Memo IEI-RM 97001, SFC Research Institute, Keio University, 5322 Endo, Fujisawa-shi, Kanagawa 252, Japan, 1997."},{"key":"3_CR4","volume-title":"Proceedings of the Ninth International Workshop on Machine Learning","author":"C. Feng","year":"1992","unstructured":"C. Feng and S. Muggleton. Towards inductive generalisation in higher order logic. In D. Sleeman and P. Edwards, editors, Proceedings of the Ninth International Workshop on Machine Learning, San Mateo, California, 1992. Morgan Kaufman."},{"key":"3_CR5","unstructured":"M.J.C. Gordon and T.F. Melham. Introduction to HOL: A theorem proving environment for higher order logic. Cambridge University Press, 1993."},{"key":"3_CR6","unstructured":"J. Kietz and S. Wrobel. Controlling the Complexity of Learning in Logic through Syntactic and Task-Oriented Models. Inductive Logic Programming. Academic Press, 1992."},{"key":"3_CR7","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the First Conference on Algorithmic Learning Theory, Tokyo, Japan, 1990."},{"key":"3_CR8","series-title":"Technical Report PRG-TR-13-94","volume-title":"Beyond first-order learning Inductive learning with higher-order logic","author":"S. Muggleton","year":"1994","unstructured":"Stephen Muggleton and C.David Page Jr. Beyond first-order learning Inductive learning with higher-order logic. Technical Report PRG-TR-13-94, Oxford University, UK, 1994."},{"volume-title":"Inductive logic programming","year":"1992","key":"3_CR9","unstructured":"S. Muggleton, editor. Inductive logic programming. Academic Press, New York, 1992."},{"issue":"4","key":"3_CR10","doi-asserted-by":"publisher","first-page":"777","DOI":"10.1145\/96559.96570","volume":"37","author":"G. Nadathur","year":"1990","unstructured":"G. Nadathur and D. Miller. Higher-order horn clauses. Journal of the ACM, 37(4):777\u2013814, 1990.","journal-title":"Journal of the ACM"},{"key":"3_CR11","first-page":"153","volume-title":"Machine Intelligence, volume 6","author":"G.D. Plotkin","year":"1970","unstructured":"G.D. Plotkin. A note on inductive generalization. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 6, pages 153\u2013163. Edinburgh University Press, Edinburgh, 1970."},{"key":"3_CR12","volume-title":"Automatic methods of inductive inference","author":"G.D. Plotkin","year":"1971","unstructured":"G.D. Plotkin. Automatic methods of inductive inference. Ph.d. dissertation, University of Edinburgh, Edinburgh, Scotland, 1971."},{"key":"3_CR13","first-page":"101","volume-title":"Machine Intelligence, volume 6","author":"G.D. Plotkin","year":"1971","unstructured":"G.D. Plotkin. A further note on inductive generalization. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 6, pages 101\u2013124. Edinburgh University Press, Edinburgh, 1971."},{"key":"3_CR14","volume-title":"Machine Intelligence, volume 5","author":"R.J. Popplestone","year":"1970","unstructured":"R.J. Popplestone. An experiment in automatic deduction. In B. Meltzer and D. Michie, editors, Machine Intelligence, volume 5, pages ???-??? Edinburgh University Press, Edinburgh, 1970."},{"key":"3_CR15","unstructured":"Luc De Raedt. A brief introduction to inductive logic programming. In Proceedings of the 1993 International Symposium on Logic Programming, pages 45\u201351, Vancouver, Canada, October 26\u201329 1993."},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"L. De Raedt and M. Bruynooghe. Interactive theory revision: an inductive logic programming approach. Machine Learning, 8(2), 1992.","DOI":"10.1023\/A:1022664419589"},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/BF01448013","volume":"92","author":"M. Schonfinkel","year":"1924","unstructured":"M. Schonfinkel. Uber die baustine der matematischen logik. Math. Annalen, 92:305\u2013316, 1924.","journal-title":"Math. Annalen"}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning with Complex Representations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64413-X_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T03:48:05Z","timestamp":1550116085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}