Dr. Simon Colton

• 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)

• Nominated for a World Technology Network award, in the Arts Category, 2012.
• Best Paper Prize, EvoGames 2012 (PhD work of Michael Cook).
• Nominated for the Best Paper Prize at EvoGames 2010.
• Nominated for the Best Paper Prize at EvoMusArt 2008.
• 2007 BCS Machine Intelligence prize winner, along with Maja Pantic and Michel Valstar.
• 2001 CPHC/BCS Distinguished Dissertations in Computer Science award.
• AAAI-2000 outstanding paper award.
• Digital Photo User/Fujifilm digital photo of the year award (millenium category, 2000).

• Keynote talks
  • Invited to give a keynote talk at the Shapes 2.0 workshop at 4th World Congress and School on Universal Logic, Rio de Janeiro, April, 2013
  • Invited to give a talk at the Frontiers of AI track, European Conference on Artificial Intelligence, Montpellier, August 2012.
  • Invited to give a keynote talk at the ECAI Workshop on Computational Creativity, Concept Invention and General Intelligence, Montpellier, August 2012.
  • Invited to present keynote talks at the 6th Mexican International Colloquium in Computational Creativity, Mexico City, October 2011.
  • Invited to present a keynote talk at the GAMEON'2010 Conference, Leicester, November 2010.
  • Invited to talk at the British Council 70th Anniversary lecture on Artificial Intelligence, Madrid, September 2010.
  • Invited to present a keynote talk at the Tenth UK Workshop on Computational Intelligence, Essex, September 2010.
  • Invited to present a keynote talk at the Fourth International Workshop on Modular Ontologies, Toronto, May 2010.
  • Invited to present a plenary talk at the Fifth International Conference on Model-Based Reasoning in Science and Technology, December 2009.
  • Invited to present a tutorial session on computer generated painting at the Electronic Visualisation and the Arts conference, July 2009.
  • Invited to present a keynote talk at the AAAI Fall Symposium on Automated Scientific Discovery, November 2008.
  • Invited to deliver a main lecture at the 2004 DIMACS workshop on Computers and Discovery.
  • Invited talk at the 1999 Automated Reasoning Workshop.
• Art Juries
• Jury for the Evolutionary Art, Design, and Creativity Competition, 2012
• Summer and Autumn Schools
• Invited lecturer at the Autumn School on Computational Creativity at the University of Helsinki, November 2011
• Invited speaker at the Summer School on Mathematics and Art at the Universidad de la Rioja, September, 2011
• Talks and demonstrations
  • Invited to talk at the Creative Web Symposium, KAIST Institute, South Korea, December, 2012.
  • Invited to talk at the Sussex COGS Series, Brighton, October, 2012.
  • Invited to talk at the Goldsmiths College Whitehead Lecture Series, London, January, 2012.
  • Invited to talk at the PhilMath InterSem, Paris, June 2012.
  • Invited to talk at the EU BISON meeting, London, 2010.
  • Invited to talk at Ion Asset Architecture Seminar Series, 2010.
  • Invited to talk at the British Computer Society Specialists' Group Executive Committee, April 2008.
  • Invited to talk at the Symposium on Computational Approaches to Creativity in Science, Stanford University, March 29-30, 2008.
  • Plenary talk on behalf of the Automated Scientific Discovery AAAI Fall Symposium, 2008
  • Plenary talk on behalf of the Creative Intelligent System AAAI Spring Symposium, 2008
  • Invited to demonstrate at the Shrewsbury Darwin Symposium, July 2007.
  • Invited talk at the BCS Computer Art Society joint meeting with the Colour Group of Great Britain, BCS headquarters, June 2007.
  • Invited to talk at the Argonne Labs AWARD-2004 workshop

• Invited departmental talks at:
  Aberdeen, Birkbeck, Birmingham, Cambridge, City, Coventry, De Montfort, Essex, Goldsmiths, ITU Copenhagen, Kent, Leeds, Loughborough, Imperial, Manchester, Miami, Paris VI, Rioja, Royal Holloway, Saarlandes, Sussex, Sydney, York.

• Teaching review panels
  • External Validator, MEng Electronic Engineering and MSci Computer Science, University of Essex.
• Grant reviewing panels
  • Invited to review for the EU FP7 Programme (Technology Enhanced Learning Panel), Brussels, March, 2012.
  • Invited to review for the EU FP7 Programme (Co-ordinated Actions Panel), Brussels, January 2011.
  • Invited to review for the EU FP7 Programme (Technology Enhanced Learning Panel), Brussels, December, 2009.
  • Invited to be a panel member for the Canada Excellence Research Chairs grant review programme, Montreal, January, 2009.

