{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:12Z","timestamp":1742617152598,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540566021"},{"type":"electronic","value":"9783540475972"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56602-3_145","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:19:03Z","timestamp":1330255143000},"page":"323-328","source":"Crossref","is-referenced-by-count":2,"title":["Functional inductive logic programming with queries to the user"],"prefix":"10.1007","author":[{"given":"F.","family":"Bergadano","sequence":"first","affiliation":[]},{"given":"D.","family":"Gunetti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"22_CR1","unstructured":"F. Bergadano and D. Gunetti. Sufficient and Correct Induction of Functional Logic Programs. Tech. Rep. 92.9.2, CS Dept., Univ. of Torino, 1992."},{"key":"22_CR2","unstructured":"J. U. Kietz and S. Wrobel. Controlling the Complexity of Learning in Logic through Syntactic and Task-Oriented Models. In Proc. Workshop on Inductive Logic Programming, pages 107\u2013126, 1991."},{"key":"22_CR3","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BFb0017020","volume-title":"Proc. of the Machine Learning-EWSL 91","author":"N. Lavrac","year":"1991","unstructured":"N. Lavrac, S. Dzeroski, and M. Grobelnik. Learning nonrecursive definitions of relations with linus. In Y. Kodratoff, editor, Proc. of the Machine Learning-EWSL 91, pages 265\u2013281, Porto, Portugal, 1991. Springer-Verlag."},{"issue":"6","key":"22_CR4","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/64.108949","volume":"6","author":"R. Quinlan","year":"1991","unstructured":"R. Quinlan. Knowledge Acquisition from Structured Data. IEEE Expert, 6(6):32\u201337, 1991.","journal-title":"IEEE Expert"},{"key":"22_CR5","unstructured":"L. De Raedt and M. Bruynooghe. CLINT: a Multistrategy Interactive Concept-Learner and Theory Revision System. In Proc. Workshop on Multistrategy Learning, pages 175\u2013190, 1991."},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1016\/0004-3702(92)90075-9","volume":"53","author":"L. Raedt De","year":"1992","unstructured":"L. De Raedt and Maurice Bruynooghe. Belief Updating from Integrity Constraints and Queries. Artificial Intelligence, 53:291\u2013307, 1992.","journal-title":"Artificial Intelligence"},{"key":"22_CR7","unstructured":"C. Rouveirol. Flattening: a Representation Change for Generalization. Machine Learning, 1993. Special issue on Evaluating and Changing Representation, K. Morik, F. Bergadano and W. Buntine (Eds.)."},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"22_CR9","first-page":"436","volume-title":"Proc. of the CompEuro, 1992","author":"I. Stahl","year":"1992","unstructured":"I. Stahl, B. Tausend, and R. Wirth. General-to-specific learning of horn clauses from positive examples. In P. Dewilde and J. Vanderwalle, editors, Proc. of the CompEuro, 1992, pages 436\u2013441, The Hague, Netherlands, 1992. IEEE Comp. Soc. Press."},{"key":"22_CR10","first-page":"457","volume-title":"Proc. of the 8th Int. Workshop on ML","author":"R. Wirth","year":"1991","unstructured":"R. Wirth and P. O'Rorke. Constraints on predicate invention. In L. A. Birnbaum and G. C. Collins, editors, Proc. of the 8th Int. Workshop on ML, pages 457\u2013461, Evanston, Illinois, 1991. Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Machine Learning: ECML-93"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56602-3_145.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:50:07Z","timestamp":1742593807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56602-3_145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540566021","9783540475972"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56602-3_145","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}