Nationality: British
Occupation: Professor of Digital Game Technologies and Professor of Computational Creativity
Addresses: Games Academy, AIR Building, Falmouth University,
Treliever Road, Penryn, Cornwall TR10 9FE, UK.
Department of Computing, Goldsmiths College, University of London,
25 St. James, New Cross, London SE14 6NW, UK.
Email: simon.colton@falmouth.ac.uk
s.colton@gold.ac.uk
Webpages: http://www.metamakersinstitute.com
http://ccg.doc.gold.ac.uk/simoncolton

I hold an European Research Area (ERA) Chair in Digital Games Technology at Falmouth University, where I also hold an EPSRC Leadership Fellowship. I'm also a part-time Professor of Computational Creativity in the Department of Computing of Goldsmiths College, University of London, and an EPSRC Leadership Fellow. From 2002 to 2013, I was an academic in the Department of Computing at Imperial College, London. I co-lead the MetaMakers Institute at Falmouth and the Computational Creativity Group at Goldsmiths.

The MetaMakers Institute comprises a research group, an art collective (@ThoseMetaMakers) and a company (MetaMakers Ltd.), and we aim to democratise game design so that anyone and everyone can make video games, enabled and enhanced by various AI technologies. At Goldsmiths, we investigate ways in which AI systems can perform as creative collaborators with people, and can act autonomously creatively, with applications to pure mathematics, visual arts, video game design, creative writing and graphic design. We also work on formalisms for assessing creativity in software, and we tackle philosophical and sociological issues that are raised by the notion of software being creative.

Professional History

2016 - nowDirector, MetaMakers Ltd.
2016 - nowDigital Economy Research Theme Chair, Falmouth University
2014 - nowERA Chair in Digital Games Technology, Games Academy, Falmouth University
2013 - nowProfessor of Computational Creativity, Department of Computing, Goldsmiths College, University of London
2011 - nowEPSRC Leadership Fellow, for the project: "Computational Creativity Theory"
2011 - 2013External Examiner, Department of Computing, Goldsmiths College, University of London
2010 - 2013Reader in Computational Creativity, Department of Computing, Imperial College, London
2010 - 2011Visiting Researcher, Sony Computer Science Laboratory, Paris
2008 - 2009 Third year co-ordinator, Department of Computing, Imperial College, London
2007 - 2010 Senior Lecturer, Department of Computing, Imperial College, London
2006 - 2007 PhD admissions tutor, Department of Computing, Imperial College, London
2005 - 2008 Creative Director, Machine Creations Ltd.
2004 - 2006 Undergraduate admissions tutor, Department of Computing, Imperial College, London
2002 - 2007 Lecturer, Department of Computing, Imperial College, London
1999 - 2002 Research Associate, University of Edinburgh
1996 - 1999 PhD in Artificial Intelligence, University of Edinburgh
1995 - 1996 MSc. in Pure Mathematics, University of Liverpool
1994 - 1995 4GL Programmer, MidlandHR Software Ltd.
1991 - 1994 BSc. (hons) in Mathematics, University of Durham

Teaching Activities

Courses Delivered at Imperial College

PhD Students

PhD Examinations

Project Supervision

Research Grants

(All EPRSC figures are given at Full Economic Costing).

As Principle Investigator

As Co-Investigator

Awards and Nominations

Invitations

Invited/Keynote talks and Demonstrations

Art Juries

Summer and Autumn Schools

Teaching review panels

Grant reviewing panels

Attendance

Panel memberships

Travel Grants

Artwork

Exhibitions

Commisions

Outreach

Selected articles, interviews, reports, videos, documentaries and webpages which cover our work

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

Pre-2008

Webpages

Organisational

Publications

Books

S. Colton
"Automated Theory Formation in Pure Mathematics".
Springer-Verlag, 2002. ISBN 1852336099.

Newspaper/Magazine Articles

S. Colton
"Yeah, but is it?"
Computer Science for Fun, issue 18 on Machines that are Creative, 2013. [ pdf ]

S. Colton
"The Painting Fool"
Computer Science for Fun, issue 18 on Machines that are Creative, 2013. [ pdf ]

M. Balduccini, C. Baral, B. Brodaric, S. Colton, P. Fox, D. Gutelius, K. Hinkelmann, I. Horswill, B. Huberman, E. Hudlicka, K. Lerman, C. Lisetti, D. McGuiness, M Maher, M. Musen, M. Sahami, D. Sleeman, B. Thonssen, J. Velasquez and D. Ventura
"Reports of the AAAI 2008 Spring Symposia"
AI Magazine, Fall 2008. [ pdf ]

S. Colton
"A Short Review of Theorem Proving"
AISB Quarterly, no. 127, October 2008. [ pdf ]

