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
.