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

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

@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