S. Colton
"Computational Creativity"
AISB Quarterly, no. 126, May 2008. [ pdf ]

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 AISB 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, no. 108. [ pdf ]

Theses and Dissertations

S. Colton
"Automated Theory Formation in Pure Mathematics",
PhD. Thesis, Department of Artificial Intelligence, University of Edinburgh 2001. [ pdf ]

S. Colton
"Using Computers in Mathematics and Calculating Minimum Distances of Error Correcting Codes",
MSc. Dissertation, Dept. of Pure Mathematics, University of Liverpool, 1996. [ pdf ]

Editorials

C. Browne, G. Yannakakis and S. Colton
"Computational Aesthetics in Games"
IEEE Transactions on Computational Intelligence and AI in Games, Vol. 4(3), 149-151, 2012. [ pdf ]

S. Colton, R. Lopez de Mantaras, and O. Stock
"Computational Creativity: Coming of Age"
AI Magazine, Vol 30(3), 11-14, 2009. [ pdf ]

S. Muggleton, R. Otero and S.Colton
"Special Issue on Inductive Logic Programming"
Machine Learning, Vol 70(2-3), 119-120, 2008. [ pdf ]

S. Colton and P. Gervás
"Creativity in Arts and Science"
Journal of Artificial Intelligence and the Simulation of Behaviour (AISBJ), Vol 1(4), 349-350, 2003. [ pdf ]

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), 1-4, 2001. [ pdf ]

Book Chapters

S. Colton, A. Pease, J. Corneli, M. Cook, R. Hepworth and D. Ventura
"Stakeholder Groups in Computational Creativity Research and Practice"
Computational Creativity Research: Towards Creative Machines,
edited by T. Besold, M. Schorlemmer, A. Smaill, Atlantic Press, 2015. [ pdf   book ]

C. Browne, S. Colton, M. Cook, J. Gow and R. Baumgarten
"Towards the Adaptive Generation of Bespoke Game Content"
IEEE Handbook of Digital Games, Wiley, 2014. [ pdf ]

S. Colton
"The Painting Fool: Stories from Building an Automated Painter"
In Computers and Creativity, edited by J. McCormack and M. d'Inverno, Springer-Verlag, 2012. [ pdf ]

A. Pease, A. Smaill, S. Colton, A. Ireland, M. T. Llano, R. Ramezani and G. Grov
"Applying Lakatos-style reasoning to AI problems".
In Thinking Machines and the Philosophy of Computer Science: Concepts and Principles,
Edited by J. Vallverdu, 149-174. IGI Global, 2010. [ pdf ]

S. Colton
"Computational Discovery in Pure Mathematics"
In Communicable Scientific Discovery, edited by Saso Dzeroski and Ljupco Todorowski
Springer LNAI 4660, ISBN 978-3-540-73919-7, 2007. [ pdf ]

Journal Papers

M. Cook, S. Colton and J. Gow
"The ANGELINA Videogame Design System, Part I"
IEEE Transactions on Computational Intelligence and AI in Games, PP(99), 2016. [ pdf ]

M. Cook, S. Colton and J. Gow
"The ANGELINA Videogame Design System, Part II"
IEEE Transactions on Computational Intelligence and AI in Games, PP(99), 2016. [ pdf ]

M. Llano, S. Colton, R. Hepworth and J. Gow
"Automated Fictional Ideation via Knowledge Base Manipulation"
Journal of Cognitive Computation, 8(2). 2016. [ pdf ]

B. Perez Ferrer, S. Colton, E. Powley, T. Krzywinska, E. Geelhoed and M. Cook
"Gamika: Art Based Game Design". Art/Games 1: 18-24, 2016. [ pdf ]

A. Pease, S. Colton and J. Charnley
"Automated Theory Formation: The Next Generation"
IFCOLOG Journal Proceedings in Computational Logic, Special Issue on Theory Exploration, 2015. [ pdf ]

J. Gow, R. Baumgarten, P. Cairns, S. Colton and P. Miller
"Unsupervised Modelling of Player Style with LDA"
IEEE Transactions on Computational Intelligence and AI in Games, Vol. 4(3), 152-166, 2012. [ pdf ]

C. Browne, E. Powley, D. Whitehouse, S. Lucas, P. I. Cowling,
P. Rohlfshagen, S. Tavener, D. Perez, S. Samothrakis and S. Colton

"A Survey of Monte Carlo Tree Search Methods"
IEEE Transactions on Computational Intelligence and AI in Games, Vol. 4(1), 1-43, 2012. [ pdf ]

R. Baumgarten, S. Colton and M. Morris
"Combining AI Methods for Learning Bots in a Real Time Strategy Game"
International Journal on Computer Game Technologies, Vol. 2009, Article ID: 129075, 2009. DOI: 10.1155/2009/129075. [ pdf ]

