{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:31Z","timestamp":1725664411339},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540618638"},{"type":"electronic","value":"9783540707196"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61863-5_43","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:28:59Z","timestamp":1330295339000},"page":"156-168","source":"Crossref","is-referenced-by-count":0,"title":["Incorporating hypothetical knowledge into the process of inductive synthesis"],"prefix":"10.1007","author":[{"given":"J\u0101nis","family":"B\u0101rzdi\u0146\u0161","sequence":"first","affiliation":[]},{"given":"Ugis","family":"Sarkans","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"15_CR1","volume-title":"Machine Learning: An Artificial Intelligence Approach","author":"P. Langley","year":"1983","unstructured":"P. Langley, G. Bradshaw, H.A. Simon. Rediscovering chemistry with the BACON system. In Machine Learning: An Artificial Intelligence Approach, R.S. Michalski, J.G. Carbonell, T.M. Mitchell (eds.), Tioga Press, Palo Alto, CA, 1983."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"P. Langley, H.A. Simon, G. Bradshaw. Heuristics for Empirical Discovery. In Computational Models of Learning, L. Bolc (ed.), Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-82742-6_2"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"J.H. Holland. Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence. MIT Press, 1992.","DOI":"10.7551\/mitpress\/1090.001.0001"},{"key":"15_CR4","unstructured":"J.R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, 1992."},{"key":"15_CR5","unstructured":"J.R. Koza. Genetic Programming II: Automatic Discovery of Reusable Programs. MIT Press, 1994."},{"key":"15_CR6","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0304-3975(91)90307-N","volume":"90","author":"J.M. Barzdin","year":"1991","unstructured":"J.M. Barzdin and G.J. Barzdin. Rapid construction of algebraic axioms from samples. Theoretical Computer Science 90. 1991. pp. 199\u2013208.","journal-title":"Theoretical Computer Science"},{"key":"15_CR7","first-page":"59","volume":"744","author":"J. Barzdins","year":"1993","unstructured":"J. Barzdins, G. Barzdins, K. Apsitis, U. Sarkans. Towards Efficient Inductive Synthesis of Expressions from input\/output Examples. Lecture Notes in Artificial Intelligence, vol. 744.-1993. pp. 59\u201372.","journal-title":"Lecture Notes in Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61863-5_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:37:17Z","timestamp":1619573837000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61863-5_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540618638","9783540707196"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-61863-5_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}