Breeding Algebraic Structures---An Evolutionary Approach To Inductive Equational Logic Programming

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

@InProceedings{hamel:2002:gecco,

• author = "Lutz Hamel",
• title = "Breeding Algebraic Structures---An Evolutionary Approach To Inductive Equational Logic Programming",
• booktitle = "GECCO 2002: Proceedings of the Genetic and Evolutionary Computation Conference",
• editor = "W. B. Langdon and E. Cant{\'u}-Paz and K. Mathias and R. Roy and D. Davis and R. Poli and K. Balakrishnan and V. Honavar and G. Rudolph and J. Wegener and L. Bull and M. A. Potter and A. C. Schultz and J. F. Miller and E. Burke and N. Jonoska",
• year = "2002",
• pages = "748--755",
• address = "New York",
• publisher_address = "San Francisco, CA 94104, USA",
• month = "9-13 " # jul,
• publisher = "Morgan Kaufmann Publishers",
• keywords = "genetic algorithms, genetic programming, algebraic specification, concept learning, equational logic, inductive logic programming",
• URL = "http://homepage.cs.uri.edu/faculty/hamel/pubs/gecco2002.pdf",
• URL = "http://gpbib.cs.ucl.ac.uk/gecco2002/GP034.pdf",
• URL = "http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/gecco2002/gecco-2002-14.pdf",
• ISBN = "1-55860-878-8",
• size = "8 pages",
• 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 conceptlearning 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. we explore inductive logic programming with equational logic as the representation language and genetic programming as the underlying search paradigm. Equational logic is the logic of substituting equals for equals with algebras as models and term rewriting as operational semantics.",
• notes = "GECCO-2002. A joint meeting of the eleventh International Conference on Genetic Algorithms (ICGA-2002) and the seventh Annual Genetic Programming Conference (GP-2002)",

}

Genetic Programming entries for Lutz Hamel

Citations