Publications: Prof Simon Colton

Cook M, Gow J, Smith G, Colton S ( 2022 ) . Danesh: Interactive Tools for Understanding Procedural Content Generators . IEEE Transactions on Games vol. 14 , ( 3 ) 329 - 338 .

Banar B, Colton S ( 2022 ) . A Systematic Evaluation of GPT-2-Based Music Generation . vol. 13221 LNCS ,

Banar B, Colton S ( 2022 ) . Identifying Critical Decision Points in Musical Compositions using Machine Learning . 2022 IEEE 24th International Workshop on Multimedia Signal Processing, MMSP 2022 .

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 . GECCO 2021 - Proceedings of the 2021 Genetic and Evolutionary Computation Conference . 678 - 686 .

Colton S ( 2021 ) . Evolving Neural Style Transfer Blends . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 12693 LNCS , 65 - 81 .

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 ( 2020 ) . Possibilities and limitations for AI: What can't machines do? . Work in the Future: The Automation Revolution ,

Colton S, McCormack J, Berns S, Petrovskaya E, Cook M ( 2020 ) . Adapting and enhancing evolutionary art for casual creation . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 12103 LNCS , 17 - 34 .

Young J, Colton S ( 2020 ) . Controlling self-organization in generative creative systems . vol. 12103 LNCS ,

Cook M, Colton S, Gow J, Smith G ( 2019 ) . General analytical techniques for parameter-based procedural content generators . IEEE Conference on Computatonal Intelligence and Games, CIG . vol. 2019-August ,

Martin AR, Colton S ( 2019 ) . Towards liveness in game development . IEEE Conference on Computatonal Intelligence and Games, CIG . vol. 2019-August ,

