An interpolation based crossover operator for genetic programming

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

@InProceedings{Aleb:2013:GECCOcomp,
  author =       "Nassima Aleb and Samir Kechid",
  title =        "An interpolation based crossover operator for genetic
                 programming",
  booktitle =    "GECCO '13 Companion: Proceeding of the fifteenth
                 annual conference companion on Genetic and evolutionary
                 computation conference companion",
  year =         "2013",
  editor =       "Christian Blum and Enrique Alba and 
                 Thomas Bartz-Beielstein and Daniele Loiacono and 
                 Francisco Luna and Joern Mehnen and Gabriela Ochoa and 
                 Mike Preuss and Emilia Tantar and Leonardo Vanneschi and 
                 Kent McClymont and Ed Keedwell and Emma Hart and 
                 Kevin Sim and Steven Gustafson and 
                 Ekaterina Vladislavleva and Anne Auger and Bernd Bischl and Dimo Brockhoff and 
                 Nikolaus Hansen and Olaf Mersmann and Petr Posik and 
                 Heike Trautmann and Muhammad Iqbal and Kamran Shafi and 
                 Ryan Urbanowicz and Stefan Wagner and 
                 Michael Affenzeller and David Walker and Richard Everson and 
                 Jonathan Fieldsend and Forrest Stonedahl and 
                 William Rand and Stephen L. Smith and Stefano Cagnoni and 
                 Robert M. Patton and Gisele L. Pappa and 
                 John Woodward and Jerry Swan and Krzysztof Krawiec and 
                 Alexandru-Adrian Tantar and Peter A. N. Bosman and 
                 Miguel Vega-Rodriguez and Jose M. Chaves-Gonzalez and 
                 David L. Gonzalez-Alvarez and 
                 Sergio Santander-Jimenez and Lee Spector and Maarten Keijzer and 
                 Kenneth Holladay and Tea Tusar and Boris Naujoks",
  isbn13 =       "978-1-4503-1964-5",
  keywords =     "genetic algorithms, genetic programming",
  pages =        "1107--1112",
  month =        "6-10 " # jul,
  organisation = "SIGEVO",
  address =      "Amsterdam, The Netherlands",
  DOI =          "doi:10.1145/2464576.2482689",
  publisher =    "ACM",
  publisher_address = "New York, NY, USA",
  abstract =     "This paper presents a new crossover operator for
                 genetic programming. We exploit two concepts of formal
                 methods: Weakest precondition and Craig interpolation,
                 to perform semantically aware crossover. Weakest
                 preconditions are used to locate faulty parts of a
                 program and Craig interpolation is used to correct
                 these ones.",
  notes =        "Also known as \cite{2482689} Distributed at
                 GECCO-2013.",
}

Genetic Programming entries for Nassima Aleb Samir Kechid

Citations