{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:19:10Z","timestamp":1763468350480,"version":"3.37.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319342214"},{"type":"electronic","value":"9783319342238"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-34223-8_10","type":"book-chapter","created":{"date-parts":[[2016,12,21]],"date-time":"2016-12-21T04:25:41Z","timestamp":1482294341000},"page":"169-183","source":"Crossref","is-referenced-by-count":7,"title":["Behavioral Program Synthesis: Insights and Prospects"],"prefix":"10.1007","author":[{"given":"Krzysztof","family":"Krawiec","sequence":"first","affiliation":[]},{"given":"Jerry","family":"Swan","sequence":"additional","affiliation":[]},{"given":"Una-May","family":"O\u2019Reilly","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,22]]},"reference":[{"key":"10_CR1","unstructured":"Brameier M, Banzhaf W (2007) Linear genetic programming. Genetic and evolutionary computation, vol XVI. Springer, New York. http:\/\/www.springer.com\/west\/home\/default?SGWID=4-40356-22-173660820-0"},{"issue":"2","key":"10_CR2","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb K, Pratap A, Agarwal S, Meyarivan T (2002) A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Trans Evol Comput 6(2):182\u2013197. doi: 10.1109\/4235.996017","journal-title":"IEEE Trans Evol Comput"},{"key":"10_CR3","doi-asserted-by":"publisher","unstructured":"Grenander U (1989) Advances in pattern theory. Ann Stat 17(1):1\u201330. doi: 10.1214\/aos\/1176347002 . http:\/\/dx.doi.org\/10.1214\/aos\/1176347002","DOI":"10.1214\/aos\/1176347002"},{"key":"10_CR4","doi-asserted-by":"publisher","unstructured":"Helmuth T, Spector L, Matheson J (2015) Solving uncompromising problems with lexicase selection. IEEE Trans Evol Comput 19(5):630\u2013643. doi: 10.1109\/TEVC.2014.2362729 . http:\/\/ieeexplore.ieee.org\/stamp\/stamp.jsp?tp=&arnumber=6920034","DOI":"10.1109\/TEVC.2014.2362729"},{"key":"10_CR5","volume-title":"Godel, Escher, Bach: an eternal golden braid","author":"DR Hofstadter","year":"1979","unstructured":"Hofstadter DR (1979) Godel, Escher, Bach: an eternal golden braid. Basic Books, New York"},{"key":"10_CR6","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1109\/TEVC.2002.800884","volume":"6","author":"Y Jin","year":"2002","unstructured":"Jin Y, Olhofer M, Sendhoff B (2002) A framework for evolutionary optimization with approximate fitness functions. IEEE Trans Evol Comput 6:481\u2013494","journal-title":"IEEE Trans Evol Comput"},{"key":"10_CR7","unstructured":"Kocsis ZA, Swan J (2014) Asymptotic genetic improvement programming with type functors and catamorphisms (extended abstract). In: Johnson C, Krawiec K, Alberto Moraglio MO (eds) Semantic methods in genetic programming (SMGP) at parallel problem solving from nature (PPSN XIV), Ljubljana"},{"key":"10_CR8","doi-asserted-by":"publisher","unstructured":"Krawiec K (2012) On relationships between semantic diversity, complexity and modularity of programming tasks. In: Soule T, Auger A, Moore J, Pelta D, Solnon C, Preuss M, Dorin A, Ong YS, Blum C, Silva DL, Neumann F, Yu T, Ekart A, Browne W, Kovacs T, Wong ML, Pizzuti C, Rowe J, Friedrich T, Squillero G, Bredeche N, Smith SL, Motsinger-Reif A, Lozano J, Pelikan M, Meyer-Nienberg S, Igel C, Hornby G, Doursat R, Gustafson S, Olague G, Yoo S, Clark J, Ochoa G, Pappa G, Lobo F, Tauritz D, Branke J, Deb K (eds) GECCO \u201912: Proceedings of the fourteenth international conference on Genetic and evolutionary computation conference. ACM, Philadelphia, pp 783\u2013790. doi: 10.1145\/2330163.2330272","DOI":"10.1145\/2330163.2330272"},{"key":"10_CR9","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1007\/978-3-642-15871-1_50","volume-title":"PPSN 2010 11th international conference on parallel problem solving from nature","author":"K Krawiec","year":"2010","unstructured":"Krawiec K, Lichocki P (2010) Using co-solvability to model and exploit synergetic effects in evolution. In: Schaefer R, Cotta C, Kolodziej J, Rudolph G (eds) PPSN 2010 11th international conference on parallel problem solving from nature. Lecture notes in computer science, vol 6239. Springer, Krakow, pp 492\u2013501. doi: 10.1007\/978-3-642-15871-1_50"},{"key":"10_CR10","doi-asserted-by":"publisher","unstructured":"Krawiec K, O\u2019Reilly UM (2014) Behavioral programming: a broader and more detailed take on semantic GP. In: Igel C, Arnold DV, Gagne C, Popovici E, Auger A, Bacardit J, Brockhoff D, Cagnoni S, Deb K, Doerr B, Foster J, Glasmachers T, Hart E, Heywood MI, Iba H, Jacob C, Jansen T, Jin Y, Kessentini M, Knowles JD, Langdon WB, Larranaga P, Luke S, Luque G, McCall JAW, Montes de Oca MA, Motsinger-Reif A, Ong YS, Palmer M, Parsopoulos KE, Raidl G, Risi S, Ruhe G, Schaul T, Schmickl T, Sendhoff B, Stanley KO, Stuetzle T, Thierens D, Togelius J, Witt C, Zarges C (eds) GECCO \u201914: Proceedings of the 2014 conference on Genetic and evolutionary computation. ACM, Vancouver, pp 935\u2013942. doi: 10.1145\/2576768.2598288 . http:\/\/doi.acm.org\/10.1145\/2576768.2598288 , best paper","DOI":"10.1145\/2576768.2598288"},{"key":"10_CR11","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/978-3-319-10762-2_43","volume-title":"13th international conference on parallel problem solving from nature","author":"K Krawiec","year":"2014","unstructured":"Krawiec K, Solar-Lezama A (2014) Improving genetic programming with behavioral consistency measure. In: Bartz-Beielstein T, Branke J, Filipic B, Smith J (eds) 13th international conference on parallel problem solving from nature. Lecture notes in computer science, vol 8672. Springer, Ljubljana, pp 434\u2013443. doi: 10.1007\/978-3-319-10762-2_43"},{"key":"10_CR12","doi-asserted-by":"publisher","unstructured":"Krawiec K, Swan J (2013) Pattern-guided genetic programming. In: Blum C, Alba E, Auger A, Bacardit J, Bongard J, Branke J, Bredeche N, Brockhoff D, Chicano F, Dorin A, Doursat R, Ekart A, Friedrich T, Giacobini M, Harman M, Iba H, Igel C, Jansen T, Kovacs T, Kowaliw T, Lopez-Ibanez M, Lozano JA, Luque G, McCall J, Moraglio A, Motsinger-Reif A, Neumann F, Ochoa G, Olague G, Ong YS, Palmer ME, Pappa GL, Parsopoulos KE, Schmickl T, Smith SL, Solnon C, Stuetzle T, Talbi EG, Tauritz D, Vanneschi L (eds) GECCO \u201913: Proceeding of the fifteenth annual conference on genetic and evolutionary computation conference. ACM, Amsterdam, pp 949\u2013956. doi: 10.1145\/2463372.2463496","DOI":"10.1145\/2463372.2463496"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Liskowski P, Krawiec K, Helmuth T, Spector L (2015) Comparison of semantic-aware selection methods in genetic programming. In: Proceedings of the seventeenth annual conference on genetic and evolutionary computation companion, GECCO Comp (accepted)","DOI":"10.1145\/2739482.2768505"},{"key":"10_CR14","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1080\/09540090310001655110","volume":"15","author":"M Lungarella","year":"2003","unstructured":"Lungarella M, Metta G, Pfeifer R, Sandini G (2003) Developmental robotics: a survey. Conn Sci 15:151\u2013190","journal-title":"Conn Sci"},{"key":"10_CR15","first-page":"435","volume-title":"Proceedings of the genetic and evolutionary computation conference (GECCO-2000)","author":"RIB McKay","year":"2000","unstructured":"McKay RIB (2000) Fitness sharing in genetic programming. In: Whitley D, Goldberg D, Cantu-Paz E, Spector L, Parmee I, Beyer HG (eds) Proceedings of the genetic and evolutionary computation conference (GECCO-2000). Morgan Kaufmann, Las Vegas, pp 435\u2013442. http:\/\/www.cs.bham.ac.uk\/~wbl\/biblio\/gecco2000\/GP256.pdf"},{"key":"10_CR16","first-page":"111","volume-title":"Informavores","author":"GA Miller","year":"1983","unstructured":"Miller GA (1983) Informavores. Wiley, New York, pp 111\u2013113"},{"key":"10_CR17","series-title":"Lecture notes in computer science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-642-32937-1_3","volume-title":"Parallel problem solving from nature, PPSN XII (part 1)","author":"A Moraglio","year":"2012","unstructured":"Moraglio A, Krawiec K, Johnson CG (2012) Geometric semantic genetic programming. In: Coello CA, Cutello V, Deb K, Forrest S, Nicosia G, Pavone M (eds) Parallel problem solving from nature, PPSN XII (part 1). Lecture notes in computer science, vol 7491. Springer, Taormina, pp 21\u201331. doi: 10.1007\/978-3-642-32937-1_3"},{"key":"10_CR18","volume-title":"Coevolutionary principles","author":"E Popovici","year":"2011","unstructured":"Popovici E, Bucci A, Wiegand RP, de Jong ED (2011) Coevolutionary principles. In: Handbook of natural computing. Springer, Heidelberg"},{"key":"10_CR19","unstructured":"Quinlan J (1992) C4.5: programs for machine learning. Morgan Kaufmann, San Mateo"},{"issue":"2","key":"10_CR20","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1162\/evco.1993.1.2.127","volume":"1","author":"R Smith","year":"1993","unstructured":"Smith R, Forrest S, Perelson A (1993) Searching for diverse, cooperative populations with genetic algorithms. Evol. Comput. 1(2):127\u2013149","journal-title":"Evol. Comput."},{"key":"10_CR21","doi-asserted-by":"publisher","unstructured":"Sparkes A, Aubrey W, Byrne E, Clare A, Khan M, Liakata M, Markham M, Rowland J, Soldatova L, Whelan K, Young M, King R (2010) Towards robot scientists for autonomous scientific discovery. Autom Exp 2(1):1. doi: 10.1186\/1759-4499-2-1 . http:\/\/www.aejournal.net\/content\/2\/1\/1","DOI":"10.1186\/1759-4499-2-1"},{"key":"10_CR22","doi-asserted-by":"publisher","unstructured":"Spector L, Robinson A (2002) Genetic programming and autoconstructive evolution with the push programming language. Genet Program Evolvable Mach 3(1):7\u201340. doi: 10.1023\/A:1014538503543 . http:\/\/hampshire.edu\/lspector\/pubs\/push-gpem-final.pdf","DOI":"10.1023\/A:1014538503543"},{"issue":"1","key":"10_CR23","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/s12559-013-9201-8","volume":"6","author":"J Swan","year":"2014","unstructured":"Swan J, Woodward J, \u00d6zcan E, Kendall G, Burke E (2014) Searching the hyper-heuristic design space. Cogn Comput 6(1):66\u201373. doi: 10.1007\/s12559-013-9201-8","journal-title":"Cogn Comput"},{"issue":"2","key":"10_CR24","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1162\/1063656054088549","volume":"13","author":"M Tomassini","year":"2005","unstructured":"Tomassini M, Vanneschi L, Collard P, Clergue M (2005) A study of fitness distance correlation as a difficulty measure in genetic programming. Evol Comput 13(2):213\u2013239. doi: 10.1162\/1063656054088549","journal-title":"Evol Comput"},{"key":"10_CR25","volume-title":"Compositional evolution: the impact of sex, symbiosis and modularity on the gradualist framework of evolution. Vienna series in theoretical biology","author":"RA Watson","year":"2006","unstructured":"Watson RA (2006) Compositional evolution: the impact of sex, symbiosis and modularity on the gradualist framework of evolution. Vienna series in theoretical biology, vol NA. MIT Press, Cambridge. http:\/\/eprints.ecs.soton.ac.uk\/10415\/"}],"container-title":["Genetic and Evolutionary Computation","Genetic Programming Theory and Practice XIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-34223-8_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T02:26:29Z","timestamp":1498357589000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-34223-8_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319342214","9783319342238"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-34223-8_10","relation":{},"ISSN":["1932-0167"],"issn-type":[{"type":"print","value":"1932-0167"}],"subject":[],"published":{"date-parts":[[2016]]}}}