{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:52:30Z","timestamp":1740099150900,"version":"3.37.3"},"publisher-location":"Cham","reference-count":47,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319970875"},{"type":"electronic","value":"9783319970882"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-97088-2_10","type":"book-chapter","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T05:19:38Z","timestamp":1540358378000},"page":"149-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning"],"prefix":"10.1007","author":[{"given":"Jerry","family":"Swan","sequence":"first","affiliation":[]},{"given":"Krzysztof","family":"Krawiec","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,10,25]]},"reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"crossref","first-page":"39","DOI":"10.3233\/AIC-1994-7104","volume":"7","author":"A Aamodt","year":"1994","unstructured":"Aamodt, A., Plaza, E.: Case-based reasoning: foundational issues, methodological variations, and system approaches. AI Commun. 7(1), 39\u201359 (1994). http:\/\/dl.acm.org\/citation.cfm?id=196108.196115","journal-title":"AI Commun."},{"key":"10_CR2","unstructured":"Baumgartner, A., Kutsia, T.: A Library of Anti-Unification Algorithms. RISC Report Series 14-07, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, Schloss Hagenberg, Hagenberg (2014). http:\/\/www.risc.jku.at\/publications\/download\/risc_5003\/au_library.pdf"},{"key":"10_CR3","volume-title":"Aristotle: the Organon","author":"H Cooke","year":"1938","unstructured":"Cooke, H., Tredennick, H.: Aristotle: the Organon, vol. 1. Harvard University Press, Harvard (1938). https:\/\/books.google.co.uk\/books?id=TgeISwAACAAJ"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1080\/09528130310001626283","volume":"15","author":"M Dastani","year":"2003","unstructured":"Dastani, M., Indurkhya, B., Scha, R.: Analogical projection in pattern perception. J. Exp. Theor. Artif. Intell. 15(4), 489\u2013511 (2003). https:\/\/doi.org\/10.1080\/09528130310001626283","journal-title":"J. Exp. Theor. Artif. Intell."},{"key":"10_CR5","first-page":"3","volume-title":"Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001)","author":"M Dastani","year":"2001","unstructured":"Dastani, M., Marchiori, E., Voorn, R.: Finding perceived pattern structures using genetic programming. In: Spector, L., et al. (eds.) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO-2001), pp. 3\u201310. Morgan Kaufmann, San Francisco, CA (2001). http:\/\/www.cs.bham.ac.uk\/~wbl\/biblio\/gecco2001\/d01.pdf"},{"key":"10_CR6","unstructured":"Dershowitz, N.: The evolution of programs: program abstraction and instantiation. In: Proceedings of the 5th International Conference on Software Engineering, ICSE \u201981, pp. 79\u201388. IEEE Press, Piscataway, NJ (1981). http:\/\/dl.acm.org\/citation.cfm?id=800078.802519"},{"key":"10_CR7","unstructured":"Dershowitz, N., Manna, Z.: On automating structured programming. In: Huet G., Kahn, G. (eds.) IRIA Symposium on Proving and Improving Programs, pp. 167\u2013193. Arc-et-Senans (1975)"},{"key":"10_CR8","first-page":"249","volume":"14","author":"CV Ehrenfels","year":"1890","unstructured":"Ehrenfels, C.V.: \u00dcber Gestaltqualit\u00e4ten. Vierteljahresschr. f\u00fcr Philosophie 14, 249\u2013292 (1890)","journal-title":"\u00dcber Gestaltqualit\u00e4ten. Vierteljahresschr. f\u00fcr Philosophie"},{"key":"10_CR9","unstructured":"Evans, T.G.: A heuristic program to solve geometric-analogy problems. In: Proceedings of the April 21\u201323, 1964, Spring Joint Computer conference, AFIPS \u201964 (Spring), pp. 327\u2013338. ACM, New York, NY (1964). http:\/\/doi.acm.org\/10.1145\/1464122.1464156"},{"issue":"1","key":"10_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(89)90077-5","volume":"41","author":"B Falkenhainer","year":"1989","unstructured":"Falkenhainer, B., Forbus, K.D., Gentner, D.: The structure-mapping engine: algorithm and examples. Artif. Intell. 41(1), 1\u201363 (1989). http:\/\/dx.doi.org\/10.1016\/0004-3702(89)90077-5","journal-title":"Artif. Intell."},{"key":"10_CR11","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/6549.001.0001","volume-title":"The subtlety of sameness: a theory and computer model of analogy-making","author":"RM French","year":"1995","unstructured":"French, R.M.: The subtlety of sameness: a theory and computer model of analogy-making. The MIT Press, Cambridge (1995)"},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"Hofmann, M.: Igor II - an analytical inductive functional programming system. In: In Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, pp. 29\u201332 (2010)","DOI":"10.1145\/1706356.1706364"},{"key":"10_CR13","volume-title":"Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought","author":"DR Hofstadter","year":"1996","unstructured":"Hofstadter, D.R.: Fluid Concepts and Creative Analogies: Computer Models of the Fundamental Mechanisms of Thought. Basic Books, Inc., New York, NY (1996)"},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1207\/s15516709cog1303_1","volume":"13","author":"KJ Holyoak","year":"1989","unstructured":"Holyoak, K.J., Thagard, P.: Analogical mapping by constraint satisfaction. Cogn. Sci. 13(3), 295\u2013355 (1989). http:\/\/dx.doi.org\/10.1207\/s15516709cog1303_1","journal-title":"Cogn. Sci."},{"key":"10_CR15","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1037\/0033-295X.104.3.427","volume":"1997","author":"JE Hummel","year":"1997","unstructured":"Hummel, J.E., Holyoak, K.J.: Distributed representations of structure: a theory of analogical access and mapping. Psycholog. Rev. 1997, 427\u2013466 (1997)","journal-title":"Psycholog. Rev."},{"key":"10_CR16","unstructured":"Katayama, S.: An analytical inductive functional programming system that avoids unintended programs. In: Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM \u201912, pp. 43\u201352. ACM, New York, NY (2012). http:\/\/doi.acm.org\/10.1145\/2103746.2103758"},{"key":"10_CR17","unstructured":"Kocsis, Z.A., Swan, J.: Asymptotic Genetic Improvement programming via type functors and catamorphisms. In: Johnson, C., Krawiec, K., Moraglio, A., O\u2019Neill, M. (eds.) Semantic Methods in Genetic Programming. Ljubljana, Slovenia (2014). http:\/\/www.cs.put.poznan.pl\/kkrawiec\/smgp2014\/uploads\/Site\/Kocsis.pdf . Workshop at Parallel Problem Solving from Nature 2014 Conference"},{"key":"10_CR18","unstructured":"Kovitz, B., Swan, J.: Structural stigmergy: a speculative pattern language for metaheuristics. In: Proceedings of the Companion Publication of the 2014 Annual Conference on Genetic and Evolutionary Computation, GECCO Comp \u201914, pp. 1407\u20131410. ACM, New York, NY (2014). http:\/\/doi.acm.org\/10.1145\/2598394.2609845"},{"key":"10_CR19","volume-title":"Behavioral Program Synthesis with Genetic Programming","author":"K Krawiec","year":"2015","unstructured":"Krawiec, K.: Behavioral Program Synthesis with Genetic Programming, 1st edn. Springer Publishing Company, Incorporated, Berlin (2015)","edition":"1"},{"key":"10_CR20","unstructured":"Krawiec, K., O\u2019Reilly, U.M.: Behavioral programming: a broader and more detailed take on semantic GP. In: Proceedings of the 2014 Annual Conference on Genetic and Evolutionary Computation, GECCO \u201914, pp. 935\u2013942. ACM, New York, NY (2014). http:\/\/doi.acm.org\/10.1145\/2576768.2598288"},{"key":"10_CR21","unstructured":"Krawiec, K., Swan, J.: Guiding evolutionary learning by searching for regularities in behavioral trajectories: a case for representation agnosticism. In: AAAI Fall Symposium: How Should Intelligence be Abstracted in AI Research (2013)"},{"key":"10_CR22","volume-title":"Genetic Programming Theory and Practice XIII","author":"K Krawiec","year":"2015","unstructured":"Krawiec, K., Swan, J., O\u2019Reilly, U.M.: Behavioral program synthesis: Insights and prospects. In: Riolo, R., Worzel, W.P., Groscurth, K. (eds.) Genetic Programming Theory and Practice XIII, Genetic and Evolutionary Computation. Springer, Ann Arbor (2015). http:\/\/www.cs.put.poznan.pl\/kkrawiec\/wiki\/uploads\/Research\/2015GPTP.pdf"},{"key":"10_CR23","volume-title":"Structural Information Theory: The Simplicity of Visual Form","author":"E Leeuwenberg","year":"2015","unstructured":"Leeuwenberg, E., van der Helm, P.: Structural Information Theory: The Simplicity of Visual Form. Cambridge University Press, Cambridge (2015)"},{"issue":"1","key":"10_CR24","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/52.566430","volume":"14","author":"Luqi","year":"1997","unstructured":"Luqi, Goguen, J.A.: Formal methods: promises and problems. IEEE Softw. 14(1), 73\u201385 (1997). http:\/\/dx.doi.org\/10.1109\/52.566430","journal-title":"IEEE Software"},{"key":"10_CR25","first-page":"236","volume-title":"Lecture Notes in Computer Science","author":"Zohar Manna","year":"1975","unstructured":"Manna, Z., Waldinger, R.: Knowledge and reasoning in program synthesis. In: Programming Methodology, 4th Informatik Symposium, pp. 236\u2013277. Springer, London (1975). http:\/\/dl.acm.org\/citation.cfm?id=647950.742874"},{"key":"10_CR26","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"Erik Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture, pp. 124\u2013144. Springer New York, Inc., New York (1991). http:\/\/dl.acm.org\/citation.cfm?id=127960.128035"},{"key":"10_CR27","volume-title":"Analogy-Making as Perception: A Computer Model","author":"M Mitchell","year":"1993","unstructured":"Mitchell, M.: Analogy-Making as Perception: A Computer Model. MIT Press, Cambridge (1993). http:\/\/portal.acm.org\/citation.cfm?id=152203"},{"issue":"1","key":"10_CR28","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/181668.181671","volume":"5","author":"S Muggleton","year":"1994","unstructured":"Muggleton, S.: Inductive Logic Programming: Derivations, successes and shortcomings. SIGART Bull. 5(1), 5\u201311 (1994). http:\/\/doi.acm.org\/10.1145\/181668.181671","journal-title":"SIGART Bull."},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Otero, F., Castle, T., Johnson, C.: EpochX: Genetic programming in java with statistics and event monitoring. In: Proceedings of the 14th Annual Conference Companion on Genetic and Evolutionary Computation, GECCO \u201912, pp. 93\u2013100. ACM, New York, NY (2012). https:\/\/doi.org\/10.1145\/2330784.2330800","DOI":"10.1145\/2330784.2330800"},{"issue":"7","key":"10_CR30","doi-asserted-by":"publisher","first-page":"e1000858","DOI":"10.1371\/journal.pcbi.1000858","volume":"6","author":"Steven Phillips","year":"2010","unstructured":"Phillips, S., Wilson, W.H.: Categorial compositionality: a category theory explanation for the systematicity of human cognition. PLoS Comput. Biol. 6(7) (2010)","journal-title":"PLoS Computational Biology"},{"key":"10_CR31","first-page":"153","volume":"5","author":"GD Plotkin","year":"1970","unstructured":"Plotkin, G.D.: A note on inductive generalization. Mach. Intell. 5, 153\u2013163 (1970)","journal-title":"Mach. Intell."},{"key":"10_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54516-0","volume-title":"Computational Approaches to Analogical Reasoning: Current Trends","author":"H Prade","year":"2014","unstructured":"Prade, H., Richard, G.: Computational Approaches to Analogical Reasoning: Current Trends. Springer Publishing Company, Incorporated, Berlin (2014)"},{"key":"10_CR33","unstructured":"Raza, M., Gulwani, S., Milic-Frayling, N.: Programming by example using least general generalizations. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27\u201331, 2014, Qu\u00e9bec City, QC, pp. 283\u2013290 (2014). http:\/\/www.aaai.org\/ocs\/index.php\/AAAI\/AAAI14\/paper\/view\/8520"},{"key":"10_CR34","first-page":"135","volume-title":"Machine Intelligence","author":"JC Reynolds","year":"1969","unstructured":"Reynolds, J.C.: Transformational systems and the algebraic structure of atomic formulas. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol. 5, pp. 135\u2013151. Edinburgh University Press, Edinburgh (1969)"},{"key":"10_CR35","volume-title":"Inductive Synthesis of Functional Programs, Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning, Lecture Notes in Computer Science","author":"U Schmid","year":"2003","unstructured":"Schmid, U.: Inductive Synthesis of Functional Programs, Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning, Lecture Notes in Computer Science, vol. 2654. Springer, Berlin (2003). http:\/\/dx.doi.org\/10.1007\/b12055"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Schmid, U., Burghardt, J.: An algebraic framework for solving proportional and predictive analogies. In: Schmalhofer, F., et.al. (eds.) Proceedings of the European Conference on Cognitive Science, pp. 295\u2013300, Erlbaum (2003)","DOI":"10.4324\/9781315782362-59"},{"key":"10_CR37","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-642-54516-0_7","volume-title":"Computational Approaches to Analogical Reasoning: Current Trends","author":"M Schmidt","year":"2014","unstructured":"Schmidt, M., Krumnack, U., Gust, H., K\u00fchnberger, K.: Heuristic-driven theory projection: an overview. In: Prade, H., Richard, G. (eds.) Computational Approaches to Analogical Reasoning: Current Trends, vol. 548, pp. 163\u2013194. Springer, Berlin (2014). https:\/\/doi.org\/10.1007\/978-3-642-54516-0_7"},{"issue":"2","key":"10_CR38","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/s10710-011-9150-5","volume":"13","author":"S Silva","year":"2012","unstructured":"Silva, S., Dignum, S., Vanneschi, L.: Operator equalisation for bloat free genetic programming and a survey of bloat control methods. Genet. Program Evolvable Mach. 13(2), 197\u2013238 (2012). http:\/\/dx.doi.org\/10.1007\/s10710-011-9150-5","journal-title":"Genet. Program Evolvable Mach."},{"key":"10_CR39","volume-title":"Figments of Reality: The Evolution of the Curious Mind","author":"I Stewart","year":"1999","unstructured":"Stewart, I., Cohen, J.: Figments of Reality: The Evolution of the Curious Mind. Cambridge University Press, Cambridge (1999)"},{"key":"10_CR40","unstructured":"Swan, J., Drake, J., Krawiec, K.: Semantically-meaningful numeric constants for genetic programming. In: Johnson, C., Krawiec, K., Moraglio, A., O\u2019Neill, M. (eds.) Semantic Methods in Genetic Programming. Ljubljana, Slovenia (2014). http:\/\/www.cs.put.poznan.pl\/kkrawiec\/smgp2014\/uploads\/Site\/Swan.pdf . Workshop at Parallel Problem Solving from Nature 2014 Conference"},{"key":"10_CR41","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/872736.806928","volume":"64","author":"JW Ulrich","year":"1977","unstructured":"Ulrich, J.W., Moll, R.: Program synthesis by analogy. SIGART Bull. 64, 22\u201328 (1977). http:\/\/doi.acm.org\/10.1145\/872736.806928","journal-title":"SIGART Bull."},{"issue":"2","key":"10_CR42","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1016\/0031-3203(86)90022-1","volume":"19","author":"P Helm van der","year":"1986","unstructured":"van der Helm, P., Leeuwenberg, E.: Avoiding explosive search in automatic selection of simplest pattern codes. Pattern Recogn. 19(2), 181\u2013191 (1986). http:\/\/dx.doi.org\/10.1016\/0031-3203(86)90022-1","journal-title":"Pattern Recogn."},{"issue":"2","key":"10_CR43","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/0022-2496(91)90025-O","volume":"35","author":"PA Helm Van Der","year":"1991","unstructured":"Van Der Helm, P.A., Leeuwenberg, E.L.J.: Accessibility: A criterion for regularity and hierarchy in visual pattern codes. J. Math. Psychol. 35(2), 151\u2013213 (1991). http:\/\/dx.doi.org\/10.1016\/0022-2496(91)90025-O","journal-title":"J. Math. Psychol."},{"key":"10_CR44","unstructured":"Weller, S., Schmid, U.: Analogy by abstraction. In: Proceedings of the Seventh International Conference on Cognitive Modeling (ICCM). Trieste (2006)"},{"key":"10_CR45","doi-asserted-by":"crossref","unstructured":"Weller, S., Schmid, U.: Solving proportional analogies by E-generalization. In: KI 2006: Advances in Artificial Intelligence, 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14\u201317, 2006, Proceedings, pp. 64\u201375 (2006). https:\/\/doi.org\/10.1007\/978-3-540-69912-5_6","DOI":"10.1007\/978-3-540-69912-5_6"},{"key":"10_CR46","doi-asserted-by":"crossref","unstructured":"Yanai, K., Iba, H.: Estimation of distribution programming: EDA-based approach to program generation. In: Towards a New Evolutionary Computation: Advances in the Estimation of Distribution Algorithms, pp. 103\u2013122. Springer, Berlin (2006). https:\/\/doi.org\/10.1007\/3-540-32494-1_5","DOI":"10.1007\/3-540-32494-1_5"},{"key":"10_CR47","doi-asserted-by":"publisher","unstructured":"Yu, T.: Structure abstraction and genetic programming. In: Angeline, P.J., Michalewicz, Z., Schoenauer, M., Yao, X., Zalzala, A. (eds.) Proceedings of the Congress on Evolutionary Computation, vol. 1, pp. 652\u2013659. IEEE Press, Mayflower Hotel, Washington, DC (1999). https:\/\/doi.org\/10.1109\/CEC.1999.781995 . http:\/\/www.cs.mun.ca\/~tinayu\/index_files\/addr\/public_html\/cec99.pdf","DOI":"10.1109\/CEC.1999.781995"}],"container-title":["Genetic and Evolutionary Computation","Genetic Programming Theory and Practice XIV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-97088-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,13]],"date-time":"2020-11-13T22:38:50Z","timestamp":1605307130000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-97088-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319970875","9783319970882"],"references-count":47,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-97088-2_10","relation":{},"ISSN":["1932-0167"],"issn-type":[{"type":"print","value":"1932-0167"}],"subject":[],"published":{"date-parts":[[2018]]}}}