A. Pease, A. Smaill, S. Colton and J. Lee
"Bridging the gap between argumentation theory and the philosophy of mathematics"
Special issue on Mathematics and Argumentation, Foundations of Science, 14 (1-2), 111-135, 2009. [ pdf ]

V. Sorge, S. Colton, R. McCasland and A. Meier
"Classification Results in Quasigroup and Loop theory via a Combination of Automated Reasoning Tools"
Comment.Math.Univ.Carolin. 49(2), 319-339, 2008. [ pdf ]

V. Sorge, A. Meier, R. McCasland and S. Colton
"Automatic Construction and Verification of Isotopy Invariants"
Journal of Automated Reasoning, 40(2-3), 221-243, 2008. [ pdf ]

S. Colton and S. Muggleton
"Mathematical Applications of Inductive Logic Programming"
Machine Learning, 64:25-64, 2006. [ pdf ]

S. Colton and A. Pease
"The TM System for Repairing Non-Theorems"
Selected papers from the IJCAR'04 disproving workshop, Electronic Notes in Theoretical Computer Science, Volume 125(3). Elsevier, 2005. [ 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 ]

Conference Papers

E. Powley, S. Colton, S. Gaudl, R. Saunders and M. Nelson
"Semi-Automated Level Design via Auto-Playtesting for Handheld Casual Game Creation"
In Proceedings of the 2016 IEEE Conference on Computational Intelligence and Games, 2016. [ pdf ]

M. Cook, J. Gow and S. Colton
"Towards the Automatic Optimisation of Procedural Content Generators"
In Proceedings of the 2016 IEEE Conference on Computational Intelligence and Games, 2016. [ pdf ]

C. Guckelsberger, C. Salge, R. Saunders and S. Colton
"Supportive and Antagonistic Behaviour in Distributed Computational Creativity via Coupled Empowerment Maximisation"
In Proceedings of the Seventh International Conference on Computational Creativity, 2016. [ pdf ]

J. Charnley, S. Colton, M. Llano, J. Corneli
"The FloWr Online Platform Automated Programming and Computational Creativity as a Service"
In Proceedings of the Seventh International Conference on Computational Creativity, 2016. [ pdf ]

S. Colton, M. Llano, R. Hepworth, J. Charnley, C. Gale, A. Baron, F. Pachet, P. Roy,
P. Gervas, N. Collins, B. Sturm, T. Weyde, D. Wolff and J. Lloyd.

"The Beyond the Fence Musical and Computer Says Show Documentary"
In Proceedings of the Seventh International Conference on Computational Creativity, 2016. [ pdf ]

M. Llano, C. Guckelsberger, R. Hepworth, J. Gow, J. Corneli and S. Colton
"What If A Fish Got Drunk? Exploring the Plausibility of Machine-Generated Fictions".
In Proceedings of the Seventh International Conference on Computational Creativity, 2016. [ pdf ]

B. Perez Ferrer, S. Colton, E. Powley, T. Krzywinska, E. Geelhoed and M. Cook
"Art-Based Game Design with the Cyllr App"
Accepted by reviewers but not published by FDG/Digra, due to anonymisation mistake, 2016. [ pdf ]

S. Colton, J. Halskov, D. Ventura, I. Gouldstone, M. Cook and B. Perez Ferrer
"The Painting Fool Sees! New Projects with the Automated Painter"
In Proceedings of the Sixth International Conference on Computational Creativity, 2015. [ pdf ]

M. Cook and S. Colton
"Generating Code For Expressing Simple Preferences: Moving On From Hardcoding And Randomness"
In Proceedings of the Sixth International Conference on Computational Creativity, 2015. [ pdf ]

J. Corneli, A. Jordanous, R. Shepperd, M. Llano, J. Misztal, S. Colton and C. Guckelsberger
"Computational Poetry Workshop: Making Sense of Work in Progress"
In Proceedings of the Sixth International Conference on Computational Creativity, 2015. [ pdf ]

M. Cook and S. Colton
"Hybrid Procedural Content Generation: A Proposal"
In Proceedings of the AISB Symposium on AI and Games, 2015. [ pdf ]

M. T. Llano, R. Hepworth, S. Colton, J. Gow, J. Charnley,
N. Lavrac, M. Znidarsic, M. Perovsek, M. Granroth-Wilding and S. Clark

"Baseline Methods for Automated Fictional Ideation"
In Proceedings of the Fifth International Conference on Computational Creativity, 2014. [ pdf ]

Cook, M and Colton, S
"Ludus Ex Machina: Building A 3D Game Designer That Competes Alongside Humans"
In Proceedings of the Fifth International Conference on Computational Creativity, 2014. [ pdf ]

