{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,24]],"date-time":"2025-05-24T07:46:52Z","timestamp":1748072812462},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_8","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:42Z","timestamp":1185142302000},"page":"143-158","source":"Crossref","is-referenced-by-count":5,"title":["Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Hamfelt","sequence":"first","affiliation":[]},{"given":"J\u00f8rgen Fischer","family":"Nilsson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"743","DOI":"10.1007\/BF01213601","volume":"6A","author":"K. Apt","year":"1994","unstructured":"K. Apt & E. Marchiori: Reasoning About Prolog Programs: From Modes Through Types to Assertions. J. Formal Aspects of Computing, (1994) 6A pp. 743\u2013764.","journal-title":"J. Formal Aspects of Computing"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"J. Backus: Can Programming be Liberated from the von Neumann Style ? A Functional Style and Its Algebra of Programs. Comm. of the ACM, 21, 8, 1978. pp. 613\u2013641.","journal-title":"Comm. of the ACM"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"R. Bird & O. de Moor: Algebra of Programming, Prentice Hall, 1997.","DOI":"10.1007\/978-3-642-61455-2_12"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"P. Flener: Inductive Logic Program Synthesis with Dialogs. In [12] pp. 175\u2013198.","DOI":"10.1007\/3-540-63494-0_55"},{"key":"8_CR5","first-page":"467","volume-title":"Procs. Twelfth International Conference on Logic Programming 1995","author":"T.S. Gegg-Harrison","year":"1995","unstructured":"Gegg-Harrison, T.S.: Representing Logic Program Schemata in \u03bb-Prolog. In L. Sterling(ed.) Procs. Twelfth International Conference on Logic Programming 1995, MIT Press, London, 1995. pp. 467\u2013481."},{"key":"8_CR6","unstructured":"A. Hamfelt & J. Fischer Nilsson: Inductive Metalogic Programming. In S. Wrobel (ed.) Procs. Fourth International Workshop on Inductive Logic programming (ILP-94), Bad Honnef\/Bonn, GMD-Studien Nr. 237, 1994. pp. 85\u201396."},{"key":"8_CR7","first-page":"230","volume-title":"Procs. Joint International Conference and Symposium on Logic Programming 1996","author":"A. Hamfelt","year":"1996","unstructured":"A. Hamfelt & J. Fischer Nilsson: Declarative Logic Programming with Primitive Recursive Relations on Lists. In M. Maher (ed.) Procs. Joint International Conference and Symposium on Logic Programming 1996, MIT Press, London, 1996, pp. 230\u2013242."},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/BF03037300","volume":"15","author":"A. Hamfelt","year":"1997","unstructured":"A. Hamfelt & J. Fischer Nilsson: Towards a Logic Programming Methodology Based on Higher-order Predicates. J. New Generation Computing, vol 15, no 4, 1997. pp. 421\u2013448.","journal-title":"J. New Generation Computing"},{"key":"8_CR9","unstructured":"A. Hamfelt, J. Fischer Nilsson & A. Vitoria: A Combinatory Form of Pure Logic Programs and its Compositional Semantics. Submitted for publication 1998."},{"key":"8_CR10","volume-title":"Inductive Logic Programming","author":"N. Lavrac","year":"1994","unstructured":"N. Lavrac & S. Dzeroski: Inductive Logic Programming. Ellis Horwood, New York, 1994."},{"volume-title":"Inductive Logic Programming","year":"1992","key":"8_CR11","unstructured":"S. Muggleton(ed.): Inductive Logic Programming. Academic Press, London, 1992."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"S. Muggleton (ed.): Inductive Logic Programming, Proceedings of the 6th International Workshop on Inductive Logic Programming, 1996, Lecture Notes in Artificial Intelligence 1314, Springer, 1996.","DOI":"10.1007\/3-540-63494-0"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"S.-H. Nienhuys-Cheng & R. de Wolf: Foundations of Inductive Logic Programming, Lecture Notes in Artificial Intelligence 1228, Springer, 1997.","DOI":"10.1007\/3-540-62927-0"},{"key":"8_CR14","first-page":"307","volume-title":"Procs. Joint Conference on Declarative Programming 1995 (GULP-PRODE\u201995)","author":"J. Fischer Nilsson","year":"1995","unstructured":"J. Fischer Nilsson & A. Hamfelt: Constructing Logic Programs with Higher Order Predicates. In M. Alpuente & M. I. Sessa (eds.) Procs. Joint Conference on Declarative Programming 1995 (GULP-PRODE\u201995), Universita\u2019 Degli Studi di Salerno, Salerno, 1995. pp. 307\u2013312."},{"key":"8_CR15","unstructured":"A. Petorossi & M. Proietti: Transformation of Logic Programs. In D. M. Gabbay, C. J. Hogger & J. A. Robinson (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press."},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"W. V. Quine: Predicate-functor Logic. In J. E. Fenstad (ed.) Procs. Second Scandinavian Logic Symposium, North-Holland, 1971. pp. 309\u2013315.","DOI":"10.1016\/S0049-237X(08)70850-4"},{"key":"8_CR17","unstructured":"C. Reade: Elements of Functional Programming, Addison-Wesley, 1989."},{"key":"8_CR18","unstructured":"D. H. D. Warren: Higher-order extensions to PROLOG: are they needed? In D. Michie (ed.) Machine Intelligence 10, Ellis Horwood and Edinburgh University Press, 1982. pp. 441\u2013454."}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,25]],"date-time":"2020-04-25T05:00:05Z","timestamp":1587790805000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_8","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}