{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T07:27:26Z","timestamp":1777534046723,"version":"3.51.4"},"reference-count":60,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,7,30]],"date-time":"2010-07-30T00:00:00Z","timestamp":1280448000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Genet Program Evolvable Mach"],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1007\/s10710-010-9121-2","type":"journal-article","created":{"date-parts":[[2010,7,29]],"date-time":"2010-07-29T12:24:59Z","timestamp":1280406299000},"page":"91-119","source":"Crossref","is-referenced-by-count":241,"title":["Semantically-based crossover in genetic programming: application to real-valued symbolic regression"],"prefix":"10.1007","volume":"12","author":[{"given":"Nguyen Quang","family":"Uy","sequence":"first","affiliation":[]},{"given":"Nguyen Xuan","family":"Hoai","sequence":"additional","affiliation":[]},{"given":"Michael","family":"O\u2019Neill","sequence":"additional","affiliation":[]},{"given":"R. I.","family":"McKay","sequence":"additional","affiliation":[]},{"given":"Edgar","family":"Galv\u00e1n-L\u00f3pez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,30]]},"reference":[{"key":"9121_CR1","volume-title":"Meaning and Language: an introduction to semantics and pragmatics","author":"C. Alan","year":"2004","unstructured":"C. Alan, Meaning and language: an introduction to semantics and pragmatics. (Oxford Textbooks in Linguistics, Cambridge, 2004)"},{"key":"9121_CR2","first-page":"47","volume-title":"Advances in Genetic Programming chapter 3.","author":"L. Altenberg","year":"1994","unstructured":"L. Altenberg, in Advances in Genetic Programming, ed. by K. E. Kinnear, Jr., The evolution of evolvability in genetic programming, chap. 3 (MIT Press, Cambridge, 1994), pp. 47\u201374"},{"key":"9121_CR3","volume-title":"Principles of Model Checking","author":"C. Baier","year":"2008","unstructured":"C. Baier, J.P. Katoen, Principles of Model Checking (MIT Press, Cambridge, 2008)."},{"key":"9121_CR4","doi-asserted-by":"crossref","unstructured":"L. Beadle, C. Johnson, Semantically driven crossover in genetic programming, in Proceedings of the IEEE World Congress on Computational Intelligence (IEEE Press, New York, 2008), pp. 111\u2013116","DOI":"10.1109\/CEC.2008.4630784"},{"issue":"3","key":"9121_CR5","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/s10710-009-9082-5","volume":"10","author":"L. Beadle","year":"2009","unstructured":"L. Beadle, C.G. Johnson, Semantic analysis of program initialisation in genetic programming. Genet. Program. Evol. Mach. 10(3), 307\u2013337 (2009)","journal-title":"Genet. Program. Evol. Mach."},{"key":"9121_CR6","doi-asserted-by":"crossref","unstructured":"L. Beadle, C. G. Johnson, Semantically driven mutation in genetic programming. in 2009 IEEE Congress on Evolutionary Computation, ed. by A. Tyrrell (IEEE Computational Intelligence Society, IEEE Press, Trondheim, Norway, 18\u201321 May 2009), pp. 1336\u20131342","DOI":"10.1109\/CEC.2009.4983099"},{"key":"9121_CR7","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"C-35","author":"R.E. Bryant","year":"1986","unstructured":"R.E. Bryant, Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comp. C-35, 677\u2013691 (1986)","journal-title":"IEEE Trans. Comp."},{"issue":"1","key":"9121_CR8","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1109\/TEVC.2003.819263","volume":"8","author":"E.K. Burke","year":"2004","unstructured":"E.K. Burke, S. Gustafson, G. Kendall, Diversity in genetic programming: an analysis of measures and correlation with fitness. IEEE Trans. Evol. Comput. 8(1), 47\u201362 (2004)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9121_CR9","unstructured":"R. Cleary, M. O\u2019Neill, Solving knapsack problems with attribute grammars, in Proceedings of the Grammatical Evolution Workshop, 2004"},{"key":"9121_CR10","doi-asserted-by":"crossref","unstructured":"R. Cleary, M. O\u2019Neill, in Proceedings of the Evolutionary Computation in Combinatorial Optimization. An attribute grammar decoder for the 01 multi-constrained knapsack problem (Springer, Berlin, 2005), pp. 34\u201345","DOI":"10.1007\/978-3-540-31996-2_4"},{"key":"9121_CR11","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1016\/S0022-5371(69)80069-1","volume":"8","author":"A.M. Collins","year":"1969","unstructured":"A.M. Collins, M.R. Quillian, Retrieval time from semantic memory. J. Verbal Learn.Verbal Behav. 8, 240\u2013247 (1969)","journal-title":"J. Verbal Learn.Verbal Behav."},{"key":"9121_CR12","unstructured":"J.M. Daida, D.S. Ampy, M. Ratanasavetavadhana, H. Li, O. Chaudhri, in Proceedings of the Genetic and Evolutionary Computation Conference, (GECCO\u20191999). Challenges with verification, repeatability, and meaningful comparison in genetic programming: Gibson\u2019s magic (Morgan Kaufmann, 1999), pp. 1851\u20131858"},{"key":"9121_CR13","doi-asserted-by":"crossref","unstructured":"M. de la Cruz Echeand\u2019a, A.O. de la Puente, M. Alfonseca, in Proceedings of the IWINAC 2005. Attribute grammar evolution (Springer, Berlin, 2005), pp. 182\u2013191","DOI":"10.1007\/11499305_19"},{"key":"9121_CR14","unstructured":"K. Deb, H.G. Beyer, in Proceedings of the Genetic and Evolutionary Computation Conference. Self-adaptation in real-parameter genetic algorithms with simulated binary crossover (Morgan Kaufmann, July 1999), pp. 172\u2013179"},{"key":"9121_CR15","doi-asserted-by":"crossref","unstructured":"E. Galvan-Lopez, M. O\u2019Neill, in CIG. On the effects of locality in a permutation problem: the sudoku problem (IEEE, 2009)","DOI":"10.1109\/CIG.2009.5286491"},{"key":"9121_CR16","doi-asserted-by":"crossref","unstructured":"E. Galvan-Lopez, M. O\u2019Neill, in MICAI, Lecture Notes in Computer Science. Towards understanding the effects of locality in genetic programming (Springer, Berlin, 2009)","DOI":"10.1109\/MICAI.2009.17"},{"key":"9121_CR17","unstructured":"J. Gottlieb, G. Raidl, in Proceedings of the Genetic and Evolutionary Computation Conference. The effects of locality on the dynamics of decoder-based evolutionary search (ACM, 2000), p. 283\u2013290"},{"key":"9121_CR18","doi-asserted-by":"crossref","unstructured":"S. Gustafson, E.K. Burke, N. Krasnogor, in Proceedings of the 2005 IEEE Congress on Evolutionary Computation. On improving genetic programming for symbolic regression, vol. 1. (IEEE Press, Edinburgh, 2005), pp. 912\u2013919","DOI":"10.1109\/CEC.2005.1554780"},{"key":"9121_CR19","unstructured":"S. Hengpraprohm, P. Chongstitvatana, in Proceedings of ISCIT International Symposium on Communications and Information Technologies. Selective crossover in genetic programming, Nov 2001, pp. 14\u201316"},{"key":"9121_CR20","doi-asserted-by":"crossref","unstructured":"N.X. Hoai, R. McKay, D. Essam, in Proceedings of the 2002 Congress on Evolutionary Computation (CEC2002). Solving the symbolic regression problem with tree-adjunct grammar guided genetic programming: the comparative results (IEEE Press, 2002), pp. 1326\u20131331","DOI":"10.1109\/CEC.2002.1004435"},{"issue":"2","key":"9121_CR21","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TEVC.2006.871252","volume":"10","author":"N.X. Hoai","year":"2006","unstructured":"N.X. Hoai, R.I. McKay, D. Essam, Representation and structural difficulty in genetic programming. IEEE Trans. Evol. Comput. 10(2), 157\u2013166 (2006)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9121_CR22","doi-asserted-by":"crossref","unstructured":"N.X. Hoai, R.I.B. McKay, D. Essam, H. Abbass, in Genetic Programming 7th European Conference, EuroGP 2004, Proceedings, vol. 3003 of LNCS, ed. by M. Keijzer, U.-M. O\u2019Reilly, S.M. Lucas, E. Costa, T. Soule, Toward an alternative comparison between different genetic programming systems (Springer, Berlin, 2004), pp. 67\u201377","DOI":"10.1007\/978-3-540-24650-3_7"},{"key":"9121_CR23","unstructured":"T.-H. Hoang, D. Essam, R.I.B. McKay, X.H. Nguyen, in Proceedings of the 2007 International Symposium on Intelligent Computation and Applications (ISICA). Building on success in genetic programming:adaptive variation & developmental evaluation (China University of Geosciences Press, Wuhan, China, Sep 2007)"},{"key":"9121_CR24","doi-asserted-by":"crossref","unstructured":"T. Ito, H. Iba, S. Sato, in Proceedings of the 1998 IEEE World Congress on Computational Intelligence. Depth-dependent crossover for genetic programming (IEEE Press, May 1998), pp. 775\u2013780","DOI":"10.1007\/BFb0055929"},{"key":"9121_CR25","unstructured":"T. Ito, H. Iba, S. Sato, in Advances in Genetic Programming. A self-tuning mechanism for depth-dependent crossover (IEEE Press, June 1999), pp. 377\u2013399"},{"key":"9121_CR26","unstructured":"C. Johnson, in Proceedings of the 4th European Conference on Genetic Programming (EuroGP2002). Deriving genetic programming fitness properties by static analysis (Springer, Berlin, 2002), pp. 299\u2013308"},{"key":"9121_CR27","unstructured":"C. Johnson, in Recent Advances in Soft Computing. Genetic programming with guaranteed constraints (The Nottingham Trent University, UK, 2002), pp. 134\u2013140"},{"key":"9121_CR28","unstructured":"C. Johnson, in Proceedings of the UK Workshop on Computational Intelligence. What can automatic programming learn from theoretical computer science (University of Birmingham, Birmingham, 2002)"},{"key":"9121_CR29","doi-asserted-by":"crossref","unstructured":"C. Johnson, in Proceedings of the 10th European Conference on Genetic Programming (EuroGP2002). Genetic programming with fitness based on model checking (Springer, Berlin, 2007), pp. 114\u2013124","DOI":"10.1007\/978-3-540-71605-1_11"},{"key":"9121_CR30","doi-asserted-by":"crossref","unstructured":"C. Johnson, in Proceedings of the 12th European Conference on Genetic Programming (EuroGP2009). Genetic programming crossover: Does it cross over? (Springer, Berlin, 2009), pp. 97\u2013108","DOI":"10.1007\/978-3-642-01181-8_9"},{"key":"9121_CR31","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-88387-6_5","volume":"5311","author":"G. Katz","year":"2008","unstructured":"G. Katz, D. Peled, Genetic programming and model checking: Synthesizing new mutual exclusion algorithms. Automated technology for verification and analysis. Lect. Notes Comput. Sci. 5311, 33\u201347 (2008)","journal-title":"Lect. Notes Comput. Sci."},{"key":"9121_CR32","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/978-3-540-78800-3_11","volume":"4963","author":"G. Katz","year":"2008","unstructured":"G. Katz, D. Peled, Model checking-based genetic programming with an application to mutual exclusion. Tools Algorithm. Constr. Anal. Syst. 4963, 141\u2013156 (2008)","journal-title":"Tools Algorithm. Constr. Anal. Syst."},{"key":"9121_CR33","doi-asserted-by":"crossref","unstructured":"M. Keijzer, in Proceedings of EuroGP\u20192003. Improving symbolic regression with interval arithmetic and linear scaling, Springer, Berlin, April 2003), pp. 70\u201382","DOI":"10.1007\/3-540-36599-0_7"},{"key":"9121_CR34","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/BF01692511","volume":"2","author":"D. Knuth","year":"1968","unstructured":"D. Knuth, Semantics of context-free languages. Math. Syst. Theory. 2 95 (1968)","journal-title":"Math. Syst. Theory"},{"key":"9121_CR35","volume-title":"Genetic Programming: On the Programming of Computers by Natural Selection","author":"J. Koza","year":"1992","unstructured":"J. Koza, Genetic Programming: On the Programming of Computers by Natural Selection (MIT Press, Cambridge, 1992)"},{"key":"9121_CR36","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"J.R. Koza","year":"1992","unstructured":"J.R. Koza, Genetic Programming: On the Programming of Computers by Means of Natural Selection (The MIT Press, Cambridge, 1992)"},{"key":"9121_CR37","doi-asserted-by":"crossref","unstructured":"K. Krawiec, P. Lichocki, in Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Qu\u00e9bec, Canada, July 8\u201312, 2009, ed. by F. Rothlauf. Approximating geometric crossover in semantic space (ACM, New York, 2009), pp. 987\u2013994","DOI":"10.1145\/1569901.1570036"},{"key":"9121_CR38","doi-asserted-by":"crossref","unstructured":"K. Krawiec, B. Wieloch, in GECCO \u201909: Proceedings of the 11th Annual conference on Genetic and evolutionary computation. Functional modularity for genetic programming (ACM, Montreal, July 2009), pp. 995\u20131002","DOI":"10.1145\/1569901.1570037"},{"key":"9121_CR39","unstructured":"W.B. Langdon, in Proceedings of the Genetic and Evolutionary Computation Conference. Size fair and homologous tree genetic programming crossovers (Morgan Kaufmann, July 1999), pp. 1092\u20131097"},{"key":"9121_CR40","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04726-2","volume-title":"Foundations of Genetic Programming","author":"W.B. Langdon","year":"2002","unstructured":"W. B. Langdon, R. Poli, Foundations of Genetic Programming (Springer, Berlin, 2002)"},{"key":"9121_CR41","doi-asserted-by":"crossref","unstructured":"H. Majeed, C. Ryan, in Proceedings of the 9th European Conference on Genetic Programming. A less destructive, context-aware crossover operator for gp, Lecture Notes in Computer Science (Springer, Berlin, April 2006), pp. 36\u201348","DOI":"10.1007\/11729976_4"},{"key":"9121_CR42","doi-asserted-by":"crossref","unstructured":"H. Majeed, C. Ryan, in Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation (GECCO). On the constructiveness of context-aware crossover (ACM Press, New York, July 2007), pp. 1659\u20131666","DOI":"10.1145\/1276958.1277286"},{"key":"9121_CR43","doi-asserted-by":"crossref","unstructured":"N. McPhee, B. Ohs, T. Hutchison, in Proceedings of 11th European Conference on Genetic Programming. Semantic building blocks in genetic programming (Springer, Berlin, 2008) , pp. 134\u2013145","DOI":"10.1007\/978-3-540-78671-9_12"},{"issue":"3","key":"9121_CR44","doi-asserted-by":"crossref","first-page":"237","DOI":"10.20965\/jaciii.2009.p0237","volume":"13","author":"N. Mori","year":"2009","unstructured":"N. Mori, B. McKay, N.X. Hoai, D. Essam, S. Takeuchi, A new method for simplifying algebraic expressions in genetic programming called equivalent decision simplification. J. Adv. Comput. Intell. Intell. Inform. 13(3), 237\u2013244 (2009)","journal-title":"J. Adv. Comput. Intell. Intell. Inform."},{"key":"9121_CR45","volume-title":"Principles of Program Analysis","author":"F. Nielson","year":"2005","unstructured":"F. Nielson, H.R. Nielson, C. Hankin, Principles of Program Analysis. (Springer, Berlin, 2005)"},{"key":"9121_CR46","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-84628-692-6","volume-title":"Semantics with Applications: An Appetizer","author":"H.R. Nielson","year":"2007","unstructured":"H.R. Nielson, F. Nielson, Semantics with Applications: An Appetizer (Springer, London, 2007)"},{"issue":"1","key":"9121_CR47","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/3-540-58484-6_283","volume":"866","author":"U.M. O\u2019Reilly","year":"1994","unstructured":"U.M. O\u2019Reilly, F. Oppacher, Program search with a hierarchical variable length representation: genetic programming, simulated annealing and hill climbing. Lect. Notes Comput. Sci. 866(1), 397\u2013406 (1994)","journal-title":"Lect. Notes Comput. Sci."},{"key":"9121_CR48","doi-asserted-by":"crossref","unstructured":"R. Poli, W.B. Langdon, in Proceedings of Soft Computing in Engineering Design and Manufacturing Conference. Genetic programming with one-point crossover (Springer, Berlin, June 1997), pp. 180\u2013189","DOI":"10.1007\/978-1-4471-0427-8_20"},{"key":"9121_CR49","unstructured":"R. Poli, W.B. Langdon, N.F. McPhee, A Field Guide to Genetic Programming. Published via http:\/\/lulu.com and freely available at http:\/\/www.gp-field-guide.org.uk , 2008. (With contributions by J. R. Koza)."},{"issue":"4","key":"9121_CR50","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/BF03037572","volume":"19","author":"B.J. Ross","year":"2001","unstructured":"B.J. Ross, Logic-based genetic programming with definite clause translation grammars. New Gen. Comput. 19(4), 313\u2013337 (2001)","journal-title":"New Gen. Comput."},{"key":"9121_CR51","volume-title":"Representations for Genetic and Evolutionary Algorithms","author":"F. Rothlauf","year":"2006","unstructured":"F. Rothlauf, Representations for Genetic and Evolutionary Algorithms, 2nd edn. (Springer, Berlin, 2006)","edition":"2"},{"issue":"4","key":"9121_CR52","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1162\/106365603322519288","volume":"11","author":"F. Rothlauf","year":"2003","unstructured":"F. Rothlauf, D. Goldberg, Redundant representations in evolutionary algorithms. Evol. Comput. 11(4), 381\u2013415 (2003)","journal-title":"Evol. Comput."},{"key":"9121_CR53","doi-asserted-by":"crossref","unstructured":"F. Rothlauf, M. Oetzel, in Proceedings of the 9th European Conference on Genetic Programming. On the locality of grammatical evolution, lecture notes in computer science (Springer, Berlin, April 2006), pp. 320\u2013330","DOI":"10.1007\/11729976_29"},{"issue":"2","key":"9121_CR54","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1162\/evco.1997.5.2.123","volume":"5","author":"R.P. Salustowicz","year":"1997","unstructured":"R.P. Salustowicz, J. Schmidhuber, Probabilistic incremental program evolution. Evol. Comput. 5(2), 123\u2013141 (1997)","journal-title":"Evol. Comput."},{"key":"9121_CR55","unstructured":"W.A. Tackett, Selection, and the Genetic Construction of Computer Programs. PhD thesis, University of Southern California, USA, 1994"},{"key":"9121_CR56","unstructured":"W.A. Tackett, A. Carmi, in Proceedings of the 1994 IEEE World Congress on Computational Intelligence. The unique implications of brood selection for genetic programming (IEEE Press, Orlando, Florida, USA, 27\u201329 June 1994)"},{"key":"9121_CR57","doi-asserted-by":"crossref","unstructured":"N.Q. Uy, N.X. Hoai, M. O\u2019Neill, in Proceedings of EuroGP09. Semantic aware crossover for genetic programming: the case for real-valued function regression (Springer, Berlin, April 2009), pp. 292\u2013302.","DOI":"10.1007\/978-3-642-01181-8_25"},{"key":"9121_CR58","unstructured":"M.L. Wong, K.S. Leung, in Proceedings of the 7th IEEE International Conference on Tools with Artificial Intelligence. An induction system that learns programs in different programming languages using genetic programming and logic grammars (1995)"},{"key":"9121_CR59","doi-asserted-by":"crossref","unstructured":"M.L. Wong, K.S. Leung, in Proceedings of the Fourth Congress of the Italian Association for Artificial Intelligence. Learning programs in different paradigms using genetic programming (Springer, Berlin, 1995)","DOI":"10.1007\/3-540-60437-5_35"},{"key":"9121_CR60","doi-asserted-by":"crossref","unstructured":"P. Wong, M. Zhang, 2008 IEEE World Congress on Computational Intelligence, ed. by J. Wang. SCHEME: caching subtrees in genetic programming (IEEE Computational Intelligence Society, IEEE Press, Hong Kong, 1\u20136 June 2008)","DOI":"10.1109\/CEC.2008.4631158"}],"container-title":["Genetic Programming and Evolvable Machines"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-010-9121-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10710-010-9121-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-010-9121-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,23]],"date-time":"2025-02-23T15:48:04Z","timestamp":1740325684000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10710-010-9121-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,30]]},"references-count":60,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,6]]}},"alternative-id":["9121"],"URL":"https:\/\/doi.org\/10.1007\/s10710-010-9121-2","relation":{},"ISSN":["1389-2576","1573-7632"],"issn-type":[{"value":"1389-2576","type":"print"},{"value":"1573-7632","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,30]]}}}