S. Colton, A. Pease, J. Corneli, M. Cook and M. T. Llano
"Assessing Progress in Building Autonomously Creative Systems"
In Proceedings of the Fifth International Conference on Computational Creativity, 2014. [ pdf ]

J. Charnley, S. Colton and M. T. Llano
"The FloWr Framework: Automated Flowchart Construction, Optimisation and Alteration for Creative Systems"
In Proceedings of the Fifth International Conference on Computational Creativity, 2014. [ pdf ]

M. Schorlemmer, A. Smaill, K. Kuhnberger, O. Kutz, S. Colton, E. Cambouropoulos and A. Pease
"COINVENT: Towards a Computational Concept Invention Theory"
In Proceedings of the Fifth International Conference on Computational Creativity, 2014. [ pdf ]

S. Colton, M. Cook, R. Hepworth and A. Pease
"On Acid Drops and Teardrops: Observer Issues in Computational Creativity"
In Proceedings of the AISB symposium on AI and Philosophy, 2014. [ pdf ]

M. T. Llano, R. Hepworth, S, Colton, J. Charnley and J. Gow
"Automating Fictional Ideation using ConceptNet"
In Proceedings of the AISB symposium on Computational Creativity, 2014. [ pdf ]

M. Cook, S. Colton and J. Gow
"Automating Game Design in Three Dimensions"
In Proceedings of the AISB symposium on AI and Games, 2014. [ pdf ]

S. Colton, R. Ramezani, M. T. Llano
"The HR3 Discovery System: Design Decisions and Implementation Details"
In Proceedings of the AISB symposium on Computational Scientific Discovery, 2014. [ pdf ]

S. Colton
"Countdown Numbers Game: Solved, Analysed, Extended"
In Proceedings of the AISB symposium on AI and Games, 2014. [ pdf ]

M. Perovšek, B. Cestnik, T. Urbančič, S. Colton and N. Lavrač
"Towards Narrative Ideation via Cross-context Link Discovery using Banded Matrices"
In Proceedings of the Twelfth International Symposium on Intelligent Data Analysis, 2013. [ pdf ]

M. Cook, S. Colton and J. Gow
"Nobody's A Critic: On The Evaluation Of Creative Code Generators: A Case Study In Videogame Design"
In Proceedings of the 4th International Conference on Computational Creativity, 2013. [ pdf ]

A. Pease, S. Colton, R. Ramezani, J. Charnley and K. Reed
"A Discussion on Serendipity in Creative Systems"
In Proceedings of the 4th International Conference on Computational Creativity, 2013. [ pdf ]

F. Cavallo, A. Pease, J. Gow and S. Colton
"Using Theory Formation Techniques for the Invention of Fictional Concepts"
In Proceedings of the 4th International Conference on Computational Creativity, 2013. [ pdf ]

S. Colton and G. A. Wiggins
"Computational Creativity: The Final Frontier"
In Proceedings of the 20th European Conference on Artificial Intelligence, 2012. [ pdf ]

C. Browne and S. Colton
"Computational Creativity in a Closed Game System"
In Proceedings of the IEEE Conference on Computational Intelligence and Games, 2012. [ pdf ]

M. Cook, S. Colton and A. Pease
"Aesthetic Considerations for Automated Platformer Design"
In Proceedings of the 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012. [ pdf ]

J. Gow, S. Colton, P. Cairns and P. Miller
"Mining Rules from Player Experience and Activity Data"
In Proceedings of the 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012. [ pdf ]

S. Colton and B. Pérez-Ferrer
"No Photos Harmed/Growing Paths from Seed - An Exhibition"
In Proceedings of Non-Photorealistic Animation and Rendering, 2012. [ pdf ]

S. Colton, J. Goodwin and T. Veale
"Full-FACE Poetry Generation"
In Proceedings of the 3rd International Conference on Computational Creativity, 2012. [ pdf ]

J. Charnley, A. Pease and S. Colton
"On the Notion of Framing in Computational Creativity"
In Proceedings of the 3rd International Conference on Computational Creativity, 2012. [ pdf ]

S. Colton
"Evolving a Library of Scene Descriptors"
In Proceedings of the EvoMusArt Conference, 2012. [ pdf ]

M. Cook and S. Colton
"Multi-faceted Evolution of Simple Arcade Games"
In proceedings of the IEEE Conference on Computational Intelligence and Games, 2011. [ pdf ]

S. Colton, J. Charnley and A. Pease
"Computational Creativity Theory: The FACE and IDEA models"
In Proceedings of the International Conference on Computational Creativity, 2011. [ pdf ]

A. Pease and S. Colton
"Computational Creativity Theory: Inspirations behind the FACE and IDEA models"
In Proceedings of the International Conference on Computational Creativity, 2011. [ pdf ]

