Computing Publications

Publications Home » Authors » Dr Simon Colton

Authors

Dr Simon Colton

21 publications for this author.

Book

Automated Theory Formation in Pure Mathematics
Simon Colton
Springer-Verlag
2002

Journal Articles

A Survey of Monte Carlo Tree Search Methods [PDF]
Cameron Browne, Edward Powley, Daniel Whitehouse, Simon Lucas, Peter I. Cowling, Philipp Rohlfshagen, Stephen Tavener, Diego Perez, Spyridon Samothrakis, Simon Colton
IEEE Transactions on Computational Intelligence and AI in Games
Volume 4, Issue 1, pp.1–43
IEEE
March, 2012
Mathematical applications of inductive logic programming [PDF]
Simon Colton, Stephen Muggleton
Machine Learning
Springer Science+Business Media B.V.
April, 2006
Automated Conjecture Making in Number Theory using HR, Otter and Maple [PDF]
Simon Colton
Journal of Symbolic Computation
Volume 39, Issue 5, pp.593–615
Elsevier
April, 2005
An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming [PDF]
Simon Colton
Electronic Transactions in Artificial Intelligence
Volume 4, pp.97–117
Linkoping University Electronic Press
2000
On the Notion of Interestingness in Automated Mathematical Discovery [PDF]
Simon Colton, Alan Bundy, Toby Walsh
International Journal of Human-Computer Studies
Volume 53, Issue 3, pp.351–375
Elsevier
2000
Artificial Intelligence and Scientific Creativity [PDF]
Simon Colton, Graham Steel
Artificial Intelligence and the Simulation of Behaviour Quarterly
Volume 102
1999
Refactorable Numbers - A Machine Invention [PDF]
Simon Colton
Journal of Integer Sequences
Volume 2
1999

Conference and Workshop Papers

Evolving 3D Buildings for the Prototype Video Game Subversion [PDF]
Andrew Martin, Andrew Lim, Simon Colton, Cameron Browne
EvoGames Workshop
pp.111–120
November, 2010
Evolving Pixel Shaders for the Prototype Video Game Subversion
Andrew Howlett, Simon Colton, Cameron Browne
AI and Games Symposium (AISB'10)
November, 2010
Evolving Simple Art-based Games [PDF]
Simon Colton, Cameron Browne
EvoGames Workshop
Volume 5485, pp.283–292
LNCS, Springer
November, 2009
Automatic Generation of Implied Constraints [PDF]
John Charnley, Simon Colton, Ian Miguel
17th European Conference on Artificial Intelligence
2006
Integrating AI Systems for Mathematical Discovery
Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton
13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
July, 2006
Managing Automatically Formed Mathematical Theories [PDF]
Simon Colton, Pedro Torres, Paul Cairns, Volker Sorge
5th International Conference on Mathematical Knowledge Management
July, 2006
Predictive and Descriptive Approaches to Learning Game Rules from Vision Data [PDF]
Paulo Santos, Simon Colton, Derek Magee
10th Ibero-American Artificial Intelligence Conference
July, 2006
The Automatic Construction of Isotopy Invariants [PDF]
Volker Sorge, Andreas Meier, Roy McCasland, Simon Colton
Third International Conference on Automated Reasoning
June, 2006
Automatic Generation of Classification Theorems for Finite Algebras [PDF]
Simon Colton, Andreas Meier, Volker Sorge, Roy McCasland
Second International Joint Conference on Automated Reasoning
July, 2004
Modelling Lakatos's Philosophy of Mathematics [PDF]
Alison Pease, Simon Colton, Alan Smaill, John Lee
Computing and Philosophy
July, 2004
ILP for Mathematical Discovery [PDF]
Simon Colton, Stephen Muggleton
13th International Conference on Inductive Logic Programming
July, 2003

Journal Special Issues Edited

Creativity in Arts and Science
Simon Colton, Pablo Gervas
Artificial Intelligence and the Simulation of Behaviour Journal
January, 2003
Special Issue on Agent Technology [PDF]
Eduardo Alonso, Simon Colton, Daniel Kudenko, Luc Moreau, M Schroeder, Kostas Stathis
Artificial Intelligence and the Simulation of Behaviour Journal
Volume 1, Issue 1, pp.1–4
The Society for the Study of Artificial Intelligence and the Simulation of Behaviour
December, 2001

BibTeX file for these publications

 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.