Simon Colton's Publications | ||
| Co-authors | ||
|
Alan Bundy Toby Walsh Alison Pease Alan Smaill Roy McCasland Geoff Sutcliffe John Lee Andreas Meier Graham Steel Ian Miguel Sophie Huczynska Volker Sorge Alan Frisch Andreas Franke Dan Winterstein Daniel Kudenko Eduardo Alonso Graeme Ritchie Jürgen Zimmer Kostas Stathis Louise Dennis Luc Moreau Lyndon Drake Michael Schroeder Pablo Gervás Stephen Cresswell Stephen Muggleton Yi Gao Ramon Otero Murray Shanahan Ning Jiang Pedro Torres John Charnley Marc Hull Daniel Wagner Robin Baumgarten Paul Cairns Derek Magee Paulo Santos Paul Crook Ferdinand Hoermann |
||
S. Colton:
"Automated Theory Formation in Pure Mathematics".
Springer-Verlag, 2002. ISBN 1852336099.
S. Colton:
Interactive Photos
Digital Photo User, pages
59-60, February 2002
S. Colton:
Armchair Photography
Digital Photo User, pages
71-72, November 2001
S. Colton: (on behalf of the SSAISB commitee)
Cyborg off his
Christmas Tree
Times Higher Education Supplement, page 14, December 22nd,
2000.
S. Colton:
Look at that figure
Times Higher Education
Supplement, page 22, January 26th, 2001.
S. Colton:
Putting it all together - the Calculemus Project
AISB Quarterly.
S. Colton: "Using Computers in Mathematics and Calculating Minimum
Distances of Error Correcting Codes",
MSc. Dissertation, Dept. of Pure
Mathematics, University of Liverpool, 1996.
S. Colton and P. Gervás:
"Creativity in Arts and
Science"
Journal of Artificial Intelligence and the Simulation
of Behaviour (AISBJ), Vol 1(4), pages 349-350, 2003.
E. Alonso, S. Colton, D. Kudenko, L. Moreau, M.
Schroeder and K. Stathis:
"Special Issue on Agent Technology"
Journal of Artificial Intelligence and the Simulation of Behaviour (AISBJ),Vol 1(1), pages 1-4, 2001.
V. Sorge, S. Colton, R. McCasland and A. Meier
"Classification Results in Quasigroup and Loop theory
via a Combination of Automated Reasoning Tools"
Accepted for Commentationes Mathematicae Universitatis Carolinae,
forthcoming, 2007.
S. Colton, M. Shanahan and J. Charnley
"Combining Automated Reasoning Systems using Global Workspace
Architectures"
Submitted to Artificial Intelligence (special issue in honour of
John McCarthy's 80th birthday), 2007.
V. Sorge, A. Meier, R. McCasland and S. Colton
"Automatic Construction and Verification of Isotopy Invariants"
Accepted for the Journal of Automated Reasoning, forthcoming early 2008.
S. Colton and S. Muggleton: "Mathematical Applications of Inductive Logic Programming" Machine Learning, 64:25-64, 2006. [ pdf ]
S. Colton: "Automated Conjecture Making in Number Theory using HR, Otter and Maple"
Journal of Symbolic Computation, Vol 39(5), 593-615, 2005.
[
pdf
]
S. Colton: "An Application-based Comparison of Automated
Theory Formation and Inductive Logic Programming"
Electronic Transactions on Artificial Intelligence, Vol 4, section B, 97-117,
(special issue: Selected papers from Machine Intelligence 17), 2000.
[
pdf
]
S. Colton, A. Bundy and T. Walsh: "On the Notion of
Interestingness in Automated Mathematical Discovery"
International Journal of Human Computer Studies, Vol 53. No. 3,
351-375, 2000.
[
pdf
]
S. Colton: "Refactorable Numbers - A Machine
Invention"
Journal of Integer Sequences, Vol 2, 99.1.2, 1999.
[
pdf
]
S. Colton and G. Steel: "Artificial Intelligence and Scientific
Creativity"
Artificial Intelligence and the Study of Behaviour
Quarterly, Vol. 102, 1999.
[
pdf
]
S. Colton
"Creativity versus the Perception of Creativity in Computational
Systems"
To appear in the proceedings of the AAAI Spring Symposium on Creative
Systems, 2008.
R. Baumgarten and S. Colton
"Case-based Player Simulation for the Commercial Strategy Game
DEFCON"
In the Proceedings of CGames, 2007.
S. Colton and D. Wagner
"Using Formal Concept Analysis in Mathematical Discovery"
Proceedings of the Conference on Mathematical Knowledge
Management, 2007.
J. Charnley, S. Colton and I. Miguel
"Automatic Generation of Implied Constraints"
Proceedings of the 17th European Conference
on Artificial Intelligence, 2006.
[
pdf
]
N. Jiang and S. Colton
"Boosting Descriptive ILP for Predictive Learning"
Proceedings of 2006 Conference on Inductive Logic Programming.
V. Sorge, A. Meier, R. McCasland and S. Colton
"The Automatic Construction of Isotopy Invariants"
Proceedings of the Third International
Joint Conference on Automated Reasoning, 2006.
[
pdf
]
V. Sorge, A. Meier, R. McCasland and S. Colton
"Integrating AI Systems for Mathematical Discovery"
Proceedings of the 13th Symposium on the Integration
of Symbolic Computation and Mechanized Reasoning, 2006.
S. Colton, P. Torres, P. Cairns and V. Sorge
"Managing Automatically Formed Mathematical Theories"
Proceedings of the 5th International Conference
on Mathematical Knowledge Management, 2006. Springer LNAI
volume 4108.
[
pdf
]
P. Santos, S. Colton and D. Magee
"Predictive and Descriptive Approaches to Learning Game Rules from Vision Data"
Proceedings of the 10th Ibero-American Artificial Intelligence Conference, 2006.
[
pdf
]
S. Colton, A. Meier, V. Sorge and R. McCasland
"Automatic
Generation of Classification Theorems for Finite Algebras"
In Proceedings of the International Joint Conference on
Automated Reasoning, 2004.
[
pdf
]
A. Pease, S. Colton, A. Smaill, J. Lee
"A Model of Lakatos's Philosophy of
Mathematics"
In Proceedings of Computing and Philosophy, 2004.
[
pdf
]
S. Colton and S. Muggleton: "ILP for Mathematical
Discovery"
In Proceedings of the 13th International
Conference on
Inductive Logic Programming, 2003.
[
pdf
]
S. Colton and S. Huczynska: "The Homer System"
In Proceedings of CADE-19, 2003.
[
ps
pdf
dvi
]
S. Colton: "Making Conjectures about Maple
Functions"
In proceedings of AISC/Calculemus'02, LNAI 2385, Springer.
[
ps
pdf
dvi
]
A. Meier, V. Sorge and S. Colton: "Employing Theory Formation to
Guide Proof Planning"
In proceedings of AISC/Calculemus'02,
LNAI 2385, Springer.
[
ps
pdf
dvi
]
S. Colton: "The HR Program for Theorem
Generation"
Proceedings of CADE'02, Copenhagen, Denmark, 2002.
[
ps
pdf
dvi
]
S. Colton: "Automated Puzzle Generation",
Proceedings
of the AISB'02 Symposium on AI and Creativity in the Arts and Science,
Imperial College,
London, 2002.
[
ps
pdf
dvi
]
S. Colton and L. Dennis: "The NumbersWithNames
Program",
Proceedings of the Seventh AI and Maths Symposium, Fort
Lauderdale, FL, 2002.
[
ps
pdf
]
S. Colton and G. Sutcliffe: "Automatic Generation of Benchmark
Problems for Automated Theorem Proving Systems",
Proceedings of the
Seventh AI and Maths Symposium, Fort Lauderdale, FL, 2002.
[
ps
pdf
]
S. Colton and I. Miguel: "Constraint Generation via Automated Theory
Formation"
Proceedings of the Seventh International Conference on the
Principles and Practice of Constraint Programming, Cyprus, 2001.
[
ps
pdf
html
]
A. Pease, S. Colton, A. Smaill and J. Lee: "A Multi-agent Approach to
Modelling Interaction in Human Mathematical Reasoning"
Proceedings of
Intelligent Agent Technology, Maebashi City, Japan, 2001.
[
ps
pdf
]
S. Colton: "Experiments in Meta-theory Formation"
Proceedings of the AISB'01 Symposium on AI and Creativity in Arts and
Science, York 2001.
[
ps
pdf
dvi
html
]
S. Colton, A. Bundy and T. Walsh: "Automatic Invention of Integer
Sequences"
Proceedings of AAAI-2000, Austin Texas, 2000.
[
ps
pdf
dvi
html
]
S. Colton, A. Bundy and T. Walsh: "Automatic Identification of
Mathematical Concepts"
Proceedings of ICML-2000, Stanford, CA, 2000.
[
ps
pdf
dvi
html
]
S. Colton, A. Bundy and T. Walsh: "Agent Based Cooperative Theory
Formation in Pure Mathematics"
Proceedings of the AISB'00 Symposium on
Creative and Cultural Aspects and Applications
of AI and Cognitive Science,
2000.
[
ps
pdf
dvi
html
]
G. Steel, S. Colton, A. Bundy and T.Walsh: "Cross Domain
Mathematical Concept Formation"
Proceedings of the AISB'00 Symposium on
Creative and Cultural Aspects and Applications
of AI and Cognitive Science,
2000.
[
ps
pdf
]
S. Colton and A. Bundy: "On the Notion of Interestingness in
Automated Mathematical Discovery"
Proceedings of the AISB'99 Symposium
on AI and Scientific Discovery, Edinburgh, UK, 1999.
[
ps
pdf
dvi
html
]
S. Colton, A. Bundy and T. Walsh: "Automatic Concept Formation in
Pure Mathematics"
Proceedings of IJCAI-99, Stockholm, Sweden, 1999.
[
ps
pdf
dvi
html
]
S. Colton: "HR - Automatic Concept Formation in Finite
Algebras"
Doctoral Consortium Abstracts, Proceedings of AAAI-98, Madison,
Wisconsin, USA, 1998.
[
ps
pdf
dvi
html
]
S. Colton, S. Cresswell and A. Bundy: "The Use of Classification in
Automated Mathematical Concept Formation"
Proceedings of Similarity and
Categorisation (SimCat97), Edinburgh, UK, 1997.
[
ps
pdf
dvi
html
]
N. Jiang and S. Colton
"Boosting Descriptive ILP for Predictive Learning"
In the Poster Proceedings of ILP'06.
P. Torres and S. Colton
"Towards Meta-level Descriptive ILP"
In the Poster Proceedings of ILP'06.
V. Sorge, S. Colton, A. Meier and R. McCasland
"A Grid-based Application of Machine Learning to Model Generation"
In the Poster Proceedings of KI'04.
[
ps
pdf
]
S. Colton and A. Pease " Lakatos-style Automated Theorem Modification "
In the Poster Proceedings of ECAI, 2004
[
ps
pdf
]
S. Colton: "HR - Automatic Concept Formation in Finite
Algebras"
Doctoral Consortium Abstracts, Proceedings of AAAI-98, Madison,
Wisconsin, USA, 1998.
[
ps
pdf
dvi
html
]
S. Colton
"Automatic Invention of Fitness Functions, with application
to Scene Generation"
Accepted for to the EvoMusArt workshop,
forthcoming, 2008.
M. Hull and S. Colton
"Towards a General Framework for Program Generation in Creative
Domains"
[
pdf
]
Proceedings of the 4th International Joint Workshop on Computational
Creativity, 2007.
J. Charnley and S. Colton
"Prediction using Machine Learned Constraint Satisfaction Programs"
In proceedings of the Automated Reasoning Workshop, 2007.
P. Torres and S. Colton
"Proving Producibility of Concepts"
In proceedings of the Automated Reasoning Workshop, 2007.
J. Charnley and S. Colton
"Expressing General Problems as CSPs"
In Proceedings of the ECAI'06 workshop on Modelling and Solving Problems with Constraints, 2006.
[
pdf
]
J. Charnley, S. Colton and I. Miguel
"Automated Reformulation of Constraint Satisfaction Problems"
In proceedings of the Automated Reasoning Workshop, 2006.
[
pdf
]
P. Torres and S. Colton
"Using Model Generation in Automated Concept Formation"
In proceedings of the Automated Reasoning Workshop, 2006.
[
pdf
]
S. Colton, F. Hoermann, A. Pease and G. Sutcliffe
"Machine Learning Case Splits for Theorem Proving"
In proceedings of the Automated Reasoning Workshop, 2005
[
ps
pdf
]
S. Colton and A. Pease
"The TM System for Repairing Non-Theorems"
Selected papers for the IJCAR'04 disproving workshop,
Electronic Notes in Theoretical Computer Science, Volume 125(3).
Elsevier, 2005.
[
ps
pdf
]
A. Pease and S. Colton
"Automatic Conjecture Modification"
Proceedings of the automated reasoning workshop,
Leeds, 2004.
[
ps
pdf
]
S. Colton, A. Meier, V. Sorge and R. McCasland
"Automatic Generation of Classification Theorems for Finite Algebras"
Proceedings of the automated reasoning workshop,
Leeds, 2004.
[
ps
pdf
]
G. Sutcliffe, Y. Gao and S. Colton
"A Grand Challenge of
Theorem Discovery"
In Proceedings of the CADE-19
workshop on Grand Challenges and Novel Applications of Automated Reasoning, 2003.
[
ps
pdf
]
S. Colton and A. Pease:
"Lakatos-style Methods in Automated Reasoning"
In Proceedings of the IJCAI'03 Workshop on Agents and Reasoning,
Acapulco, 2003.
[
ps
pdf
html
]
S. Colton:
"Creative Logic Programming"
In Proceedings of the IJCAI'03 Workshop on Creative Systems, 2003.
[
ps
pdf
html
]
A. Bundy, S. Colton, S. Huczynska and R. McCasland:
"New Directions in Automated Conjecture Making"
Proceedings of the automated reasoning workshop,
Liverpool, 2003.
[
html
ps
pdf
]
S. Colton: "Automated Theory Formation Applied to Mutagenesis Data".
In Proceedings of the First Anglo-Cuban Symposium on Bioinformatics, 2002.
[
ps
pdf
]
A. Pease, S. Colton, A. Smaill and J. Lee:
"Semantic Negotiation: Modelling Ambiguity in Dialogue"
Proceedings of Edilog 2002, the 6th Workshop on
the semantics and pragmatics of dialogue, Edinburgh, UK, 2002.
[
ps
pdf
]
S. Colton, R. McCasland, A. Bundy and T. Walsh:
"Automated Theory Formation for Tutoring Tasks in Pure
Mathematics"
Proceedings of the CADE'02 workshop on the Role of
Automated Deduction in Mathematics, Copenhagen, Denmark, 2002.
[
ps
pdf
dvi
]
A. Pease, S. Colton,
A. Smaill and J. Lee: "Lakatos and Machine
Creativity"
Proceedings of the ECAI'02 workshop on creative
systems, Lyon, France, 2002.
[
ps
pdf
]
J. Zimmer, S. Colton, A. Franke and G. Sutcliffe:
"Integrating HR and tptp2x into MathWeb to Compare
Automated Theorem Provers"
Proceedings of the CADE'02 workshop
on Problems and Problem Sets, Copenhagen, Denmark, 2002.
[
ps
pdf
dvi
]
A. Pease, S. Colton, A. Smaill and J. Lee: "Lakatos-style
Reasoning"
Proceedings of the Automated Reasoning Workshop, Imperial
College, London, 2002.
[
ps
pdf
]
A. Bundy, S. Colton, R. McCasland and T. Walsh: "Semi-Automated
Discovery in Zariski Spaces (A Proposal)"
Proceedings of the Automated
Reasoning Workshop, Imperial College, London, 2002.
[
ps
pdf
dvi
]
S. Colton, A. Pease and G. Ritchie: "The Effect of Input Knowledge
on Creativity"
Proceedings of the ICCBR'01 Workshop on Creative Systems,
Vancouver, Canada, 2001.
[
ps
pdf
dvi
html
]
A. Pease, D. Winterstein and S. Colton: "Evaluating Machine
Creativity"
Proceedings of the ICCBR'01 Workshop on Creative Systems,
Vancouver, Canada, 2001.
[
ps
pdf
]
S. Colton: "Mathematics - A New Domain for
Datamining?"
Proceedings of the IJCAI-01 Workshop on
Knowledge
Discovery from Distributed, Dynamic, Heterogenous, Autonomous Sources, Seattle,
US, 2001.
[
ps
pdf
dvi
html
]
S. Colton: "Automated Theorem Generation: A Future Direction for
Theorem Provers"
Proceedings of the IJCAR-01 Workshop on Future
Directions in Automated Reasoning, Siena, Italy, 2001.
[
ps
pdf
dvi
html
]
S. Colton, L. Drake, A. Frisch, I. Miguel and T.
Walsh:
"Automatic Generation of Implied Constraints: Initial
Progress"
Proceedings of the Automated Reasoning Workshop, York, UK,
2001.
[
ps
pdf
]
S. Colton: "Theory Formation Applied to Learning, Discovery and
Problem Solving "
Proceedings of Machine Intelligence 17, Bury St.
Edmunds, 2000.
[
ps
pdf
dvi
html
]
S. Colton: "Automated `Plugging and Chugging'"
Proceedings
of Calculemus-2000, St. Andrews, 2000.
[
ps
pdf
dvi
html
]
S. Colton: "Assessing Exploratory Theory Formation
Programs"
AAAI-2000 Workshop on New Research Directions for Machine
Learning.
[
ps
pdf
dvi
html
]
S. Colton, A. Bundy and T. Walsh: "Automated Discovery in Pure
Mathematics"
Proceedings of the Automated Reasoning Workshop, Edinburgh,
UK, 1999.
[
ps
pdf
dvi
html
]
A. Bundy, S. Colton and T. Walsh: "HR - A System for Machine
Discovery in Finite Algebras"
Proceedings of the Machine Discovery
Workshop, ECAI-98, Brighton, England, 1998.
[
ps
pdf
dvi
html
]
|
© Simon Colton 2008 |