Teaching     Grants     Awards     Invitations     Art     Outreach     Publications     Organisational

Dr. Simon Colton

Here is a two sided CV as a PDF file: Short CV

Nationality: British
Occupation: Reader in Computational Creativity
Address: Department of Computing, Imperial College
180 Queens Gate, London SW7 2RH
United Kingdom.
Telephone: +44 (0)20 7594 8315
Fax: +44 (0)20 7581 8024
Email: sgc@doc.ic.ac.uk
Webpages: http://www.doc.ic.ac.uk/~sgc

I'm a Reader in Computational Creativity at the Department of Computing of Imperial College, London, and an EPSRC Leadership Fellow. I lead the Computational Creativity Group. 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, linguistics and graphic design. We 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

2011 - nowEPSRC Leadership Fellow, for project: "Computational Creativity Theory"
2011 - nowExternal Examiner, Department of Computing, Goldsmiths College, University of London
2010 - nowReader in Computational Creativity, Department of Computing, Imperial College, London
2010 - 2011Visiting Researcher, Sony Computer Science Laboratory, Paris
2008 - 2009 Third year co-ordinator
2007 - 2010 Senior Lecturer, Department of Computing, Imperial College, London
2006 - 2007 PhD admissions tutor
2004 - 2006 Undergraduate admissions tutor
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
1991 - 1994 BSc.(hons) in Mathematics, University of Durham

Teaching Activities

Courses Delivered

  • Introduction to Artificial Intelligence (MSc. course) 2002 - 2009.
  • Introduction to Bioinformatics (3rd year MEng. and MSc. course) 2002 - 2008.
  • Artificial Intelligence (2nd year MEng. course) 2004 and 2008 - 2010.
  • Ludic Computing (3nd year MEng. course and MSc. course) 2009 - 2012.
  • AI topics (1st year course), 2005 - 2010.
  • Personal mathematics tutorial, 2002 - 2010.

PhD Students

  • Alison Pease [Edinburgh] (2001 - 2006)
    "A Computational Model of Lakatos-Style Reasoning"
  • John Charnley (2005 - 2009)
    "A Global Workspace Framework for Combined Reasoning"
  • Robin Baumgarten (2007 - present, writing up)
  • Ramin Ramezani (2008 - present, writing up)
  • Michael Cook (2010 - present, writing up)
  • Flaminia Cavallo (2012 - present, transferred)
  • Zena Hera (2012 - present)
  • Kate Reed (2012 - present)
  • Lukas Platinski (2012 - present)

PhD Examinations

  • Tobias Mahlmann
    Centre for Computer Games Research
    IT University of Copenhagen, Denmark, 2013 [External examiner].
  • Paulo Sérgio Dias dos Santos Pires
    Department of Informatics Engineering,
    University of Coimbra, Portugal, 2013 [External examiner].
  • Adam Smith
    Department of Computer Science, University of California, Santa Cruz
    (advisor: Michael Mateas), 2009 [Thesis proposal examiner].

  • Jacey-Lynn Minoi
    Department of Computing, Imperial College London
    (advisor: Duncan Gillies), 2009 [Internal examiner].

  • Hsiou-Wen Hsueh
    Department of Computer Science, University of Bristol
    (advisor: Kerstin Eder), 2008 [External examiner].

  • Andrew Bennett
    School of Computing, University of Leeds
    (advisor: Derek Magee), 2008 [External examiner].

Project Supervision

  • Masters students: around 3 projects per year since 2002, including three project prize winners.
  • Undergraduate students: 4 projects per year since 2002, including four project shortlisted students.
  • Masters in computing group project (2006).
  • Bionformatics group project (2005).

Professional Courses Taken

  • Teaching for learning
  • Supervising postgraduate studies
  • Speaking technically
  • Course design
  • Becoming a personal tutor

Grants

