Evolutionary search in inductive equational logic programming

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

  author =       "Lutz H. Hamel",
  title =        "Evolutionary search in inductive equational logic
  booktitle =    "Proceedings of the 2003 Congress on Evolutionary
                 Computation CEC2003",
  editor =       "Ruhul Sarker and Robert Reynolds and 
                 Hussein Abbass and Kay Chen Tan and Bob McKay and Daryl Essam and 
                 Tom Gedeon",
  pages =        "2426--2433",
  year =         "2003",
  publisher =    "IEEE Press",
  address =      "Canberra",
  publisher_address = "445 Hoes Lane, P.O. Box 1331, Piscataway, NJ
                 08855-1331, USA",
  month =        "8-12 " # dec,
  organisation = "IEEE Neural Network Council (NNC), Engineers Australia
                 (IEAust), Evolutionary Programming Society (EPS),
                 Institution of Electrical Engineers (IEE)",
  keywords =     "genetic algorithms, genetic programming",
  ISBN =         "0-7803-7804-0",
  annote =       "The Pennsylvania State University CiteSeerX Archives",
  bibsource =    "OAI-PMH server at citeseerx.ist.psu.edu",
  language =     "en",
  oai =          "oai:CiteSeerX.psu:",
  rights =       "Metadata may be used without restrictions as long as
                 the oai identifier remains attached to it.",
  URL =          "http://citeseerx.ist.psu.edu/viewdoc/summary?doi=",
  URL =          "http://homepage.cs.uri.edu/faculty/hamel/pubs/cec2003-hamel.pdf",
  abstract =     "Concept learning is the induction of a description
                 from a set of examples. Inductive logic programming can
                 be considered a special case of the general notion of
                 concept learning specifically referring to the
                 induction of first-order theories. Both concept
                 learning and inductive logic programming can be seen as
                 a search over all possible sentences in some
                 representation language for sentences that correctly
                 explain the examples and also generalise to other
                 sentences that are part of that concept. In this paper
                 we explore inductive logic programming with equational
                 logic as the representation language. We present a
                 high-level overview of the implementation of inductive
                 equational logic using genetic programming and discuss
                 encouraging results based on experiments that are
                 intended to emulate real world scenarios.",
  notes =        "CEC 2003 - A joint meeting of the IEEE, the IEAust,
                 the EPS, and the IEE.",

Genetic Programming entries for Lutz Hamel