default search action
Simon Colton
Person information
- affiliation: Queen Mary University of London, Game AI Group, London, UK
- affiliation: Monash University, SensiLab, Melbourne, Australia
- affiliation: Falmouth University, MetaMakers Institute, UK
- affiliation: Imperial College London, Department of Computing, London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2002
- [b1]Simon Colton:
Automated Theory Formation in Pure Mathematics. Distinguished dissertations, Springer 2002, ISBN 978-1-85233-609-7, pp. I-XVI, 1-380
Journal Articles
- 2022
- [j18]Michael Cook, Jeremy Gow, Gillian Smith, Simon Colton:
Danesh: Interactive Tools for Understanding Procedural Content Generators. IEEE Trans. Games 14(3): 329-338 (2022) - 2019
- [j17]Antonios Liapis, Georgios N. Yannakakis, Michael Cook, Simon Colton:
Guest Editorial Special Issue on AI-Based and AI-Assisted Game Design. IEEE Trans. Games 11(1): 1-4 (2019) - 2018
- [j16]Swen E. Gaudl, Mark J. Nelson, Simon Colton, Rob Saunders, Edward Jack Powley, Blanca Pérez Ferrer, Peter Ivey, Michael Cook:
Rapid game jams with fluidic games: A user study & design methodology. Entertain. Comput. 27: 1-9 (2018) - 2017
- [j15]Michael Cook, Simon Colton, Jeremy Gow:
The ANGELINA Videogame Design System - Part I. IEEE Trans. Comput. Intell. AI Games 9(2): 192-203 (2017) - [j14]Michael Cook, Simon Colton, Jeremy Gow:
The ANGELINA Videogame Design System - Part II. IEEE Trans. Comput. Intell. AI Games 9(3): 254-266 (2017) - 2016
- [j13]Maria Teresa Llano, Simon Colton, Rose Hepworth, Jeremy Gow:
Automated Fictional Ideation via Knowledge Base Manipulation. Cogn. Comput. 8(2): 153-174 (2016) - 2012
- [j12]Cameron Browne, Edward Jack Powley, Daniel Whitehouse, Simon M. Lucas, Peter I. Cowling, Philipp Rohlfshagen, Stephen Tavener, Diego Perez Liebana, Spyridon Samothrakis, Simon Colton:
A Survey of Monte Carlo Tree Search Methods. IEEE Trans. Comput. Intell. AI Games 4(1): 1-43 (2012) - [j11]Cameron Browne, Georgios N. Yannakakis, Simon Colton:
Guest Editorial: Special Issue on Computational Aesthetics in Games. IEEE Trans. Comput. Intell. AI Games 4(3): 149-151 (2012) - [j10]Jeremy Gow, Robin Baumgarten, Paul A. Cairns, Simon Colton, Paul Miller:
Unsupervised Modeling of Player Style With LDA. IEEE Trans. Comput. Intell. AI Games 4(3): 152-166 (2012) - 2009
- [j9]Simon Colton, Ramón López de Mántaras, Oliviero Stock:
Computational Creativity: Coming of Age. AI Mag. 30(3): 11-14 (2009) - [j8]Robin Baumgarten, Simon Colton, Mark Morris:
Combining AI Methods for Learning Bots in a Real-Time Strategy Game. Int. J. Comput. Games Technol. 2009: 129075:1-129075:10 (2009) - 2008
- [j7]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 Mag. 29(3): 107-115 (2008) - [j6]Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton:
Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. 40(2-3): 221-243 (2008) - [j5]Stephen H. Muggleton, Ramón P. Otero, Simon Colton:
Guest editorial: special issue on Inductive Logic Programming. Mach. Learn. 70(2-3): 119-120 (2008) - 2006
- [j4]Simon Colton, Stephen H. Muggleton:
Mathematical applications of inductive logic programming. Mach. Learn. 64(1-3): 25-64 (2006) - 2005
- [j3]Simon Colton:
Automated conjecture making in number theory using HR, Otter and Maple. J. Symb. Comput. 39(5): 593-615 (2005) - 2000
- [j2]Simon Colton:
An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming. Electron. Trans. Artif. Intell. 4(B): 97-117 (2000) - [j1]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)
Conference and Workshop Papers
- 2024
- [c121]Keshav Bhandari, Simon Colton:
Motifs, Phrases, and Beyond: The Modelling of Structure in Symbolic Music Generation. EvoMUSART 2024: 33-51 - 2023
- [c120]Berker Banar, Nick Bryan-Kinns, Simon Colton:
A Tool for Generating Controllable Variations of Musical Themes Using Variational Autoencoders with Latent Space Regularisation. AAAI 2023: 16401-16403 - [c119]Simon Colton, Berker Banar:
Automatically Adding to Artistic Cultures. EvoMUSART@EvoStar 2023: 50-66 - [c118]Simon Colton, Sara Cardinale:
Extending Generative Neo-Riemannian Theory for Event-Based Soundtrack Production. EvoMUSART@EvoStar 2023: 67-83 - [c117]Alison Pease, Simon Colton, Berker Banar:
On the Notion of Creative Personhood. ICCC 2023: 117-121 - [c116]Simon Colton, Berker Banar, Sara Cardinale:
Neuro-Symbolic Generation of Music with Talking Points. ICCC 2023: 225-233 - [c115]Sebastian Berns, Simon Colton, Christian Guckelsberger:
Towards Mode Balancing of Generative Models via Diversity Weights. ICCC 2023: 254-263 - [c114]Simon Colton, Blanca Pérez Ferrer, Amy Smith, Sebastian Berns:
Artist Discovery with Stable Evolusion. ICCC 2023: 402-406 - [c113]Matthew Rice, Simon Colton:
The Lena Singer Project: Simulating the Learning Experience of a Singer. ICCC 2023: 427-431 - 2022
- [c112]Berker Banar, Simon Colton:
A Systematic Evaluation of GPT-2-Based Music Generation. EvoMUSART 2022: 19-35 - [c111]Amy Smith, Simon Colton:
The @artbhot Text-To-Image Twitter Bot. ICCC 2022: 175-179 - [c110]Sara Cardinale, Simon Colton:
Neo-Riemannian Theory for Generative Film and Videogame Music. ICCC 2022: 231-235 - [c109]Berker Banar, Simon Colton:
Connecting Audio and Graphic Score Using Self-supervised Representation Learning - A Case Study with György Ligeti's Artikulation. ICCC 2022: 236-240 - [c108]Berker Banar, Simon Colton:
Identifying Critical Decision Points in Musical Compositions using Machine Learning. MMSP 2022: 1-6 - [c107]Simon Colton:
Towards Educating Artificial Neural Systems. NeSy 2022: 186-191 - 2021
- [c106]Simon Colton:
Evolving Neural Style Transfer Blends. EvoMUSART 2021: 65-81 - [c105]Alexander Hagg, Sebastian Berns, Alexander Asteroth, Simon Colton, Thomas Bäck:
Expressivity of parameterized and data-driven representations in quality diversity search. GECCO 2021: 678-686 - [c104]Terence Broad, Sebastian Berns, Simon Colton, Mick Grierson:
Active Divergence with Generative Deep Learning - A Survey and Taxonomy. ICCC 2021: 227-236 - [c103]Simon Colton, Amy Smith, Sebastian Berns, Ryan Murdock:
Generative Search Engines: First Experiments. ICCC 2021: 237-246 - [c102]Simon Colton, Blanca Pérez Ferrer:
GANlapse Generative Photography. ICCC 2021: 281-285 - [c101]Sebastian Berns, Terence Broad, Christian Guckelsberger, Simon Colton:
Automating Generative Deep Learning for Artistic Purposes: Challenges and Opportunities. ICCC 2021: 357-366 - 2020
- [c100]Simon Colton, Jon McCormack, Sebastian Berns, Elena Petrovskaya, Michael Cook:
Adapting and Enhancing Evolutionary Art for Casual Creation. EvoMUSART 2020: 17-34 - [c99]Jonathan Young, Simon Colton:
Controlling Self-organization in Generative Creative Systems. EvoMUSART 2020: 194-209 - [c98]Elena Petrovskaya, Sebastian Deterding, Simon Colton:
Casual Creators in the Wild: A Typology of Commercial Generative Creativity Support Tools. ICCC 2020: 65-72 - [c97]Simon Colton, Jon McCormack, Michael Cook, Sebastian Berns:
Creativity Theatre for Demonstrable Computational Creativity. ICCC 2020: 288-291 - [c96]Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton:
Explainable Computational Creativity. ICCC 2020: 334-341 - [c95]Simon Colton, Alison Pease, Christian Guckelsberger, Jon McCormack, Maria Teresa Llano:
On the Machine Condition and its Creative Expression. ICCC 2020: 342-349 - [c94]Sebastian Berns, Simon Colton:
Bridging Generative Deep Learning and Computational Creativity. ICCC 2020: 406-409 - 2019
- [c93]Michael Cook, Simon Colton, Jeremy Gow, Gillian Smith:
General Analytical Techniques For Parameter-Based Procedural Content Generators. CoG 2019: 1-8 - [c92]Andrew R. Martin, Simon Colton:
Towards Liveness in Game Development. CoG 2019: 1-4 - [c91]Dilpreet Singh, Nina Rajcic, Simon Colton, Jon McCormack:
Camera Obscurer: Generative Art for Design Inspiration. EvoMUSART 2019: 51-68 - [c90]Simon Colton, Alison Pease, Michael Cook, Chunyang Chen:
The HR3 System for Automatic Code Generation in Creative Settings. ICCC 2019: 108-115 - [c89]Michael Cook, Simon Colton, Alison Pease, Maria Teresa Llano:
Framing In Computational Creativity - A Survey And Taxonomy. ICCC 2019: 156-163 - [c88]Alison Pease, Simon Colton, Chris Warburton, Athanasios Nathanail, Irina Preda, Daniel Arnold, Daniel Winterstein, Mike Cook:
The Importance of Applying Computational Creativity to Scientific and Mathematical Domains. ICCC 2019: 250-257 - 2018
- [c87]Michael Cook, Simon Colton, Azalea Raad:
Inferring Design Constraints From Game Ruleset Analysis. CIG 2018: 1-8 - [c86]Mark J. Nelson, Swen E. Gaudl, Simon Colton, Sebastian Deterding:
Curious users of casual creators. FDG 2018: 61:1-61:6 - [c85]Michael Cook, Simon Colton:
Redesigning Computationally Creative Systems For Continuous Creation. ICCC 2018: 32-39 - [c84]Edward J. Powley, Simon Colton, Michael Cook:
Investigating and Automating the Creative Act of Software Engineering: A Position Paper. ICCC 2018: 224-231 - [c83]Michael Cook, Simon Colton:
Neighbouring Communities: Interaction, Lessons and Opportunities. ICCC 2018: 256-263 - [c82]Peter Ivey, Blanca Pérez Ferrer, Rob Saunders, Swen E. Gaudl, Edward J. Powley, Mark J. Nelson, Simon Colton, Michael Cook:
A Parameter-Space Design Methodology for Casual Creators. ICCC 2018: 264-271 - [c81]Alison Pease, Simon Colton, Rob Saunders:
Issues of Authenticity in Autonomously Creative Systems. ICCC 2018: 272-279 - [c80]Andrew Ireland, Maria Teresa Llano, Simon Colton:
The Use of Automated Theory Formation in Support of Hazard Analysis. NFM 2018: 237-243 - 2017
- [c79]Edward Jack Powley, Mark J. Nelson, Swen E. Gaudl, Simon Colton, Blanca Pérez Ferrer, Rob Saunders, Peter Ivey, Michael Cook:
Wevva: Democratising Game Design. AIIDE 2017: 273-276 - [c78]Mark J. Nelson, Simon Colton, Edward Jack Powley, Swen E. Gaudl, Peter Ivey, Rob Saunders, Blanca Pérez Ferrer, Michael Cook:
Mixed-Initiative Approaches to On-Device Mobile Game Design. MICI@CHI 2017 - [c77]Christian Guckelsberger, Christoph Salge, Simon Colton:
Addressing the "Why?" in Computational Creativity: A Non-Anthropocentric, Minimal Model of Intentional Creative Agency. ICCC 2017: 128-135 - [c76]Mark J. Nelson, Swen E. Gaudl, Simon Colton, Edward Jack Powley, Blanca Pérez Ferrer, Rob Saunders, Peter Ivey, Michael Cook:
Fluidic Games in Cultural Contexts. ICCC 2017: 175-182 - 2016
- [c75]Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow:
Semi-Automated Design Space Exploration for Formal Modelling. ABZ 2016: 282-289 - [c74]Michael Cook, Jeremy Gow, Simon Colton:
Towards the automatic optimisation of procedural content generators. CIG 2016: 1-8 - [c73]Christian Guckelsberger, Christoph Salge, Simon Colton:
Intrinsically motivated general companion NPCs via Coupled Empowerment Maximisation. CIG 2016: 1-8 - [c72]Edward Jack Powley, Simon Colton, Swen E. Gaudl, Rob Saunders, Mark J. Nelson:
Semi-automated level design via auto-playtesting for handheld casual game creation. CIG 2016: 1-8 - [c71]Christian Guckelsberger, Christoph Salge, Rob Saunders, Simon Colton:
Supportive and Antagonistic Behaviour in Distributed Computational Creativity via Coupled Empowerment Maximisation. ICCC 2016: 9-16 - [c70]Maria Teresa Llano, Christian Guckelsberger, Rose Hepworth, Jeremy Gow, Joseph Corneli, Simon Colton:
What If A Fish Got Drunk? Exploring the Plausibility of Machine-Generated Fictions. ICCC 2016: 213-221 - [c69]Simon Colton, Maria Teresa Llano, Rose Hepworth, John William Charnley, Catherine V. Gale, Archie Baron, François Pachet, Pierre Roy, Pablo Gervás, Nick Collins, Bob L. Sturm, Tillman Weyde, Daniel Wolff, James Robert Lloyd:
The "Beyond the Fence" Musical and "Computer Says Show" Documentary. ICCC 2016: 311-321 - [c68]John William Charnley, Simon Colton, Maria Teresa Llano, Joseph Corneli:
The FloWr Online Plat-form: Automated Programming and Computational Creativity as a Service. ICCC 2016: 363-370 - 2015
- [c67]Michael Cook, Simon Colton:
Generating Code For Expressing Simple Preferences: Moving On From Hardcoding And Randomness. ICCC 2015: 8-16 - [c66]Simon Colton, Jakob Halskov, Dan Ventura, Ian Gouldstone, Michael Cook, Blanca Pérez Ferrer:
The Painting Fool Sees! New Projects with the Automated Painter. ICCC 2015: 189-196 - [c65]Joseph Corneli, Anna Jordanous, Rosie Shepperd, Maria Teresa Llano, Joanna Misztal, Simon Colton, Christian Guckelsberger:
Computational Poetry Workshop: Making Sense of Work in Progress. ICCC 2015: 268-275 - 2014
- [c64]Michael Cook, Simon Colton:
Ludus Ex Machina: Building A 3D Game Designer That Competes Alongside Humans. ICCC 2014: 54-62 - [c63]Simon Colton, Alison Pease, Joseph Corneli, Michael Cook:
Assessing Progress in Building Autonomously Creative Systems. ICCC 2014: 137-145 - [c62]Maria Teresa Llano, Rose Hepworth, Simon Colton, Jeremy Gow, John William Charnley, Nada Lavrac, Martin Znidarsic, Matic Perovsek, Mark Granroth-Wilding, Stephen Clark:
Baseline Methods for Automated Fictional Ideation. ICCC 2014: 211-219 - [c61]Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease:
COINVENT: Towards a Computational Concept Invention Theory. ICCC 2014: 288-296 - [c60]John William Charnley, Simon Colton, Maria Teresa Llano:
The FloWr Framework: Automated Flowchart Construction, Optimisation and Alteration for Creative Systems. ICCC 2014: 315-323 - [c59]Simon Colton, Dan Ventura:
You Can't Know my Mind: A Festival of Computational Creativity. ICCC 2014: 351-354 - 2013
- [c58]Michael Cook, Simon Colton, Azalea Raad, Jeremy Gow:
Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design. EvoApplications 2013: 284-293 - [c57]Alison Pease, Simon Colton, Ramin Ramezani, John William Charnley, Kate Reed:
A Discussion on Serendipity in Creative Systems. ICCC 2013: 64-71 - [c56]Michael Cook, Simon Colton, Jeremy Gow:
Nobody's A Critic: On The Evaluation Of Creative Code Generators - A Case Study In Video Game Design. ICCC 2013: 123-130 - [c55]Flaminia Cavallo, Alison Pease, Jeremy Gow, Simon Colton:
Using Theory Formation Techniques for the Invention of Fictional Concepts. ICCC 2013: 176-183 - [c54]Matic Perovsek, Bojan Cestnik, Tanja Urbancic, Simon Colton, Nada Lavrac:
Towards Narrative Ideation via Cross-Context Link Discovery Using Banded Matrices. IDA 2013: 333-344 - [c53]Simon Colton:
On Shape Poems and the Shape of Poems: A Computational Creativity Perspective. SHAPES 2013: 23-28 - 2012
- [c52]Michael Cook, Simon Colton, Alison Pease:
Aesthetic Considerations for Automated Platformer Design. AIIDE 2012 - [c51]Jeremy Gow, Simon Colton, Paul A. Cairns, Paul Miller:
Mining Rules from Player Experience and Activity Data. AIIDE 2012 - [c50]Cameron Browne, Simon Colton:
Computational creativity in a closed game system. CIG 2012: 296-303 - [c49]Simon Colton, Geraint A. Wiggins:
Computational Creativity: The Final Frontier? ECAI 2012: 21-26 - [c48]Simon Colton:
Evolving a Library of Artistic Scene Descriptors. EvoMUSART 2012: 35-47 - [c47]Michael Cook, Simon Colton, Jeremy Gow:
Initial Results from Co-operative Co-evolution for Automated Platformer Design. EvoApplications 2012: 194-203 - [c46]John William Charnley, Alison Pease, Simon Colton:
On the Notion of Framing in Computational Creativity. ICCC 2012: 77-81 - [c45]Simon Colton, Jacob Goodwin, Tony Veale:
Full-FACE Poetry Generation. ICCC 2012: 95-102 - [c44]Simon Colton, Blanca Pérez Ferrer:
No photos harmed/growing paths from seed: an exhibition. NPAR@Expressive 2012: 1-10 - 2011
- [c43]Michael Cook, Simon Colton:
Multi-faceted evolution of simple arcade games. CIG 2011: 289-296 - [c42]Simon Colton, Michael Cook, Azalea Raad:
Ludic Considerations of Tablet-Based Evo-Art. EvoApplications (2) 2011: 223-233 - [c41]Michael Cook, Simon Colton:
Automated Collage Generation - With More Intent. ICCC 2011: 1-3 - [c40]Alison Pease, Simon Colton:
Computational Creativity Theory: Inspirations behind the FACE and the IDEA models. ICCC 2011: 72-77 - [c39]Simon Colton, John William Charnley, Alison Pease:
Computational Creativity Theory: The FACE and IDEA Descriptive Models. ICCC 2011: 90-95 - 2010
- [c38]Simon Colton:
Stroke Matching for Paint Dances. CAe 2010: 67-74 - [c37]Chong-U Lim, Robin Baumgarten, Simon Colton:
Evolving Behaviour Trees for the Commercial Game DEFCON. EvoApplications (1) 2010: 100-110 - [c36]Andrew R. Martin, Andrew Lim, Simon Colton, Cameron Browne:
Evolving 3D Buildings for the Prototype Video Game Subversion. EvoApplications (1) 2010: 111-120 - [c35]Anna Krzeczkowska, Jad El-Hage, Simon Colton, Stephen Clark:
Automated Collage Generation - With Intent. ICCC 2010: 36-40 - [c34]Simon Colton, Jeremy Gow, Pedro Torres, Paul A. Cairns:
Experiments in Objet Trouvé Browsing. ICCC 2010: 238-247 - [c33]Simon Colton:
Towards Ontology Use, Re-use and Abuse in a Computational Creativity Collective - A Position Statement. WoMO 2010: 1-4 - 2009
- [c32]Simon Colton, Cameron Browne:
Evolving Simple Art-Based Games. EvoWorkshops 2009: 283-292 - [c31]Simon Colton, Pedro Torres:
Evolving Approximate Image Filters. EvoWorkshops 2009: 467-477 - 2008
- [c30]Simon Colton:
Joined-Up Reasoning for Automated Scientific Discovery: A Position Statement and Research Agenda. AAAI Fall Symposium: Automated Scientific Discovery 2008: 18-19 - [c29]Simon Colton:
Creativity Versus the Perception of Creativity in Computational Systems. AAAI Spring Symposium: Creative Intelligent Systems 2008: 14-20 - [c28]Dan Ventura, Mary Lou Maher, Simon Colton:
Organizing Committee. AAAI Spring Symposium: Creative Intelligent Systems 2008 - [c27]Dan Ventura, Mary Lou Maher, Simon Colton:
Preface. AAAI Spring Symposium: Creative Intelligent Systems 2008 - [c26]John William Charnley, Simon Colton:
A Global Workspace Framework for Combining Reasoning Systems. AISC/MKM/Calculemus 2008: 261-265 - [c25]Simon Colton, Michel François Valstar, Maja Pantic:
Emotionally aware automated portrait painting. DIMEA 2008: 304-311 - [c24]Simon Colton:
Automatic Invention of Fitness Functions with Application to Scene Generation. EvoWorkshops 2008: 381-391 - [c23]Michel François Valstar, Simon Colton, Maja Pantic:
Emotionally aware automated portrait painting demonstration. FG 2008: 1-2 - 2007
- [c22]Simon Colton, Daniel Wagner:
Using Formal Concept Analysis in Mathematical Discovery. Calculemus/MKM 2007: 205-220 - 2006
- [c21]Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton:
Automatic Construction and Verification of Isotopy Invariants. IJCAR 2006: 36-51 - [c20]John William Charnley, Simon Colton, Ian Miguel:
Automatic Generation of Implied Constraints. ECAI 2006: 73-77 - [c19]Paulo E. Santos, Simon Colton, Derek R. Magee:
Predictive and Descriptive Approaches to Learning Game Rules from Vision Data. IBERAMIA-SBIA 2006: 349-359 - [c18]Ning Jiang, Simon Colton:
Boosting Descriptive ILP for Predictive Learning in Bioinformatics. ILP 2006: 275-289 - [c17]Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge:
Managing Automatically Formed Mathematical Theories. MKM 2006: 237-250 - 2004
- [c16]Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland:
Automatic Generation of Classification Theorems for Finite Algebras. IJCAR 2004: 400-414 - [c15]Simon Colton, Alison Pease:
Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978 - [c14]Simon Colton, Alison Pease:
The TM System for Repairing Non-Theorems. D/PDPAR@IJCAR 2004: 87-101 - 2003
- [c13]Simon Colton, Sophie Huczynska:
The Homer System. CADE 2003: 289-294 - [c12]Simon Colton, Stephen H. Muggleton:
ILP for Mathematical Discovery. ILP 2003: 93-111 - 2002
- [c11]Simon Colton:
Making Conjectures about Maple Functions. AISC 2002: 259-274 - [c10]Andreas Meier, Volker Sorge, Simon Colton:
Employing Theory Formation to Guide Proof Planning. AISC 2002: 275-289 - [c9]Simon Colton:
The HR Program for Theorem Generation. CADE 2002: 285-289 - [c8]Simon Colton, Louise A. Dennis:
The NumbersWithNames Program. AI&M 2002 - [c7]Simon Colton, Geoff Sutcliffe:
Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AI&M 2002 - 2001
- [c6]Simon Colton, Ian Miguel:
Constraint Generation via Automated Theory Formation. CP 2001: 575-579 - 2000
- [c5]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Invention of Integer Sequences. AAAI/IAAI 2000: 558-563 - [c4]Simon Colton, Volker Sorge, Ursula Martin:
Workshop: The Role of Automated Deduction in Mathematics. CADE 2000: 517 - [c3]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Identification of Mathematical Concepts. ICML 2000: 183-190 - 1999
- [c2]Simon Colton, Alan Bundy, Toby Walsh:
Automatic Concept Formation in Pure Mathematics. IJCAI 1999: 786-793 - 1998
- [c1]Simon Colton:
HR - Automatic Concept Formation in Finite Algebras. AAAI/IAAI 1998: 1170
Parts in Books or Collections
- 2007
- [p1]Simon Colton:
Computational Discovery in Pure Mathematics. Computational Discovery of Scientific Knowledge 2007: 175-201
Editorship
- 2015
- [e2]Hannu Toivonen, Simon Colton, Michael Cook, Dan Ventura:
Proceedings of the Sixth International Conference on Computational Creativity, ICCC 2015, Park City, Utah, USA, June 29 - July 2, 2015. computationalcreativity.net 2015, ISBN 978-0-8425-2970-9 [contents] - 2014
- [e1]Simon Colton, Dan Ventura, Nada Lavrac, Michael Cook:
Proceedings of the Fifth International Conference on Computational Creativity, ICCC 2014, Ljubljana, Slovenia, June 10-13, 2014. computationalcreativity.net 2014, ISBN 978-961-264-055-2 [contents]
Informal and Other Publications
- 2024
- [i16]Keshav Bhandari, Simon Colton:
Motifs, Phrases, and Beyond: The Modelling of Structure in Symbolic Music Generation. CoRR abs/2403.07995 (2024) - 2023
- [i15]Amy Smith, Hope Schroeder, Ziv Epstein, Michael Cook, Simon Colton, Andrew Lippman:
Trash to Treasure: Using text-to-image models to inform the design of physical artefacts. CoRR abs/2302.00561 (2023) - [i14]Sebastian Berns, Simon Colton, Christian Guckelsberger:
Towards Mode Balancing of Generative Models via Diversity Weights. CoRR abs/2304.11961 (2023) - [i13]Nick Bryan-Kinns, Berker Banar, Corey Ford, Courtney N. Reed, Yixiao Zhang, Simon Colton, Jack Armitage:
Exploring XAI for the Arts: Explaining Latent Space in Generative Music. CoRR abs/2308.05496 (2023) - 2022
- [i12]Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton:
Explainable Computational Creativity. CoRR abs/2205.05682 (2022) - [i11]Simon Colton, Maria Teresa Llano, Rose Hepworth, John William Charnley, Catherine V. Gale, Archie Baron, François Pachet, Pierre Roy, Pablo Gervás, Nick Collins, Bob L. Sturm, Tillman Weyde, Daniel Wolff, James Robert Lloyd:
The Beyond the Fence Musical and Computer Says Show Documentary. CoRR abs/2206.03224 (2022) - 2021
- [i10]Alexander Hagg, Sebastian Berns, Alexander Asteroth, Simon Colton, Thomas Bäck:
Expressivity of Parameterized and Data-driven Representations in Quality Diversity Search. CoRR abs/2105.04247 (2021) - [i9]Sebastian Berns, Terence Broad, Christian Guckelsberger, Simon Colton:
Automating Generative Deep Learning for Artistic Purposes: Challenges and Opportunities. CoRR abs/2107.01858 (2021) - [i8]Terence Broad, Sebastian Berns, Simon Colton, Mick Grierson:
Active Divergence with Generative Deep Learning - A Survey and Taxonomy. CoRR abs/2107.05599 (2021) - 2019
- [i7]Dilpreet Singh, Nina Rajcic, Simon Colton, Jon McCormack:
Camera Obscurer: Generative Art for Design Inspiration. CoRR abs/1903.02165 (2019) - 2018
- [i6]Swen E. Gaudl, Mark J. Nelson, Simon Colton, Rob Saunders, Edward Jack Powley, Peter Ivey, Blanca Pérez Ferrer, Michael Cook:
Exploring Novel Game Spaces with Fluidic Games. CoRR abs/1803.01403 (2018) - 2017
- [i5]Michael Cook, Adam Summerville, Simon Colton:
Off The Beaten Lane: AI Challenges In MOBAs Beyond Player Control. CoRR abs/1706.03122 (2017) - 2016
- [i4]Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow:
Semi-Automated Design Space Exploration for Formal Modelling. CoRR abs/1603.00636 (2016) - 2015
- [i3]Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi:
The Digital Synaptic Neural Substrate: A New Approach to Computational Creativity. CoRR abs/1507.07058 (2015) - 2014
- [i2]Joseph Corneli, Alison Pease, Simon Colton, Anna Jordanous, Christian Guckelsberger:
Modelling serendipity in a computational context. CoRR abs/1411.0440 (2014) - 2009
- [i1]Simon Colton:
Seven Catchy Phrases for Computational Creativity Research. Computational Creativity: An Interdisciplinary Approach 2009
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-22 21:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint