The Use of Data-Mining for the Automatic Formation of Tactics

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

  author =       "Hazel Duncan and Alan Bundy and John Levine and 
                 Amos Storkey and Martin Pollet",
  title =        "The Use of Data-Mining for the Automatic Formation of
  booktitle =    "Computer-Supported Mathematical Theory Development",
  year =         "2004",
  editor =       "Christoph Benzmueller and Wolfgang Windsteiger",
  number =       "04-14",
  series =       "RISC Report Series",
  month =        jul # " 5",
  pages =        "61--71",
  address =      "Cork, Ireland",
  organisation = "RISC Institute, University of Linz",
  note =         "Proceedings of the first ``Workshop on
                 Computer-Supported Mathematical Theory Development''
                 held in the frame of IJCAR'04 Available at
  keywords =     "genetic algorithms, genetic programming",
  isbn13 =       "3-902276-04-5",
  annote =       "The Pennsylvania State University CiteSeerX Archives",
  bibsource =    "OAI-PMH server at",
  language =     "en",
  oai =          "oai:CiteSeerX.psu:",
  rights =       "Metadata may be used without restrictions as long as
                 the oai identifier remains attached to it.",
  URL =          "",
  URL =          "",
  size =         "11 pages",
  abstract =     "The aim of this project is to evaluate the
                 applicability of data-mining techniques to the
                 automatic formation of tactics from large corpuses of
                 proofs. We data-mine information from large proof
                 corpuses to find commonly occurring patterns. These
                 patterns are then evolved into tactics using genetic
                 programming techniques",

Genetic Programming entries for Hazel Duncan Alan Bundy John Levine Amos Storkey Martin Pollet