The Use of Data-Mining for the Automatic Formation of Tactics
Created by W.Langdon from
gp-bibliography.bib Revision:1.8081
- @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