• Attendance
  • Invited participation in the Reception on Showcasing the Value of Research Universities for MPs at the Houses of Parliament, February 2013.
  • Invited to attend the EU "ICT and Creativity" expert consultation workshop, November 2012.
  • Invited to attend the EU "Dream to Reality" expert consultation workshop, October 2012.
  • Invited to attend the EU "ICT and Art Connect: Engaging Dialogues in Art and Information Technologies" event in Brussels, April 2012.
  • Invited to attend the EU expert consultation workshop on Creativity and ICT, Brussels, November 2011.
  • Invited to attend the Lorentz Centre Workshop on Creativity, Leiden, September 2011.
  • Invited to attend the SONY computer science laboratory (Paris) Open Systems Science symposium and open day, October 2009.
  • Invited to attend the Dagstuhl seminar on Computational Creativity, July 2009.
  • Invited to attend the EPSRC Digital Economy Networking Event, May 2009.
  • Invited to attend the EPSRC workshop on Games and Digital Media, November 2006.
  • Invited to attend the EA games first Academic Summit, November 2006.
  • Invited to attend the Grand Challenges for Computing Research workshop, Edinburgh, November 2002.
  • Invited to participate in the Think-UK Anglo-China Biotechnology Conference, 2003.
  • Invited to participate in the Royal Society Anglo-Cuban Bioinformatics Workshop, 2002.
  • Chosen to present at the 1998 AAAI Doctoral Consortium.
• Panel memberships
  • Automated Reasoning Workshop panel on challenges in applying automated reasoning, 2009.
  • Automated Reasoning Workshop 2008 panel session on "What Should Make Good Automated Reasoning Research" (chair)
  • Cybersalon panel session on Creative Software, 2006.
  • Panel session on AI and Games, organised by the Business Development unit, Imperial College, October 2006.
  • Automated reasoning workshop panel on "Bridging the gap between automated reasoning and the sciences", 2006 (chair).
  • IJCAR'04 ESFOR Workshop panel on application developer's wishlists (chair)
  • Grand challenges and novel applications for automated reasoning panel, CADE workshop, 2003 (chair)
  • Colognet-sponsored automated reasoning workshop panel on grand challenges for automated reasoning, 2003.
  • Colognet sponsored panel session on "Challenge problems for automated deduction with special emphasis on mathematics" at CADE-18, 2003 (chair).

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.

• Exhibitions
  • Group exhibition: "ICT and Art CONNECT" at Galerie Libre Cours, Brussels, April 2012.
  • Group exhibition at La Maison Rouge, Paris, part of the Sony CSL 15th Anniversary celebrations, September, 2011.
  • Member of a group exibition at the Computational Aesthetics Arts Programme, June 18-20, Lisbon, 2008.
  • Member of a group exibition at the Imperial College Computer Generated Artworks exhibition, 25th - 29th September 2006.
  • Demonstration at the Shrewsbury Darwin Symposium, 13th July 2007.
  • Permanent exhibition, third floor of the Huxley Building, Imperial College, London
• Commisions
  • Cover images for the Proceedings of the EvoStar 2012 Conference
  • AI Magazine, Vol 30(3), 2009. Cover artwork
  • Department of Computing brochure, 2008, multiple internal pieces [ pdf ]

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

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
"Using Computers in Mathematics and Calculating Minimum Distances of Error Correcting Codes",
MSc. Dissertation, Dept. of Pure Mathematics, University of Liverpool, 1996.

Editorials

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

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

• Co-organiser of the EPSRC-funded AI and Games Industry/Academia Research Network, (2007 - present)

Committee, Board and Organisation Memberships

• Associate of the World Technology Network (2012 - present)
• Advisory Group for MA Games course at the National Film and TV School (2011 - present).
• Steering group member, Creative Industries KTN Beacon Group on the Future of Digital Tools, 2010.
• Executive board member, The International Federation for Computational Logic (2010 - present).
• Steering committee member, International Conference on Computational Creativity (2000 - present).
• Committee member, Automated Reasoning Workshop (2001 - present).
• Committee member and public engagement officer, AISB Society (2001 - 2007).
• Imperial representative for the PASCAL network (2005-2009).
• Edinburgh/Imperial representative for the C.2.4 Computational Creativity Working Group
  (working group 4attached to EU COST Action 282 - Knowledge Exploration in Science and Technology) .
• Edinburgh representative for the Calculemus project (2000-2002).

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

• Publicity Chair, First International Joint Conference on Computational Creativity, January 2010
• Program co-chair, 1st IEEE Games Innovations Conference, 2009.
• Co-organiser, 2008 AAAI Fall Symposium on Automated Scientific Discovery.
• Co-organiser, IJCAR 2008 workshop on Combining Systems for Efficient and Scalable Reasoning.
• Co-organiser, CICM 2008 Workshop on Empirically Successful Automated Reasoning for Mathematics.
• Co-organiser, 2008 AAAI Spring Symposium on Creative Intelligent Systems.
• Organiser of the 2007 Automated Reasoning Workshop.
• Organising Committee member for the ILP'06 conference.
• Co-organiser of the ECAI'06 workshop on Computational Creativity.
• Local Arrangements Committee member for the IJCAI 2005 Conference.
• Co-chair of the Computational Creativity 2004 workshop at ECCBR'04.
• Co-chair for the CADE'03 workshop on Novel Applications of Deduction Systems.
• Co-chair for the IJCAI'03 workshop on Agents and Reasoning.
• Co-chair for the AISB'03 symposium on AI and Creativity in Arts and Science.
• Co-chair for the 2nd CADE workshop on the Role of Automated Deduction in Mathematics
• Convention chair for the AISB'01 Convention (University of York 2001, 204 delegates from 20 countries)
• Co-chair for the CADE workshop on the Role of Automated Deduction in Mathematics
• Programme chair for the Symposium on AI and Scientific Creativity held at AISB'99.