M. Cook and S. Colton
"Automated Collage Generation - With More Intent"
In Proceedings of the International Conference on Computational Creativity, 2011. [ pdf ]

A. Pease and S. Colton
"On Impact and Evaluation in Computational Creativity: A Discussion of the Turing Test and an Alternative Proposal"
In Proceedings of the AISB symposium on AI and Philosophy, 2011. [ pdf ]

S. Colton
"Stroke Matching for Paint Dances"
In Proceedings of Computational Aesthetics, 2010. [ pdf ]

J. Gow, P. Cairns, S. Colton, P. Miller and R. Baumgarten
"Capturing Player Experience with Post-Game Commentaries"
In Proceedings of the International Conference on Computer Games, Multimedia and Allied Technology, 2010. [ pdf ]

D. Ramirez-Cano, S. Colton and R. Baumgarten
"Player classification using a meta-clustering approach"
In Proceedings of the International Conference on Computer Games, Multimedia and Allied Technology, 2010. [ pdf ]

A. Pease, S. Colton, R. Ramezani, A. Smaill and M. Guhe
"Using analogical representations for mathematical concept formation"
In Proceedings of Model-based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery; Studies in Computational Intelligence, Springer, 2010. [ pdf ]

S. Colton, J. Gow, P. Torres and P. Cairns
"Experiments in Objet Trouve Browsing".
In proceedings of the 1st International Conference on Computational Creativity, 2010. [ pdf ]

A. Krzeczkowska, J. El-Hage, S. Colton and S. Clark
"Automated Collage Generation - With Intent".
In proceedings of the 1st International Conference on Computational Creativity, 2010. [ pdf ]

S. Colton
"Three Next Generation Approaches to Automated Mathematical Theory Formation"
Keynote abstract, in the Proceedings of the Model Based Reasoning Conference, 2009. [ pdf ]

A. Pease, A. Smaill, M. Guhe, R. Ramezani and S. Colton.
"Applying Lakatos-style reasoning to AI domains"
In the Proceedings of the European Conference on Computing and Philosophy, 2009. [ pdf ]

S. Colton
"Joined-Up Reasoning for Automated Scientific Discovery"
Keynote extended abstract. Proceedings of the
AAAI Fall Symposium on Automated Scientific Discovery, 2008. [ pdf ]

S. Colton, M. Valstar and M. Pantic
"Emotionally Aware Automated Portrait Painting"
Proceedings of the 3rd International Conference on
Digital Interactive Media in Entertainment and Arts (DIMEA), 2008. [ pdf ]

S. Colton
"Creativity versus the Perception of Creativity in Computational Systems"
Proceedings of the AAAI Spring Symposium on Creative Systems, 2008. [ pdf ]

R. Baumgarten and S. Colton
"Case-based Player Simulation for the Commercial Strategy Game DEFCON"
In the Proceedings of CGames, 2007. [ pdf ]

S. Colton and D. Wagner
"Using Formal Concept Analysis in Mathematical Discovery"
Proceedings of the Conference on Mathematical Knowledge Management, 2007. [ pdf ]

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. [ pdf ]

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 Classification in Non-Associative Algebra"
Proceedings of the 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning
Electronic Notes in Theoretical Computer Science, 2006. [ pdf ]

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. [ pdf ]

S. Colton
"Making Conjectures about Maple Functions"
In proceedings of AISC/Calculemus'02, LNAI 2385, Springer. [ pdf ]

A. Meier, V. Sorge and S. Colton
"Employing Theory Formation to Guide Proof Planning"
In proceedings of AISC/Calculemus'02, LNAI 2385, Springer. [ pdf ]

S. Colton
"The HR Program for Theorem Generation"
Proceedings of CADE'02, Copenhagen, Denmark, 2002. [ pdf ]

S. Colton
"Automated Puzzle Generation",
Proceedings of the AISB'02 Symposium on AI and Creativity in the Arts and Science, Imperial College,
London, 2002. [pdf ]