(All figures are given at Full Economic Costing).
  • EU Co-ordination Action, €850,000 (across 7 sites), 2013-2016.
    PROSECCO: Promoting the Scientific Exploration of Computational Creativity
  • EPSRC Prize Studentship for Kate Reed, £73,500, 2012-2016.
  • EPSRC Leadership Fellowship EP/J004049/1, £1,178,138
    "Computational Creativity Theory" 2011-2016 (Principal Investigator).

  • EPSRC Platform Grant EP/J001058/1, £1,398,457
    "The Integration and Interaction of Multiple Mathematical Reasoning Processes", 2011-2015 (Co-Investigator). Joint with the University of Edinburgh and Heriot-Watt University (Principal Investigator: Prof. Andrew Ireland at Heriot-Watt).

  • EPSRC Knowledge Transfer Scheme Grant, £44,967
    "Machine learning preferences in Kinect GUI interactions: Secondment for John Charnley with Liohhead Studios Ltd." 2011 - 2012.

  • EPSRC Grant EP/I001964, £546,000
    "UCT for Games and Beyond", 2010 - 2013. (Principal Investigator).
    This is a joint project with the University of Essex [EP/H048588] and the University of Bradford [EP/H049061].
  • Technology Strategy Board Grant AL318J, £16,000
    "Project Subversion: Automated City Generation", July - September 2009. Project with Introversion Software Ltd.

  • Technology Strategy Board Grant AK668E, £15,000
    "Board Game Generation for the iPhone", April - October 2009. Project with Introversion Software Ltd.

  • EPSRC/Technology Strategy Board Grant TS/G002835, £382,733.
    "CAD-GAME: computer aided game design", 2008 - 2011 (Principal Investigator). Project with Rebellion Developments Ltd., and Paul Cairns, University of York.

  • EPSRC/Technology Strategy Board Grant TS/G002886, £242,385.
    "AI Social Agents", 2008 - 2010 (Principal Investigator). Project with Emote Games Ltd.

  • Technology Strategy Board Grant, £15,000.
    "An API for DEFCON" August-November 2008. (Principal Investigator). Project with Introversion Software Ltd.

  • EPSRC Grant EP/F067127 - £119,464
    "Enhancing Objet Trouve Methods in Graphic Design" 2008 - 2009 (Principal Investigator).

  • EPSRC Grant EP/F036647 - £78,885
    "A Cognitive Model of Axiom Formulation and Reformulation with Application to AI and software engineering" 2008 - 2011. (Principal investigator on this PhD project, which is part of a joint project with the University of Edinburgh [EP/F035594] and Heriot-Watt University [EP/F037058]).
  • London Development Agency Grant - £8,000
    "Secondment from Introversion Software" 2007 - 2008.
  • British Council Treaty of Windsor Grant - £1,000
    "Evolution of Interactive Art Pieces" 2008 - 2009.
  • EPSRC Grant EP/F033834/1 - £99,686
    "An Industry/Academia Research Network on AI and Games Technologies" 2007 - 2010. (Principal investigator).

  • EPSRC Platform Grant EP/E005713/1 - £928,224
    "The Integration and Interaction of Multiple Mathematical Reasoning Processes" 2007 - 2011. (Co-investigator, PI Prof. Alan Bundy, University of Edinburgh).

  • EPSRC Grant GR/S31099/01 - £274,157
    "Automated Discovery in Mathematics" 2003 - 2006. (Co-investigator).

  • EPSRC Grant GR/S01771/01 - £426,2656
    "The Integration and Interaction of Multiple Mathematical Reasoning Processes" 2002 - 2006. (Co-investigator)

  • EPSRC Grant GR/R84559/01 - £58,897
    "Applying HR to the Study of Zariski Spaces" 2002 - 2003. (Co-investigator)

  • EPSRC Grant GR/M98012 - £142,000
    "Automatic Conjecture Making in Mathematics" 1999 - 2002. (Co-investigator)

  • EPSRC Grant GR/M45030/01 - £914,659
    "Computational Modelling of Mathematical Reasoning" 1998 - 2003. (Co-investigator)

Awards and Nominations

Invitations

Travel Grants

  • NSF funding to attend the AAAI 2008 Fall Symposium on Automated Scientific Discovery.
  • NSF funding to attend the AAAI 2008 Spring Symposium on Creative Intelligent Systems.
  • Royal Society funding for Think UK - Anglo-China Biotechnology conference, 2003
  • British Council Travel funding for 1st Anglo-Cuban bioinformatics workshop, 2002
  • Awarded ECCAI Travel Grant, 1999, for attendance of ECAI 1999.

Artwork

