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

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

@InProceedings{Duncan:2004:IJCAR_WS7,
  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
                 Tactics",
  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
                 http://www.risc.uni-linz.ac.at/about/conferences/IJCAR-WS7/.",
  keywords =     "genetic algorithms, genetic programming",
  isbn13 =       "3-902276-04-5",
  annote =       "The Pennsylvania State University CiteSeerX Archives",
  bibsource =    "OAI-PMH server at citeseerx.ist.psu.edu",
  language =     "en",
  oai =          "oai:CiteSeerX.psu:10.1.1.305.1991",
  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=10.1.1.305.1991",
  URL =          "https://www.risc.jku.at/conferences/IJCAR-WS7/html-files/IJCAR-WS7.pdf",
  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

Citations