Programme Committees

• Computational Intelligence in Games
• AI and Interactive Digital Entertainment Conference
• Automated Reasoning Workshop
• Expressive 2013
• The Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13)
• GECCO Special Track on Digital Entertainment Technologies and Arts
• Conferences on Intelligent Computer Mathematics
• IJCAI Workshop on Computational Creativity, Concept Invention, and General Intelligence
• International Conference on Entertainment Computing
• Fourth International Conference on Computational Creativity
• AISB Symposium on Artificial Intelligence and Poetry
• EvoMUSART Conference
• EvoGames Workshop

• INNS Symposium on Nature Inspired Creativity
• The third workshop on Procedural Content Generation in Games
• The Eighth Annual Conference on Artificial Intelligence and Interactive Digital Entertainment
• Jury for the Evolutionary Art, Design, and Creativity Competition
• Automated Reasoning Workshop
• AISB Symposium on AI and Games
• Symposium on Non-Photorealistic Animation and Rendering
• The 20th European Conference on Artificial Intelligence
• EvoGames Workshop
• Genetic and Evolutionary Computation Conference
• AI and Symbolic Computation
• Third International Conference on Computational Creativity
• EvoMusArt Conference

• Automated Reasoning Workshop
• Conference on Computational Intelligence and Games
• Shapes@Context Workshop
• Non-Photorealistic Animation and Rendering
• Digital Entertainment, Technologies and Art special track at GECCO
• Mathematical Knowledge Management
• 5th International Workshop on Modular Ontologies
• EvoGames Workshop
• Second International Joint Conference on Computational Creativity
• EvoMUSART Workshop

• 9th Mexican International Conference on Artificial Intelligence
• 12th Iberoamerican International Congress on Artificial Intelligence
• 8th ACM symposium on Non-Photorealistic Animation and Rendering
• Discovery Science
• IEEE Conference on Computational Intelligence and Games
• AISB symposium on AI and Games
• Workshop on Procedural Content Generation in Games.
• AISB Symposium on Mathematical Practice and Cognition
• First International Joint Conference on Computational Creativity
• Computational Aesthetics Symposium
• AISC conference
• EvoMUSART Workshop
• EvoGames Workshop
• Automated Reasononing Workshop

2009

• MICAI Conference
• Computational Creativity workshop at the Australasian Joint Conference on Artificial Intelligence
• Cognition and Creativity theme, at Digital Art and Culture
• 12th International Conference on Discovery Science
• Mathematical Knowledge Management Conference
• AISB Symposium on AI and Games.
• EvoMUSART Workshop
• EvoGAMES workshop
• Automated Reasoning Workshop

• MICAI Conference
• Workshop on Cross-Media Information Analysis, Extraction and Management
• BCS SGAI International Conference on Artificial Intelligence, Applications Stream
• 13th International Computer Games Conference
• 5th International Joint Workshop on Computational Creativity
• 12th International Conference on Computer Games
• AISC Conference
• Discovery Science Conference
• Mathematical Knowledge Management Conference
• Computational Aesthetics (Art Program)
• EvoMUSART Workshop
• Automated Reasoning Workshop

• MICAI Conference
• 14th LPAR Conference
• 22nd National Conference on Artificial Intelligence (AAAI)
• Conference on Automated Deduction (CADE)
• International Joint Workshop on Computational Creativity
• CADE workshop on Disproving: Non-theorems, Non-validity, Non-provability.
• CADE workshop on Empirically Successful Automated Reasoning in Large Theories
• Mathematical Knowledge Management Conference
• 10th International Conference on Discovery Science
• Automated Reasoning Workshop

• MICAI Conference
• IJCAR Disproving Workshop
• ECAI workshop on Experiential Reasoning
• Automated Reasoning Workshop

• MICAI Conference
• IJCAI Computational Creativity Workshop
• FLAIRS Special Track on AI in Music and Art
• IJCAR Workshop on Computer-Supported Theory Development
• Automated Reasoning Workshop

• IBERAMIA Conference
• Computing and Philosophy Conference
• Model-based Reasoning in Science and Engineering Conference
• MICAI Conference
• Automated Reasoning Workshop

• The 6th International Conference on Discovery Science
• IJCAI Workshop on Creative Systems
• Automated Reasoning Workshop

• AISC Conference
• AISB Symposium on AI and Creativity in Arts and Science
• Calculemus Symposium
• ECAI Workshop on Creative Systems
• Automated Reasoning Workshop

• ICCBR Workshop on Creative Systems
• IJCAR Workshop on the Future Directions for Automated Reasoning
• AISB Symposium on AI and Creativity in Arts and Science
• Automated Reasoning Workshop

• AISB'00 Symposium on Creative and Cultural Aspects and Applications of AI and Cognitive Science