Simon Colton

Michael Cook, Simon Colton, Azalea Raad, Jeremy Gow: Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design. EvoApplications 2013: 284-293

Cameron Browne, Edward J. Powley, Daniel Whitehouse, Simon M. Lucas, Peter I. Cowling, Philipp Rohlfshagen, Stephen Tavener, Diego Perez, Spyridon Samothrakis, Simon Colton: A Survey of Monte Carlo Tree Search Methods. IEEE Trans. Comput. Intellig. and AI in Games 4(1): 1-43 (2012)

Cameron Browne, Georgios N. Yannakakis, Simon Colton: Guest Editorial: Special Issue on Computational Aesthetics in Games. IEEE Trans. Comput. Intellig. and AI in Games 4(3): 149-151 (2012)

Jeremy Gow, Robin Baumgarten, Paul A. Cairns, Simon Colton, Paul Miller: Unsupervised Modeling of Player Style With LDA. IEEE Trans. Comput. Intellig. and AI in Games 4(3): 152-166 (2012)

Michael Cook, Simon Colton, Alison Pease: Aesthetic Considerations for Automated Platformer Design. AIIDE 2012

Jeremy Gow, Simon Colton, Paul A. Cairns, Paul Miller: Mining Rules from Player Experience and Activity Data. AIIDE 2012

Cameron Browne, Simon Colton: Computational creativity in a closed game system. CIG 2012: 296-303

Simon Colton, Geraint A. Wiggins: Computational Creativity: The Final Frontier? ECAI 2012: 21-26

Simon Colton: Evolving a Library of Artistic Scene Descriptors. EvoMUSART 2012: 35-47

Michael Cook, Simon Colton, Jeremy Gow: Initial Results from Co-operative Co-evolution for Automated Platformer Design. EvoApplications 2012: 194-203

Simon Colton, Blanca Pérez Ferrer: No photos harmed/growing paths from seed: an exhibition. Expressive 2012: 1-10

Michael Cook, Simon Colton: Multi-faceted evolution of simple arcade games. CIG 2011: 289-296

Simon Colton, Michael Cook, Azalea Raad: Ludic Considerations of Tablet-Based Evo-Art. EvoApplications (2) 2011: 223-233

Simon Colton: Stroke Matching for Paint Dances. Computational Aesthetics 2010: 67-74

Chong-U Lim, Robin Baumgarten, Simon Colton: Evolving Behaviour Trees for the Commercial Game DEFCON. EvoApplications (1) 2010: 100-110

Andrew Martin, Andrew Lim, Simon Colton, Cameron Browne: Evolving 3D Buildings for the Prototype Video Game Subversion. EvoApplications (1) 2010: 111-120

Simon Colton: Towards Ontology Use, Re-use and Abuse in a Computational Creativity Collective - A Position Statement. WoMO 2010: 1-4

Simon Colton, Ramon López de Mántaras, Oliviero Stock: Computational Creativity: Coming of Age. AI Magazine 30(3): 11-14 (2009)

Robin Baumgarten, Simon Colton, Mark Morris: Combining AI Methods for Learning Bots in a Real-Time Strategy Game. Int. J. Computer Games Technology 2009 (2009)

Simon Colton, Cameron Browne: Evolving Simple Art-Based Games. EvoWorkshops 2009: 283-292

Simon Colton, Pedro Torres: Evolving Approximate Image Filters. EvoWorkshops 2009: 467-477

Marcello Balduccini, Chitta Baral, Boyan Brodaric, Simon Colton, Peter Fox, David Gutelius, Knut Hinkelmann, Ian Horswill, Bernardo A. Huberman, Eva Hudlicka, Kristina Lerman, Christine L. Lisetti, Deborah L. McGuinness, Mary Lou Maher, Mark A. Musen, Mehran Sahami, Derek H. Sleeman, Barbara Thönssen, Juan D. Velásquez, Dan Ventura: AAAI 2008 Spring Symposia Reports. AI Magazine 29(3): 107-115 (2008)

Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reasoning 40(2-3): 221-243 (2008)