Outreach

  • Articles, videos, documentaries and webpages mentioning our work
    • "Malen nach Zahlen", by Piotr Heller, in Frankfurter Allgemeine Zeitung, December 2012. [ pdf ]
    • "Die Mozart-Machine", by Wolfgang Stiehler, in Technology Review, November 2012. [ pdf ]
    • "Artificial Creativity", by Philip Smethurst, in Pi, University College London Student Magazine, no. 44, November 2012. [ pdf ]
    • "Computers identify what makes abstract art move us", by Hal Hodson, New Scientist, 14th November 2012. [ pdf ]
    • "Kreativer Depp", by Alexandra Brohm, SonntagsZeitung, October 2012. [ pdf ]
    • "The Art of Science", by Mark Mallett, EPSRC Pioneer Magazine, September, 2012. [ pdf    online ]
    • "An Ear for Music", Cover story by Simon Fogg, New Electronics, September 11, 2012. [ pdf ]
    • "The Hunt for AI" BBC Horizon TV documentary, presented by Marcus du Sautoy, first aired on 3rd April, 2012. [ online clip ]
    • "Robot painter draws on abstract thoughts", by Gemma Kappala-Ramsamy for the Observer, April 1, 2012. [ pdf ]
    • "AI Robot: How Machine Intelligence is Evolving", by Marcus du Sautoy for the Observer, April 1, 2012. [ pdf ]
    • "Creative Sparks. Does it really take a human to make a masterpiece" by Catherine de Lange in the New Scientist, January 14 2012. [pdf   link    video  gallery]
    • "A Computer Program Painted this Artwork from its own Imagination" article by Alasdair Wilkins in the i09 online technology magazine, January 25, 2012 [link]
    • "The Monet machine? 'Art-ificial' painter improvises all its works - and often surprises its creator" article by Rob Waugh for the Daily Mail online version, January 27, 2012. [link]
    • "Die Maschine als Schopfer" article in Psychologie Heute, July 2011 [pdf]
    • "Las maquinas dan signos de saber apreciar la pintura" article in El Pais, September 25, 2010 [pdf]
    • "El robot que quiere ser artista" in El Mundo, 25th September 2010 [pdf]
    • "Llega un Robot Artista" in La Razon, 26th September 2010 [pdf]
    • "Odds and Quads" in the Times Higher Education Supplement, May 27th 2010. [pdf]
    • "Konnen Computer kreativ sein? (Ask the scientist)" in the Extra Tip Gottingen newspaper, January, 2010 [pdf]
    • "Rise of the Robogeeks" Feature by Michael Brooks. New Scientist 2697, March 3rd 2009. [ pdf ]
    • "Would you like to make a Game?" by Michael Cook, Another Castle issue 2, Spring 2009. [ pdf ]
    • "AI Developers: Stand up and be Counted!" by Richard Ellis, IEEE Intelligent Systems, 23(3), 69-71, May/June 2008.
    • "The Computer that Paints Emotions" by Matt Brown, Nature Network, January 25th, 2008. [ pdf ]
    • "Painting Fool" The Engineer Online, January 23rd, 2008. [ pdf ]
    • "There's no Fool like The Painting Fool" by Colin Smith, Imperial College News, January 21st, 2008. [ pdf ]
    • "Hey, Can you Guess What I am yet?" by Michael Cook, Felix Newspaper, January 18th, 2008. [ pdf ]
    • "The Emotionally Aware Painting Fool" in the Gizmo section, New Scientist 2638, January 12th, 2008. [ pdf ]
    • Video News Roundup, New Scientist Online, January 11th, 2008. [ video ]
    • "Art by Roboticelli" by Jo Steele, The Metro Newspaper, September 25th, 2006. [ pdf ]
    • "Picasso PCs" by Barry Gardner, Imperial College News, September 25th, 2006. [ pdf ]
    • "Machine Head" by David Cohen, Feature, New Scientist 2279, 24th February 2001.
    • "Yeah, but is it Art?" by David Boothroyd, Cover Story, New Electronics On Campus, Spring 1999.
    • "Eureka!" by Duncan Graham-Rowe, News Article, New Scientist 2150, 5th September 1998.
    • AAAI Topics Webpage on Scientific Discovery
    • AAAI Topics Webpage on Creativity
    • Simon Colton Wikipedia Page
    • HR Wikipedia Page
    • Refactorable numbers Wikipedia Page
    • Computational Creativity Wikipedia Page
  • Interviews
    • "The Painting Fool is no Idiot" interview by Jim Drury for the Reuters Network, first aired 25th June, 2012. [ Video ]
    • "The Painting Fool" interview by Laurence Lee for the Al-Jazeera Network, first aired 10th February, 2012. [ Video ]
    • "The Painting Fool" Second Nature (Second Life) Lecture Series, March 3rd, 2008.
    • "The Painting Fool" interview by Meera Senthilingam, Naked Scientists Science Interviews, BBC Radio Cambridgeshire, February 2008. [ pdf transcript ]
    • "AI in Art" interview by Geoff Watts, Leading Edge Science Programme, BBC Radio 4, 14th February 2007.
    • "Dr. Simon Colton and his Painting Computer" interview by Gareth Mitchell, Imperial College Podcast, February 2007. [ pdf transcript ]
    • "But is it Art?" interview by Thomas Adamson-Coumbousis, More4 TV News, September 26th, 2006. [ video ]
    • New Scientist Careers in Science article, 2003.
  • Talks
    • "Evolutionary Art" talk at IBM Hursley's Blue Fusion Event, March 2007.
    • Invited to give a virtual talk at the Nature Network's Second Nature forum, inside Second Life, 3rd March 2008.
    • Invited to deliver a public seminar on Computational Creativity, organised by the Business Development Unit at Imperial College, September 2006.
    • "Artificial Intelligence and Art". Talk and demonstration to schoolchildren, Wycombe High School, March 2006.
    • Numerous AI, art and creativity talks to sixth formers, in the Department of Computing at Imperial.
  • Organisational
    • Organising Committee of Imperial's GAME'09 public event.
    • Co-organiser, Imperial College's Game'08 public event.
    • Co-organiser of Imperial College's AISB society sponsored Computer Generated Artworks art exhibition, September 2006.
    • Co-organiser of Imperial College's Industry-Academic workshop on Computational Creativity, September 2006.
    • Co-organiser of the Royal Society of Edinburgh Public Understanding Event: Artificial Intelligence - In your life today, 2005
    • AISB officer for public engagement, 2001 - 2007.
    • Co-organiser of the AISB/SGAI AI for career's advisors day, City University, May, 2004.
    • Organiser of the Imperial College Computing career's advisors day, 2004.

