Skip to main content
Research

Publications: Prof Simon Colton

Banar B, Bryan-Kinns N, Colton S . A Tool for Generating Controllable Variations of Musical Themes Using Variational Autoencoders with Latent Space Regularisation . Proceedings of the AAAI Conference on Artificial Intelligence . vol. 37 , 16401 - 16403 .
Banar B, Colton S ( 2023 ) . Autoregressive Self-Evaluation: A Case Study of Music Generation Using Large Language Models . Conference: 2023 IEEE Conference on Artificial Intelligence (CAI) vol. 00 , 264 - 265 .
Colton S, Banar B ( 2023 ) . Automatically Adding to Artistic Cultures . Artificial Intelligence in Music, Sound, Art and Design , vol. 13988 , Springer Nature
Colton S, Cardinale S ( 2023 ) . Extending Generative Neo-Riemannian Theory for Event-Based Soundtrack Production . Artificial Intelligence in Music, Sound, Art and Design , vol. 13988 , Springer Nature
Banar B, Colton S ( 2022 ) . Connecting Audio and Graphic Score using Self-supervised Representation Learning - A Case Study with György Ligeti's Artikulation . Conference: International Conference on Computational Creativity 2022
Cardinale S, Colton S ( 2022 ) . Neo-Riemannian Theory for Generative Film and Videogame Music . Conference: International Conference on Computational Creativity from: 27/06/2022 to: 01/07/2022 ,
Banar B, Colton S ( 2022 ) . A Systematic Evaluation of GPT-2-Based Music Generation . Artificial Intelligence in Music, Sound, Art and Design , vol. 13221 , Springer Nature
Banar B, Colton S ( 2022 ) . Identifying Critical Decision Points in Musical Compositions using Machine Learning . Conference: 2022 IEEE 24th International Workshop on Multimedia Signal Processing (MMSP) vol. 00 , 1 - 6 .
Apperly I, Bundy A, Cohn A, Colton S, Cussens J, D'Avila Garcez A, Hahn U, Jamnik M et al. ( 2022 ) . Preface . CEUR Workshop Proceedings vol. 3227 ,
Smith A, Colton S ( 2022 ) . The @artbhot Text-To-Image Twitter Bot . Proceedings of the 13th International Conference on Computational Creativity, ICCC 2022 . 175 - 179 .
Colton S ( 2022 ) . Towards Educating Artificial Neural Systems . CEUR Workshop Proceedings . vol. 3212 ,
Hagg A, Berns S, Asteroth A, Colton S, Bäck T ( 2021 ) . Expressivity of parameterized and data-driven representations in quality diversity search . Conference: Proceedings of the Genetic and Evolutionary Computation Conference678 - 686 .
Cook M, Gow J, Smith G, Colton S ( 2021 ) . Danesh: Interactive Tools for Understanding Procedural Content Generators . IEEE Transactions on Games vol. 14 , ( 3 ) 329 - 338 .
Colton S ( 2021 ) . Evolving Neural Style Transfer Blends . vol. 12693 , 65 - 81 .
Broad T, Berns S, Colton S, Grierson M ( 2021 ) . Active Divergence with Generative Deep Learning - A Survey and Taxonomy . Proceedings of the 12th International Conference on Computational Creativity, ICCC 2021 . 227 - 236 .
Berns S, Broad T, Guckelsberger C, Colton S ( 2021 ) . Automating Generative Deep Learning for Artistic Purposes: Challenges and Opportunities . Proceedings of the 12th International Conference on Computational Creativity, ICCC 2021 . 357 - 366 .
Colton S, Berns S, Ferrer BP ( 2021 ) . First experiments in the automatic generation of pseudo-profound pseudo-bullshit image titles . AISB Convention 2021: Communication and Conversations .
Colton S, Ferrer BP ( 2021 ) . GANlapse Generative Photography . Proceedings of the 12th International Conference on Computational Creativity, ICCC 2021 . 281 - 285 .
Colton S, Smith A, Berns S, Murdock R, Cook M ( 2021 ) . Generative Search Engines: Initial Experiments . Proceedings of the 12th International Conference on Computational Creativity, ICCC 2021 . 237 - 247 .
Colton S, McCormack J, Berns S, Petrovskaya E, Cook M ( 2020 ) . Adapting and Enhancing Evolutionary Art for Casual Creation . vol. 12103 , 17 - 34 .
Young J, Colton S ( 2020 ) . Controlling Self-organization in Generative Creative Systems . Artificial Intelligence in Music, Sound, Art and Design , vol. 12103 , Springer Nature
Colton S ( 2020 ) . Possibilities and Limitations for AI: What Can’t Machines Do? . Work in the Future , Springer Nature
Cook M, Colton S, Gow J, Smith G ( 2019 ) . General Analytical Techniques For Parameter-Based Procedural Content Generators . Conference: 2019 IEEE Conference on Games (CoG) vol. 00 , 1 - 8 .
Martin AR, Colton S ( 2019 ) . Towards Liveness in Game Development . Conference: 2019 IEEE Conference on Games (CoG) vol. 00 , 1 - 4 .
( 2019 ) . Guest Editorial Special Issue on AI-Based and AI-Assisted Game Design . IEEE Transactions on Games vol. 11 , ( 1 ) 1 - 4 .
Singh D, Rajcic N, Colton S, McCormack J ( 2019 ) . Camera Obscurer: Generative Art for Design Inspiration . vol. 11453 , 51 - 68 .
Cook M, Colton S, Pease A, Llano MT ( 2019 ) . Framing in computational creativity - A survey and taxonomy . Proceedings of the 10th International Conference on Computational Creativity, ICCC 2019 . 156 - 163 .
Colton S, Pease A, Cook M, Chen C ( 2019 ) . The HR3 system for automated code generation in creative settings . Proceedings of the 10th International Conference on Computational Creativity, ICCC 2019 . 108 - 115 .
Pease A, Colton S, Warburton C, Nathanail A, Preda I, Arnold D, Winterstein D, Cook M ( 2019 ) . The importance of applying computational creativity to scientific and mathematical domains . Proceedings of the 10th International Conference on Computational Creativity, ICCC 2019 . 250 - 257 .
Cook M, Colton S, Raad A ( 2018 ) . Inferring Design Constraints From Game Ruleset Analysis . Conference: 2018 IEEE Conference on Computational Intelligence and Games (CIG) vol. 00 , 1 - 8 .
Nelson MJ, Gaudl SE, Colton S, Deterding S ( 2018 ) . Curious users of casual creators . Conference: Proceedings of the 13th International Conference on the Foundations of Digital Games1 - 6 .
Ireland A, Llano MT, Colton S ( 2018 ) . The Use of Automated Theory Formation in Support of Hazard Analysis . vol. 10811 , 237 - 243 .
Gaudl SE, Nelson MJ, Colton S, Saunders R, Powley EJ, Pérez Ferrer B, Ivey P, Cook M ( 2018 ) . Rapid game jams with fluidic games: A user study & design methodology . Entertainment Computing vol. 27 , Article C , 1 - 9 .
Colton S, Nelson MJ, Powley EJ, Gaudl Rob Saunders SE, Ferrer BP, Ivey P, Cook M ( 2018 ) . A parameter-space design methodology for casual creators . Proceedings of the 9th International Conference on Computational Creativity, ICCC 2018 . 264 - 271 .
Colton S, Powley EJ, Cook M ( 2018 ) . Investigating and automating the creative act of software engineering . Proceedings of the 9th International Conference on Computational Creativity, ICCC 2018 . 224 - 231 .
Colton S, Pease A, Saunders R ( 2018 ) . Issues of authenticity in autonomously creative systems . Proceedings of the 9th International Conference on Computational Creativity, ICCC 2018 . 272 - 279 .
Cook M, Colton S ( 2018 ) . Neighbouring communities: Interaction, lessons and opportunities . Proceedings of the 9th International Conference on Computational Creativity, ICCC 2018 . 256 - 263 .
Cook M, Colton S ( 2018 ) . Redesigning computationally creative systems for continuous creation . Proceedings of the 9th International Conference on Computational Creativity, ICCC 2018 . 32 - 39 .
Guckelsberger C, Salge C, Colton S ( 2017 ) . Addressing the “Why?” in computational creativity: A non-anthropocentric, minimal model of intentional creative agency . Proceedings of the 8th International Conference on Computational Creativity, ICCC 2017 .
Gaudl SE, Nelson MJ, Colton S, Saunders R, Powley EJ, Ivey P, Ferrer BP, Cook M ( 2017 ) . Exploring novel game spaces with fluidic games . Proceedings of AISB Annual Convention 2017 . 344 - 347 .
Nelson MJ, Gaudl SE, Colton S, Powley EJ, Ferrer BP, Saunders R, Ivey P, Cook M ( 2017 ) . Fluidic games in cultural contexts . Proceedings of the 8th International Conference on Computational Creativity, ICCC 2017 .
Nelson MJ, Colton S, Powley EJ, Gaudl SE, Ivey P, Saunders R, Ferrer BP, Cook M ( 2017 ) . Mixed-initiative approaches to on-device mobile game design . CEUR Workshop Proceedings . vol. 1907 ,
Powley EJ, Nelson MJ, Gaudl SE, Colton S, Pérez Ferrer B, Saunders R, Ivey P, Cook M ( 2017 ) . Wevva: Democratising game design . Proceedings of the 13th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2017 . 273 - 275 .
Grov G, Ireland A, Llano MT, Kovacs P, Colton S, Gow J ( 2016 ) . Semi-Automated Design Space Exploration for Formal Modelling . vol. 9675 , 282 - 289 .
Cook M, Colton S, Gow J ( 2016 ) . The ANGELINA Videogame Design System—Part II . IEEE Transactions on Computational Intelligence and AI in Games vol. 9 , ( 3 ) 254 - 266 .
Cook M, Colton S, Gow J ( 2016 ) . The ANGELINA Videogame Design SystemPart I . IEEE Transactions on Games vol. 9 , ( 2 ) 192 - 203 .
Llano MT, Colton S, Hepworth R, Gow J ( 2016 ) . Automated Fictional Ideation via Knowledge Base Manipulation . Cognitive Computation vol. 8 , ( 2 ) 153 - 174 .
Guckelsberger C, Salge C, Colton S ( 2016 ) . Intrinsically Motivated General Companion NPCs via Coupled Empowerment Maximisation . Conference: 2016 IEEE Conference on Computational Intelligence and Games (CIG)1 - 8 .
Powley EJ, Colton S, Gaudl S, Saunders R, Nelson MJ ( 2016 ) . Semi-Automated Level Design via Auto-Playtesting for Handheld Casual Game Creation . Conference: 2016 IEEE Conference on Computational Intelligence and Games (CIG)1 - 8 .
Guckelsberger C, Salge C, Saunders R, Colton S ( 2016 ) . Supportive and antagonistic behaviour in distributed computational creativity via coupled empowerment maximisation . Proceedings of the 7th International Conference on Computational Creativity, ICCC 2016 . 9 - 16 .
Charnley J, Colton S, Llano MT, Corneli J ( 2016 ) . The Flowr online platform: Automated programming and computational creativity as a service . Proceedings of the 7th International Conference on Computational Creativity, ICCC 2016 . 363 - 370 .
Colton S, Llano MT, Hepworth R, Charnley J, Gale CV, Baron A, Pachet F, Roy P et al. ( 2016 ) . The beyond the Fence musical and computer says show documentary . Proceedings of the 7th International Conference on Computational Creativity, ICCC 2016 . 311 - 320 .
Cook M, Gow J, Colton S ( 2016 ) . Towards the Automatic Optimisation of Procedural Content Generators . Conference: 2016 IEEE Conference on Computational Intelligence and Games (CIG)1 - 8 .
Llano MT, Guckelsberger C, Hepworth R, Gow J, Corneli J, Colton S ( 2016 ) . What if a fish got drunk? Exploring the plausibility of machine-generated fictions . Proceedings of the 7th International Conference on Computational Creativity, ICCC 2016 . 213 - 220 .
Corneli J, Jordanous A, Shepperd R, Llano MT, Misztal J, Colton S, Guckelsberger C ( 2015 ) . Computational poetry workshop: Making sense of work in progress . Proceedings of the 6th International Conference on Computational Creativity, ICCC 2015 . 268 - 275 .
Cook M, Colton S ( 2015 ) . Hybrid procedural content generation: A proposal . AISB Convention 2015 .
Colton S, Halskov J, Ventura D, Gouldstone I, Cook M, Pérez-Ferrer B ( 2015 ) . The painting fool sees! New projects with the automated painter . Proceedings of the 6th International Conference on Computational Creativity, ICCC 2015 . 189 - 196 .
Browne C, Colton S, Cook M, Gow J, Baumgarten R ( 2014 ) . Toward the Adaptive Generation of Bespoke Game Content . Handbook of Digital Games ,
Cook M, Colton S ( 2014 ) . A rogue dream: Automatically generating meaningful content for games . AAAI Workshop - Technical Report . vol. WS-14-16 , 2 - 7 .
Colton S, Pease A, Corneli J, Cook M, Llano T ( 2014 ) . Assessing progress in building autonomously creative systems . Proceedings of the 5th International Conference on Computational Creativity, ICCC 2014 .
Llano MT, Hepworth R, Colton S, Charnley J, Gow J ( 2014 ) . Automating fictional ideation using conceptnet . AISB 2014 - 50th Annual Convention of the AISB .
Cook M, Colton S, Gow J ( 2014 ) . Automating game design in three dimensions . AISB 2014 - 50th Annual Convention of the AISB .
Llano MT, Hepworth R, Colton S, Gow J, Charnley J, Lavrač N, Žnidaršič M, Perovšek M et al. ( 2014 ) . Baseline methods for automated fictional ideation . Proceedings of the 5th International Conference on Computational Creativity, ICCC 2014 .
Schorlemmer M, Smaill A, Kühnberger KU, Kutz O, Colton S, Cambouropoulos E, Pease A ( 2014 ) . Coinvent: Towards a computational concept invention theory . Proceedings of the 5th International Conference on Computational Creativity, ICCC 2014 .
Colton S ( 2014 ) . Countdown numbers game: Solved, analysed, extended . AISB 2014 - 50th Annual Convention of the AISB .
Cook M, Colton S ( 2014 ) . Ludus ex machina: Building a 3D game designer that competes alongside humans . Proceedings of the 5th International Conference on Computational Creativity, ICCC 2014 .
Colton S, Cook M, Hepworth R, Pease A ( 2014 ) . On acid drops and teardrops: Observer issues in computational creativity . AISB 2014 - 50th Annual Convention of the AISB .
Charnley J, Colton S, Llano MT ( 2014 ) . The Flowr framework: Automated flowchart construction, optimisation and alteration for creative systems . Proceedings of the 5th International Conference on Computational Creativity, ICCC 2014 .
Colton S, Ramezani R, Llano MT ( 2014 ) . The HR3 discovery system: Design decisions and implementation details . AISB 2014 - 50th Annual Convention of the AISB .
Cook M, Colton S ( 2014 ) . To that sect and other short games . AISB 2014 - 50th Annual Convention of the AISB .
Llano MT, Cook M, Guckelsberger C, Colton S, Hepworth R ( 2014 ) . Towards the automatic generation of fictional ideas for games . AAAI Workshop - Technical Report . vol. WS-14-16 , 35 - 41 .
Colton S, Ventura D ( 2014 ) . You can’t know my mind: A festival of computational creativity . Proceedings of the 5th International Conference on Computational Creativity, ICCC 2014 .
Pease A, Smaill A, Colton S, Lee J ( 2013 ) . Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics . The Argument of Mathematics , Springer Nature
Pease A, Colton S, Ramezani R, Charnley J, Reed K ( 2013 ) . A discussion on serendipity in creative systems . Proceedings of the 4th International Conference on Computational Creativity, ICCC 2013 . 64 - 71 .
Cook M, Colton S ( 2013 ) . From mechanics to meaning and back again: Exploring techniques for the contextualisation of code . AAAI Workshop - Technical Report . vol. WS-13-19 , 2 - 6 .
Cook M, Colton S, Raad A, Gow J ( 2013 ) . Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design . vol. 7835 , 284 - 293 .
Cook M, Colton S, Gow J ( 2013 ) . Nobody's a critic: On the evaluation of creative code generators - A case study in videogame design . Proceedings of the 4th International Conference on Computational Creativity, ICCC 2013 . 123 - 130 .
Perovšek M, Cestnik B, Urbančič T, Colton S, Lavrač N ( 2013 ) . Towards Narrative Ideation via Cross-Context Link Discovery Using Banded Matrices . vol. 8207 , 333 - 344 .
Cavallo F, Pease A, Gow J, Colton S ( 2013 ) . Using theory formation techniques for the invention of fictional concepts . Proceedings of the 4th International Conference on Computational Creativity, ICCC 2013 . 176 - 183 .
Cook M, Colton S, Pease A ( 2012 ) . Aesthetic considerations for automated platformer design . Proceedings of the 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 . 124 - 129 .
Gow J, Colton S, Cairns P, Miller P ( 2012 ) . Mining rules from player experience and activity data . Proceedings of the 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2012 . 148 - 153 .
Browne C, Colton S ( 2012 ) . Computational Creativity in a Closed Game System . Conference: 2012 IEEE Conference on Computational Intelligence and Games (CIG)296 - 303 .
Browne C, Yannakakis GN, Colton S ( 2012 ) . Guest Editorial: Special Issue on Computational Aesthetics in Games . IEEE Transactions on Games vol. 4 , ( 3 ) 149 - 151 .
Gow J, Baumgarten R, Cairns P, Colton S, Miller P ( 2012 ) . Unsupervised Modeling of Player Style with LDA . IEEE Transactions on Games vol. 4 , ( 3 ) 152 - 166 .
Browne CB, Powley E, Whitehouse D, Lucas SM, Cowling PI, Rohlfshagen P, Tavener S, Perez D et al. ( 2012 ) . A Survey of Monte Carlo Tree Search Methods . IEEE Transactions on Games vol. 4 , ( 1 ) 1 - 43 .
Cook M, Colton S ( 2012 ) . ANGELINA - Coevolution in automated game design . Proceedings of the 3rd International Conference on Computational Creativity, ICCC 2012 .
Colton S, Wiggins GA ( 2012 ) . Computational creativity: The final frontier? . Frontiers in Artificial Intelligence and Applications . vol. 242 , 21 - 26 .
Colton S ( 2012 ) . Evolving a Library of Artistic Scene Descriptors . vol. 7247 , 35 - 47 .
Colton S, Goodwin J, Veale T ( 2012 ) . Full-FACE poetry generation . Proceedings of the 3rd International Conference on Computational Creativity, ICCC 2012 . 95 - 102 .
Cook M, Colton S, Gow J ( 2012 ) . Initial Results from Co-operative Co-evolution for Automated Platformer Design . vol. 7248 , 194 - 203 .
Charnley J, Pease A, Colton S ( 2012 ) . On the notion of framing in computational creativity . Proceedings of the 3rd International Conference on Computational Creativity, ICCC 2012 . 77 - 81 .
Colton S ( 2012 ) . The Painting Fool: Stories from Building an Automated Painter . Computers and Creativity , Springer Nature
Cook M, Colton S ( 2011 ) . Automated collage generation - With more intent . Proceedings of the 2nd International Conference on Computational Creativity, ICCC 2011 . 1 - 3 .
Pease A, Colton S ( 2011 ) . Computational creativity theory: Inspirations behind the face and the IDEA models . Proceedings of the 2nd International Conference on Computational Creativity, ICCC 2011 . 72 - 77 .
Colton S, Charnley J, Pease A ( 2011 ) . Computational creativity theory: The FACE and IDEA descriptive models . Proceedings of the 2nd International Conference on Computational Creativity, ICCC 2011 . 90 - 95 .
Pease A, Colton S ( 2011 ) . On impact and evaluation in computational creativity: A discussion of the Turing test and an alternative proposal . AISB 2011: Computing and Philosophy . 15 - 22 .
Colton S ( 2011 ) . The painting fool in new dimensions . Proceedings of the 2nd International Conference on Computational Creativity, ICCC 2011 .
Cook M, Colton S ( 2011 ) . Multi-Faceted Evolution Of Simple Arcade Games . Conference: 2011 IEEE Conference on Computational Intelligence and Games (CIG'11)289 - 296 .
Colton S, Cook M, Raad A ( 2011 ) . Ludic Considerations of Tablet-Based Evo-Art . vol. 6625 , 223 - 233 .
Pease A, Ireland A, Colton S, Ramezani R, Smaill A, Llano MT, Grov G, Guhe M ( 2010 ) . Applying lakatos-style reasoning to AI problems . Thinking Machines and the Philosophy of Computer Science: Concepts and Principles ,
Krzeczkowska A, El-Hage J, Colton S, Clark S ( 2010 ) . Automated collage generation - With intent . Proceedings of the International Conference on Computational Creativity, ICCC-10 . 36 - 40 .
Howlett A, Colton S, Browne C ( 2010 ) . Evolving pixel shaders for the prototype video game Subversion . Proceedings of the 3rd International Symposium on AI and Games - A Symposium at the AISB 2010 Convention . 41 - 46 .
Colton S, Gow J, Torres P, Cairns P ( 2010 ) . Experiments in objet trouvé browsing . Proceedings of the International Conference on Computational Creativity, ICCC-10 . 238 - 247 .
Ramirez-Cano D, Colton S, Baumgarten R ( 2010 ) . Player classification using a meta-clustering approach . CGAT 2010 - Computer Games, Multimedia and Allied Technology, Proceedings . 297 - 304 .
Colton S ( 2010 ) . The painting fool teaching interface . Proceedings of the International Conference on Computational Creativity, ICCC-10 .
Gow J, Cairns P, Colton S, Miller P, Baumgarten R ( 2010 ) . Capturing Player Experience with Post-Game Commentaries . Conference: 3rd Annual International Conferences on Computer Games, Multimedia and Allied Technology (CGAT 2010)
Martin A, Lim A, Colton S, Browne C ( 2010 ) . Evolving 3D Buildings for the Prototype Video Game Subversion . vol. 6024 , 111 - 120 .
Lim C-U, Baumgarten R, Colton S ( 2010 ) . Evolving Behaviour Trees for the Commercial Game DEFCON . vol. 6024 , 100 - 110 .
Colton S ( 2010 ) . Towards ontology use, re-use and abuse in a computational creativity collective A position statement . Frontiers in Artificial Intelligence and Applications . vol. 210 , 1 - 4 .
Pease A, Colton S, Ramezani R, Smaill A, Guhe M ( 2010 ) . Using Analogical Representations for Mathematical Concept Formation . vol. 314 , 301 - 314 .
Romano D, Moffat D, El Rhalibi A, Narayek A, Pavia A, Ballin D, Livingstone D, Friedman D et al. ( 2009 ) . AI and Games Symposium . Adaptive and Emergent Behaviour and Complex Systems - Proceedings of the 23rd Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB 2009 . 1 - 2 .
Torres P, Colton S, Rüger S ( 2009 ) . Experiments in example-based image filter retrieval . CEUR Workshop Proceedings . vol. 437 , 9 - 16 .
Pease A, Crook P, Smaill A, Colton S, Guhe M ( 2009 ) . Towards a computational model of embodied mathematical language . Adaptive and Emergent Behaviour and Complex Systems - Proceedings of the 23rd Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB 2009 . 35 - 37 .
Baumgarten R, Nika M, Gow J, Colton S ( 2009 ) . Towards the automatic invention of simple mixed reality games . Adaptive and Emergent Behaviour and Complex Systems - Proceedings of the 23rd Convention of the Society for the Study of Artificial Intelligence and Simulation of Behaviour, AISB 2009 . 53 - 58 .
Colton S, Mántaras RL, Stock O ( 2009 ) . Computational Creativity: Coming of Age . AI Magazine vol. 30 , ( 3 ) 11 - 14 .
Baumgarten R, Colton S, Morris M ( 2009 ) . Combining AI Methods for Learning Bots in a Real-Time Strategy Game . International Journal of Computer Games Technology vol. 2009 , 1 - 10 .
Colton S, Torres P ( 2009 ) . Evolving Approximate Image Filters . vol. 5484 , 467 - 477 .
Colton S, Browne C ( 2009 ) . Evolving Simple Art-Based Games . vol. 5484 , 283 - 292 .
Colton S ( 2009 ) . Seven Catchy Phrases for Computational Creativity Research . Dagstuhl Seminar Proceedings . vol. 9291 ,
Charnley J, Colton S ( 2008 ) . Applications of a Global Workspace framework to mathematical discovery . CEUR Workshop Proceedings . vol. 378 , 1 - 16 .
Valstar M, Colton S, Pantic M ( 2008 ) . Emotionally aware automated portrait painting . Belgian/Netherlands Artificial Intelligence Conference . 407 - 408 .
Colton S ( 2008 ) . Experiments in constraint-based automated scene generation . Proceedings of the International Joint Workshop on Computational Creativity 2008 . 127 - 136 .
Pease A, Smaill A, Colton S, Lee J ( 2008 ) . Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics . Foundations of Science vol. 14 , ( 1-2 ) 111 - 135 .
Ventura D, Maher ML, Colton S ( 2008 ) . AAAI Spring Symposium - Technical Report: Preface . AAAI Spring Symposium - Technical Report . vol. SS-08-03 ,
Colton S ( 2008 ) . Creativity versus the perception of creativity in computational systems . AAAI Spring Symposium - Technical Report . vol. SS-08-03 , 14 - 20 .
Colton S, Valstar MF, Pantic M ( 2008 ) . Emotionally aware automated portrait painting . Conference: Proceedings of the 3rd international conference on Digital Interactive Media in Entertainment and Arts304 - 311 .
Balduccini M, Baral C, Brodaric B, Colton S, Fox P, Gutelius D, Hinkelmann K, Horswill I et al. ( 2008 ) . Reports of the AAAI 2008 Spring Symposia . AI Magazine . vol. 29 , 107 - 115 .
Charnley J, Colton S ( 2008 ) . A Global Workspace Framework for Combining Reasoning Systems . vol. 5144 , 261 - 265 .
Colton S ( 2008 ) . Automatic Invention of Fitness Functions with Application to Scene Generation . vol. 4974 , 381 - 391 .
Sorge V, Colton S, McCasland R, Meier A ( 2008 ) . Classification results in quasigroup and loop theory via a combination of automated reasoning tools . Commentationes Mathematicae Universitatis Carolinae vol. 49 , ( 2 ) 319 - 339 .
Valstar MF, Colton S, Pantic M ( 2008 ) . Emotionally Aware Automated Portrait Painting Demonstration . Conference: 2008 8th IEEE International Conference on Automatic Face & Gesture Recognition1 - 2 .
Colton S ( 2008 ) . Joined-up reasoning for automated scientific discovery a position statement and research agenda . AAAI Fall Symposium - Technical Report . vol. FS-08-03 , 18 - 19 .
Sorge V, Meier A, McCasland R, Colton S ( 2008 ) . Automatic Construction and Verification of Isotopy Invariants . Journal of Automated Reasoning . vol. 40 , 221 - 243 .
Hull M, Colton S ( 2007 ) . Towards a general framework for program generation in creative domains . Proceedings of the 4th International Joint Workshop on Computational Creativity . 137 - 144 .
Muggleton S, Otero R, Colton S ( 2007 ) . Guest editorial: special issue on Inductive Logic Programming . Machine Learning vol. 70 , ( 2-3 ) 119 - 120 .
Jiang N, Colton S ( 2007 ) . Boosting Descriptive ILP for Predictive Learning in Bioinformatics . vol. 4455 , 275 - 289 .
Baumgarten R, Colton S ( 2007 ) . Case-based player simulation for the commercial strategy game DEFCON . Proceedings of CGAMES 2007 - 11th International Conference on Computer Games: AI, Animation, Mobile, Educational and Serious Games . 131 - 135 .
Colton S ( 2007 ) . Computational Discovery in Pure Mathematics . vol. 4660 , 175 - 201 .
Colton S, Wagner D ( 2007 ) . Using Formal Concept Analysis in Mathematical Discovery . vol. 4573 , 205 - 220 .
Colton S, Muggleton S ( 2006 ) . Mathematical applications of inductive logic programming . Machine Learning . vol. 64 , 25 - 64 .
Sorge V, Meier A, McCasland R, Colton S ( 2006 ) . Automatic Construction and Verification of Isotopy Invariants . vol. 4130 , 36 - 51 .
Charnley J, Colton S, Miguel I ( 2006 ) . Automatic generation of implied constraints . Frontiers in Artificial Intelligence and Applications vol. 141 , 73 - 77 .
Sorge V, Meier A, McCasland R, Colton S ( 2006 ) . Combining AI systems for classification in non-associative algebra . Informal Proceedings - 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2006 . 100 - 113 .
Colton S, Torres P, Cairns P, Sorge V ( 2006 ) . Managing Automatically Formed Mathematical Theories . vol. 4108 , 237 - 250 .
Santos P, Colton S, Magee D ( 2006 ) . Predictive and Descriptive Approaches to Learning Game Rules from Vision Data . vol. 4140 , 349 - 359 .
Colton S, Pease A ( 2005 ) . The TM System for Repairing Non-Theorems . Electronic Notes in Theoretical Computer Science . vol. 125 , 87 - 101 .
Colton S ( 2005 ) . Automated conjecture making in number theory using HR, Otter and Maple . Journal of Symbolic Computation vol. 39 , ( 5 ) 593 - 615 .
Colton S, Meier A, Sorge V, McCasland R ( 2004 ) . Automatic Generation of Classification Theorems for Finite Algebras . vol. 3097 , 400 - 414 .
Colton S, Pease A ( 2004 ) . Lakatos-style automated theorem modification . Frontiers in Artificial Intelligence and Applications . vol. 110 , 975 - 976 .
Colton S, Muggleton S ( 2003 ) . ILP for Mathematical Discovery . vol. 2835 , 93 - 111 .
Colton S, Huczynska S ( 2003 ) . The Homer System . vol. 2741 , 289 - 294 .
Colton S ( 2002 ) . The HR Program for Theorem Generation . vol. 2392 , 285 - 289 .
Colton S ( 2002 ) . Making conjectures about maple functions . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 2385 , 259 - 274 .
Colton S, Miguel I ( 2001 ) . Constraint Generation via Automated Theory Formation . vol. 2239 , 575 - 579 .
COLTON S, BUNDY A, WALSH T ( 2000 ) . On the notion of interestingness in automated mathematical discovery . International Journal of Human-Computer Studies vol. 53 , ( 3 ) 351 - 375 .
Colton S, Bundy A, Walsh T ( 2000 ) . Automatic Invention of Integer Sequences . Proceedings of the 17th National Conference on Artificial Intelligence and 12th Conference on Innovative Applications of Artificial Intelligence, AAAI 2000 . 558 - 563 .
Colton S, Sorge V, Martin U ( 2000 ) . Workshop: The Role of Automated Deduction in Mathematics . vol. 1831 , 517 - 517 .
Colton S, Bundy A, Walsh T ( 1999 ) . Automatic concept formation in pure mathematics . IJCAI International Joint Conference on Artificial Intelligence . vol. 2 , 786 - 791 .
Colton S ( 1999 ) . Refactorable numbers - A machine invention . Journal of Integer Sequences vol. 2 , ( 2 )
Colton S ( 1998 ) . HR - automatic concept formation in finite algebras . Innovative Applications of Artificial Intelligence - Conference Proceedings .