Liapis A, Yannakakis GN, Cook M, Colton S ( 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 . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 11453 LNCS , 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 . IEEE Conference on Computatonal Intelligence and Games, CIG . vol. 2018-August ,

Nelson MJ, Gaudl SE, Colton S, Deterding S ( 2018 ) . Curious users of casual creators . ACM International Conference Proceeding Series .

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 .

Ireland A, Llano MT, Colton S ( 2018 ) . The use of automated theory formation in support of hazard analysis . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 10811 LNCS , 237 - 243 .

Cook M, Colton S, Gow J ( 2017 ) . The ANGELINA videogame design system-part i . IEEE Transactions on Computational Intelligence and AI in Games vol. 9 , ( 2 ) 192 - 203 .

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 .

Guckelsberger C, Salge C, Colton S ( 2016 ) . Intrinsically motivated general companion NPCs via Coupled Empowerment Maximisation . IEEE Conference on Computatonal Intelligence and Games, CIG . vol. 0 ,

Powley EJ, Colton S, Gaudl S, Saunders R, Nelson MJ ( 2016 ) . Semi-automated level design via auto-playtesting for handheld casual game creation . IEEE Conference on Computatonal Intelligence and Games, CIG . vol. 0 ,

Cook M, Gow J, Colton S ( 2016 ) . Towards the automatic optimisation of procedural content generators . IEEE Conference on Computatonal Intelligence and Games, CIG . vol. 0 ,

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 .

Llano MT, Colton S, Hepworth R, Gow J ( 2016 ) . Automated Fictional Ideation via Knowledge Base Manipulation . Cognitive Computation vol. 8 , ( 2 ) 153 - 174 .

Grov G, Ireland A, Llano MT, Kovacs P, Colton S, Gow J ( 2016 ) . Semi-automated design space exploration for formal modelling . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 9675 , 282 - 289 .

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 .

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 .

Perovšek M, Cestnik B, Urbančič T, Colton S, Lavrač N ( 2013 ) . Towards narrative ideation via cross-context link discovery using banded matrices . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 8207 LNCS , 333 - 344 .

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 .

Pease A, Smaill A, Colton S, Lee J ( 2013 ) . Bridging the gap between argumentation theory and the philosophy of mathematics . The Argument of Mathematics ,

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 . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 7835 LNCS , 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 .

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 .

Browne C, Colton S ( 2012 ) . Computational creativity in a closed game system . 2012 IEEE Conference on Computational Intelligence and Games, CIG 2012 . 296 - 303 .

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, Yannakakis GN, Colton S ( 2012 ) . Guest Editorial: Special issue on computational aesthetics in games . IEEE Transactions on Computational Intelligence and AI in 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 Computational Intelligence and AI in Games vol. 4 , ( 3 ) 152 - 166 .

Colton S ( 2012 ) . The painting fool: Stories from building an automated painter . Computers and Creativity , vol. 9783642317279 ,

Cook M, Colton S, Gow J ( 2012 ) . Initial results from co-operative co-evolution for automated platformer design . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 7248 LNCS , 194 - 203 .

Colton S ( 2012 ) . Evolving a library of artistic scene descriptors . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 7247 LNCS , 35 - 47 .

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 Computational Intelligence and AI in 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, Goodwin J, Veale T ( 2012 ) . Full-FACE poetry generation . Proceedings of the 3rd International Conference on Computational Creativity, ICCC 2012 . 95 - 102 .

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 .

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 . 2011 IEEE Conference on Computational Intelligence and Games, CIG 2011 . 289 - 296 .

Colton S, Cook M, Raad A ( 2011 ) . Ludic considerations of tablet-based evo-art . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 6625 LNCS , 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 .

Pease A, Colton S, Ramezani R, Smaill A, Guhe M ( 2010 ) . Using analogical representations for mathematical concept formation . Studies in Computational Intelligence . vol. 314 , 301 - 314 .

Gow J, Cairns P, Colton S, Miller P, Baumgarten R ( 2010 ) . Capturing player experience with post-game commentaries . CGAT 2010 - Computer Games, Multimedia and Allied Technology, Proceedings . 43 - 50 .

Martin A, Lim A, Colton S, Browne C ( 2010 ) . Evolving 3D buildings for the prototype video game subversion . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 6024 LNCS , 111 - 120 .

Lim CU, Baumgarten R, Colton S ( 2010 ) . Evolving behaviour trees for the commercial game DEFCON . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 6024 LNCS , 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 .

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, Torres P ( 2009 ) . Evolving approximate image filters . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 5484 LNCS , 467 - 477 .

Colton S, Browne C ( 2009 ) . Evolving simple art-based games . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 5484 LNCS , 283 - 292 .

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 ( 1 )

Pease A, Smaill A, Colton S, Lee J ( 2009 ) . Bridging the gap between argumentation theory and the philosophy of mathematics . Foundations of Science vol. 14 , ( 1-2 ) 111 - 135 .

Colton S, De Mántaras RL, Stock O ( 2009 ) . Computational creativity: Coming of age . AI Magazine vol. 30 , ( 3 ) 11 - 14 .

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 .

Valstar MF, Colton S, Pantic M ( 2008 ) . Emotionally aware automated portrait painting demonstration . 2008 8th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2008 .

Colton S ( 2008 ) . Experiments in constraint-based automated scene generation . Proceedings of the International Joint Workshop on Computational Creativity 2008 . 127 - 136 .

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 .

Charnley J, Colton S ( 2008 ) . A global workspace framework for combining reasoning systems . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 5144 LNAI , 261 - 265 .

Colton S ( 2008 ) . Automatic invention of fitness functions with application to scene generation . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 4974 LNCS , 381 - 391 .

Muggleton S, Otero R, Colton S ( 2008 ) . Guest editorial: Special issue on Inductive Logic Programming . Machine Learning vol. 70 , ( 2-3 ) 119 - 120 .

Sorge V, Meier A, McCasland R, Colton S ( 2008 ) . Automatic construction and verification of isotopy invariants . Journal of Automated Reasoning . vol. 40 , 221 - 243 .

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 .

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 .

Balduccini M, Baral C, Brodaric B, Colton S, Fox P, Gutelius D, Hinkelman K, Horswill I et al. ( 2008 ) . Reports of the AAAI 2008 Spring Symposia . AI Magazine . vol. 29 , 107 - 115 .

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 .

Jiang N, Colton S ( 2007 ) . Boosting descriptive ILP for predictive learning in bioinformatics . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 4455 LNAI , 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 . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 4660 LNAI , 175 - 201 .

Colton S, Wagner D ( 2007 ) . Using formal concept analysis in mathematical discovery . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 4573 LNAI , 205 - 220 .

Charnley J, Colton S, Miguel I ( 2006 ) . Automatic generation of implied constraints . Frontiers in Artificial Intelligence and Applications vol. 141 , 73 - 77 .

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 . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 4130 LNAI , 36 - 51 .

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 . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 4108 LNAI , 237 - 250 .

Santos P, Colton S, Magee D ( 2006 ) . Predictive and descriptive approaches to learning game rules from vision data . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 4140 LNAI , 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 SPEC. ISS. ) 593 - 615 .

Colton S, Meier A, Sorge V, McCasland R ( 2004 ) . Automatic generation of classification theorems for finite algebras . Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) . 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 . Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) . vol. 2835 , 93 - 111 .

Colton S, Huczynska S ( 2003 ) . The Homer system . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 2741 , 289 - 294 .

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 ( 2002 ) . The HR program for theorem generation . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 2392 , 285 - 289 .

Colton S, Miguel I ( 2001 ) . Constraint generation via automated theory formation . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . 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, Sorge V, Martin U ( 2000 ) . Workshop: The role of automated deduction in mathematics . Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) . vol. 1831 ,

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 .