Stephen Muggleton, Ramón P. Otero, Simon Colton: Guest editorial: special issue on Inductive Logic Programming. Machine Learning 70(2-3): 119-120 (2008)

Simon Colton: Creativity Versus the Perception of Creativity in Computational Systems. AAAI Spring Symposium: Creative Intelligent Systems 2008: 14-20

Dan Ventura, Mary Lou Maher, Simon Colton: Organizing Committee. AAAI Spring Symposium: Creative Intelligent Systems 2008

Dan Ventura, Mary Lou Maher, Simon Colton: Preface. AAAI Spring Symposium: Creative Intelligent Systems 2008

John Charnley, Simon Colton: A Global Workspace Framework for Combining Reasoning Systems. AISC/MKM/Calculemus 2008: 261-265

Simon Colton, Michel François Valstar, Maja Pantic: Emotionally aware automated portrait painting. DIMEA 2008: 304-311

Simon Colton: Automatic Invention of Fitness Functions with Application to Scene Generation. EvoWorkshops 2008: 381-391

Michel François Valstar, Simon Colton, Maja Pantic: Emotionally aware automated portrait painting demonstration. FG 2008: 1-2

Simon Colton: Computational Discovery in Pure Mathematics. Computational Discovery of Scientific Knowledge 2007: 175-201

Simon Colton, Daniel Wagner: Using Formal Concept Analysis in Mathematical Discovery. Calculemus/MKM 2007: 205-220

Simon Colton, Stephen Muggleton: Mathematical applications of inductive logic programming. Machine Learning 64(1-3): 25-64 (2006)

Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton: Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51

John Charnley, Simon Colton, Ian Miguel: Automatic Generation of Implied Constraints. ECAI 2006: 73-77

Paulo E. Santos, Simon Colton, Derek R. Magee: Predictive and Descriptive Approaches to Learning Game Rules from Vision Data. IBERAMIA-SBIA 2006: 349-359

Ning Jiang, Simon Colton: Boosting Descriptive ILP for Predictive Learning in Bioinformatics. ILP 2006: 275-289

Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge: Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250

Simon Colton, Alison Pease: The TM System for Repairing Non-Theorems. Electr. Notes Theor. Comput. Sci. 125(3): 87-101 (2005)

Simon Colton: Automated conjecture making in number theory using HR, Otter and Maple. J. Symb. Comput. 39(5): 593-615 (2005)

Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland: Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414

Simon Colton, Alison Pease: Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978

Simon Colton, Sophie Huczynska: The Homer System. CADE 2003: 289-294

Simon Colton, Stephen Muggleton: ILP for Mathematical Discovery. ILP 2003: 93-111

Simon Colton: Making Conjectures about Maple Functions. AISC 2002: 259-274

Andreas Meier, Volker Sorge, Simon Colton: Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289

Simon Colton, Louise A. Dennis: The NumbersWithNames Program. AMAI 2002

Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AMAI 2002

Simon Colton: The HR Program for Theorem Generation. CADE 2002: 285-289

Simon Colton, Louise A. Dennis: The NumbersWithNames Program. ISAIM 2002

Simon Colton, Geoff Sutcliffe: Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. ISAIM 2002

Simon Colton, Ian Miguel: Constraint Generation via Automated Theory Formation. CP 2001: 575-579

Simon Colton: An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming. Electron. Trans. Artif. Intell. 4(B): 97-117 (2000)

Simon Colton, Alan Bundy, Toby Walsh: On the notion of interestingness in automated mathematical discovery. Int. J. Hum.-Comput. Stud. 53(3): 351-375 (2000)

Simon Colton, Alan Bundy, Toby Walsh: Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563

Simon Colton, Volker Sorge, Ursula Martin: Workshop: The Role of Automated Deduction in Mathematics. CADE 2000: 517

Simon Colton, Alan Bundy, Toby Walsh: Automatic Identification of Mathematical Concepts. ICML 2000: 183-190

Simon Colton, Alan Bundy, Toby Walsh: Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793

Simon Colton: HR - Automatic Concept Formation in Finite Algebras. AAAI/IAAI 1998: 1170