Publications

Books

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

Newspaper/Magazine Articles

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

Theses and Dissertations

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

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

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.

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.

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

C. Browne, S. Colton, M. Cook, J. Gow and R. Baumgarten
"Towards the Adaptive Generation of Bespoke Game Content" IEEE Handbook of Digital Games, forthcoming 2013.

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, forthcoming, 2012.

A. Pease, A. Smaill, S. Colton, A. Ireland, 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.

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

A. Pease, S. Colton and J. Charnley
"Automated Theory Formation: The Next Generation"
IFCOLOG Journal Proceedings in Computational Logic, Special Issue on Theory Exploration, to appear, 2013.

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.

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

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
"On Game Design Constraints and Computational Creativity"
In Proceedings of the IEEE Conference on Computational Intelligence and Games, 2012.

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.

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.

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.

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.
"Visual Reasoning for Mathematical Concept Formation"
In the Proceedings of the Model Based Reasoning Conference, 2009.

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

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

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
"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

A. Pease, J. Charnley and S. Colton
"A theory of framing information for Computational Creativity based on grounded theory"
In Proceedings of the ECAI workshop on Computational Creativity, Concept Formation and General Intelligence, 2012.

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. 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

  • United Kingdom: EPSRC, BBSRC, British Council, Leverhulme fellowships.
  • European Union: FP7 ICT Call 5 Panel member (TEL: 2009, CA: 2011); FP7 Future and Emerging Technologies (FET) reviewer; FP7 ICT Call 8 Panel member (TEL: 2012)
  • United States: NSF, Harvard.
  • Canada: Excellence Research Chairs Panel member; Foundation for Innovation, Leaders Opportunity Fund reviewer; NSERC reviewer.
  • Belgium: FNRS.
  • Ireland: National Digital Research Centre.
  • Greece: THALIS programme, ARCHIMEDES programm.
  • Qatar: National Priorities Research programme.
  • Netherlands: NWO organisation for scientific research

Journal Editing and Reviewing

  • Editorial Board member, International Journal of Computer Games Technology.
  • Guest Editor, IEEE Transactions on Computational Intelligence and AI in Games, 2012.
  • Guest Editor, AI Magazine Vol 30(3), 2009.
  • Guest Editor, Machine Learning Vol 70(2-3), 2008.
  • Guest Editor, Journal of Artificial Intelligence and the Simulation of Behaviour (AISBJ), Vol 1(4), 2003.
  • Guest Editor, Journal of Artificial Intelligence and the Simulation of Behaviour (AISBJ), Vol 1(1), 2001.
  • Reviewed journal papers for the AIJ, MLJ, ETAI, JAR, KAIS, JMLR, KBS, New Generation Computing, IEEE TCAIG, Minds and Machines.

Professional Memberships

  • AISB - The society for the study of artificial intelligence and the simulation of behaviour
  • AAAI - The American association for artificial intelligence

Conference/Workshop Organisation

Programme Committees

2013 2012 2011 2010

2009

2008 2007 2006 2005 2004 2003 2002 2001 2000