S. Colton and L. Dennis
"The NumbersWithNames Program",
Proceedings of the Seventh AI and Maths Symposium, Fort Lauderdale, FL, 2002. [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. [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. [ pdf ]

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. [ pdf ]

S. Colton
"Experiments in Meta-theory Formation"
Proceedings of the AISB'01 Symposium on AI and Creativity in Arts and Science, York 2001. [pdf ]

S. Colton, A. Bundy and T. Walsh
"Automatic Invention of Integer Sequences"
In Proceedings of AAAI-2000, Austin Texas, 2000. [pdf ]

S. Colton, A. Bundy and T. Walsh
"Automatic Identification of Mathematical Concepts"
In Proceedings of ICML-2000, Stanford, CA, 2000. [pdf ]

S. Colton, A. Bundy and T. Walsh
"Agent Based Cooperative Theory Formation in Pure Mathematics"
In Proceedings of the AISB'00 Symposium on Creative and Cultural Aspects and Applications
of AI and Cognitive Science, 2000. [pdf ]

G. Steel, S. Colton, A. Bundy and T.Walsh
"Cross Domain Mathematical Concept Formation"
In Proceedings of the AISB'00 Symposium on Creative and Cultural Aspects and Applications
of AI and Cognitive Science, 2000. [pdf ]

S. Colton and A. Bundy
"On the Notion of Interestingness in Automated Mathematical Discovery"
In Proceedings of the AISB'99 Symposium on AI and Scientific Discovery, Edinburgh, UK, 1999. [pdf ]

S. Colton, A. Bundy and T. Walsh
"Automatic Concept Formation in Pure Mathematics"
In Proceedings of IJCAI-99, Stockholm, Sweden, 1999. [ pdf ]

S. Colton, S. Cresswell and A. Bundy
"The Use of Classification in Automated Mathematical Concept Formation"
In Proceedings of Similarity and Categorisation (SimCat97), Edinburgh, UK, 1997. [ pdf ]

Conference Poster/Demo Proceedings

S. Colton and D. Ventura
"You Can't Know my Mind: A Festival of Computational Creativity"
In the Late Breaking Proceedings of the Fifth International Conference on Computational Creativity, 2014. [ pdf ]

M. Cook and S. Colton
"To That Sect and Other Short Games"
In Demo Proceedings of the AISB symposium on AI and Games, 2014. [ pdf ]

S. Colton and J. Charnley
"Towards a Flowcharting System for Automated Process Invention"
Demo session Proceedings of the 4th International Conference on Computational Creativity, 2013. [ pdf ]

M. Cook and S. Colton
"A Puzzling Present: Code Modification for Game Mechanic Design"
Demo session Proceedings of the 4th International Conference on Computational Creativity, 2013. [ pdf ]

A. Pease, S. Colton and J. Charnley
"The Turing Test and Computational Creativity"
Contributed talks proceedings of the Turing Centenary Conference, 2012. [ pdf ]

M. Cook and S. Colton
"ANGELINA - Coevolution in Automated Game Design"
Show and Tell Proceedings of the 3rd International Conference on Computational Creativity, 2012. [ pdf ]

S. Colton
"The Painting Fool in New Dimensions"
Show and Tell Proceedings of the 2nd International Conference on Computational Creativity, 2011. [ pdf ]

S. Colton
"The Painting Fool Teaching Interface"
Show and Tell Proceedings of the 1st International Conference on Computational Creativity, 2010. [ pdf ]

M. Valstar, S. Colton and M. Pantic
"Emotionally Aware Automated Portrait Painting Demonstration"
Demonstration track of the IEEE automatic face and gesture recognition conference, 2008.

M. Valstar, S. Colton and M. Pantic
"Emotionally Aware Automated Portrait Painting Demonstration"
Demonstration track of the 20th Belgian-Netherlands Conference on Artificial Intelligence, 2008.

J. Charnley and S. Colton
"A global workspace framework for combining reasoning systems"
In the extended abstract proceedings of Calculemus, 2008. [ pdf ]

N. Jiang and S. Colton
"Boosting Descriptive ILP for Predictive Learning"
In the Poster Proceedings of ILP'06. [ pdf ]

P. Torres and S. Colton
"Towards Meta-level Descriptive ILP"
In the Poster Proceedings of ILP'06. [ pdf ]

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. [ pdf ]

S. Colton and A. Pease
"Lakatos-style Automated Theorem Modification "
In the Poster Proceedings of ECAI, 2004 [ pdf ]

S. Colton
"Automated `Plugging and Chugging'"
Short Paper Proceedings of Calculemus-2000, St. Andrews, 2000. [ pdf ]

S. Colton
"HR - Automatic Concept Formation in Finite Algebras"
Doctoral Consortium Abstracts, Proceedings of AAAI-98, Madison, Wisconsin, USA, 1998. [ pdf ]

Art Catalogue Entries

S. Colton
"The Dancing Salesman Problem and Chair #17"
In the catalogue for the Creative Machine Exhibition, Goldsmiths College, London, 2014. [ pdf ]

S. Colton
"Amelie's Progress Gallery/Imaginations #1"
In the arts programme proceedings of the Eurographics workshop on computational aesthetics in graphics, visualisation and imaging, 2008. [ pdf ]

Workshop Papers

M. Nelson, S. Colton, E. Powley, S. Gaudl, P. Ivey, R. Saunders, B. Perez Ferrer and M. Cook
"Mixed-Initiative Approaches to On-Device Mobile Game Design"
To appear in the proceedings of the Mixed Initiative Creative Interfaces workshop at CHI, 2017.

M. Cook, J. Gow and S. Colton
"Danesh: Helping Bridge The Gap Between Procedural Generators And Their Output"
In Proceedings of the 7th Workshop on Procedural Content Generation at FDG, 2016. [ pdf ]

S. Colton, M. Nelson, R. Saunders, E. Powley, S. Gaudl and M. Cook
"Towards a Computational Reading of Emergence in Experimental Game Design"
In Proceedings of the 2nd Computational Creativity and Games Workshop, 2016. [ pdf ]

E. Powley, S. Gaudl, S. Colton, M. Nelson, R. Saunders and M. Cook
"Automated Tweaking of Levels for Casual Creation of Mobile Games"
In Proceedings of the 2nd Computational Creativity and Games Workshop, 2016. [ pdf ]

E. Powley, J. Clewett and S. Colton
"The TekaTekiTech System for Automated Minigame Generation: First Steps"
In Proceedings of the Computational Creativity and Games Workshop at ICCC, 2015. [ pdf ]

M. Cook and S. Colton
"A Rogue Dream: Automatically Generating Meaningful Content For Games"
In Proceedings of the Experimental AI and Games Workshop at AIIDE, 2014. [ pdf ]

M. T. Llano, M. Cook, C. Guckelsberger, S. Colton and R. Hepworth
"Towards the Automatic Generation of Fictional Ideas for Games"
In Proceedings of the Experimental AI and Games Workshop at AIIDE, 2014. [ pdf ]

G. Grov, C. Farquhar, A. Pease and S. Colton
"Tinkering by Theory Formation"
In Proceedings of the AIFM workshop, 2014. [ pdf ]

M. Cook and S. Colton
"From Mechanics to Meaning and Back Again: Exploring Techniques for the Contextualisation of Code"
In Proceedings of the 1st AIIDE Workshop on AI and Game Aesthetics, 2013. [ pdf ]

M. Cook, S. Colton, A. Raad, and J. Gow
"Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design"
In Proceedings of the EvoGames Workshop, 2013. [ pdf ]

S. Colton
"On Shape Poems and the Shape of Poems"
In Proceedings of the Shapes2.0 Workshop, 2013. [ pdf ]

A. Pease, J. Charnley and S. Colton
"Using grounded theory to suggest types of framing information for Computational Creativity"
In Proceedings of the ECAI workshop on Computational Creativity, Concept Formation and General Intelligence, 2012. [ pdf ]

M. Cook, S. Colton and J. Gow
"Initial Results From Co-operative Co-evolution for Automated Platformer Design"
In Proceedings of the EvoGames Workshop, 2012. [ pdf ]

F. Cavallo, S. Colton and A. Pease
"Uncertainty Modelling in Automated Theory Formation"
In Proceedings of the Automated Reasoning Workshop, 2012 [ pdf ]

S. Colton, M. Cook and A. Raad
"Ludic Considerations of Tablet-Based Evo-Art"
In Proceedings of the EvoMusArt Workshop, 2011. [ pdf ]

M. T. Llano, A. Ireland, A. Pease, S. Colton and J. Charnley
"Using Automated Theory Formation to Discover Invariants of Event-B models"
In Proceedings of the Rodin User and Developer Workshop, 2010. [ pdf ]

S. Colton
"Towards Ontology Use, Re-use and Abuse in a Computational Creativity Collective (A Position Statement)"
Invited paper in the Proceedings of the Workshop on Modular Ontologies, 2010. [ pdf ]

R. Ramezani and S. Colton
"Automatic Generation of Dynamic Investigation Problems"
In Proceedings of the Automated Reasoning Workshop, 2010 [ pdf ]

A. Howlett, S. Colton and C. Browne
"Evolving Pixel Shaders for the Prototype Video Game Subversion"
In Proceedings of the AI and Games AISB symposium, 2010. [ pdf ]

C. Lim, R. Baumgarten and S. Colton
"Evolving Behaviour Trees for the Commercial Game DEFCON"
In Proceedings of the EvoGames Workshop, 2010. [ pdf ]

A. Martin, A. Lim, S. Colton and C. Browne
"Evolving 3D Buildings for the Prototype Video Game Subversion"
In Proceedings of the EvoGames Workshop, 2010. [ pdf ]

S. Colton
"Seven Catchy Phrases for Computational Creativity Research"
Proceedings of the Dagstuhl Seminar: Computational Creativity: An Interdisciplinary Approach, 2009. [ pdf ]

R. Ramezani and S. Colton
"Solving Mutilated Problems"
Proceedings of the Automated Reasoning Workshop, 2009. [ pdf ]

P. Torres and S. Colton
"First Order Logic Concept Symmetry for Theory Formation"
Proceedings of the Automated Reasoning Workshop, 2009. [ pdf ]

A. Pease, A. Smaill, S. Colton and M. Guhe
"Towards a Computational Model of Embodied Mathematical Language"
Proceedings of the AISB'09 Symposium on Computing and Philosophy, 2009. [ pdf ]

R. Baumgarten, M. Nika, J. Gow and S. Colton
"Towards the Automatic Invention of Simple Mixed Reality Games"
Proceedings of the AISB'09 Symposium on AI and Games, 2009. [ pdf ]

S. Colton and P. Torres
"Evolving Approximate Image Filters"
Proceedings of the EvoMusArt Workshop, 2009. [ pdf ]

S. Colton and C. Browne
"Evolving Simple Art-based Games"
Proceedings of the EvoGames Workshop, 2009. [ pdf ]

P. Torres, S. Colton and S. Rueger
"Experiments in Example based Image Filter Retrieval"
Proceedings of the Workshop on Cross-Media Information Analysis, Extraction and Management, 2008. [ pdf ]

P. Torres and S. Colton
"Automated Meta-Theory Induction in Pure Mathematics"
Proceedings of the 2008 Automated Reasoning Workshop. [ pdf ]

S. Colton and V. Sorge
"Automated Parameterisation of Finite Algebras"
Proceedings of the CICM workshop on Empirically Successful Automated Reasoning Systems for Mathematics Workshop, 2008. [ pdf ]

J. Charnley and S. Colton
"Applications of a Global Workspace Framework to Mathematical Discovery"
Proceedings of the CICM workshop on Empirically Successful Automated Reasoning Systems for Mathematics Workshop, 2008. [ pdf ]

S. Colton
"Experiments in Constraint Based Automated Scene Generation"
Proceedings of the fifth international worskhop on computational creativity, 2008. [ pdf ]

S. Colton
"Automatic Invention of Fitness Functions, with application to Scene Generation"
Proceedings of the EvoMusArt workshop, 2008. [ pdf ]

M. Hull and S. Colton
"Towards a General Framework for Program Generation in Creative Domains"
Proceedings of the 4th International Joint Workshop on Computational Creativity, 2007. [ pdf ]

J. Charnley and S. Colton
"Prediction using Machine Learned Constraint Satisfaction Programs"
In proceedings of the Automated Reasoning Workshop, 2007. [ pdf ]

P. Torres and S. Colton
"Proving Producibility of Concepts"
In proceedings of the Automated Reasoning Workshop, 2007. [ pdf ]

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 [ pdf ]

A. Pease and S. Colton
"Automatic Conjecture Modification"
Proceedings of the automated reasoning workshop, Leeds, 2004. [ 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. [ 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. [ 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.
[ pdf ]

S. Colton
"Creative Logic Programming"
In Proceedings of the IJCAI'03 Workshop on Creative Systems, 2003. [ pdf ]

A. Bundy, S. Colton, S. Huczynska and R. McCasland
"New Directions in Automated Conjecture Making"
Proceedings of the automated reasoning workshop, Liverpool, 2003. [ pdf ]

S. Colton
"Automated Theory Formation Applied to Mutagenesis Data".
In Proceedings of the First Anglo-Cuban Symposium on Bioinformatics, 2002. [ 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. [ 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. [ pdf ]

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. [ 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. [ pdf ]

A. Pease, S. Colton, A. Smaill and J. Lee
"Lakatos-style Reasoning"
Proceedings of the Automated Reasoning Workshop, Imperial College, London, 2002. [ 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. [ pdf ]

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. [ pdf ]

A. Pease, D. Winterstein and S. Colton
"Evaluating Machine Creativity"
Proceedings of the ICCBR'01 Workshop on Creative Systems, Vancouver, Canada, 2001. [ 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. [ pdf ]

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. [ pdf ]

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. [ pdf ]

S. Colton
"Theory Formation Applied to Learning, Discovery and Problem Solving "
Proceedings of Machine Intelligence 17, Bury St. Edmunds, 2000. [ pdf ]

S. Colton
"Assessing Exploratory Theory Formation Programs"
AAAI-2000 Workshop on New Research Directions for Machine Learning. [ pdf ]

S. Colton, A. Bundy and T. Walsh
"Automated Discovery in Pure Mathematics"
Proceedings of the Automated Reasoning Workshop, Edinburgh, UK, 1999. [ pdf ]

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. [ pdf ]

Organisational

Network Organisation

Committee, Board and Organisation Memberships

Grant Reviewing

Journal Editing and Reviewing

Professional Memberships

Conference/Workshop Organisation

Programme Committees

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000