Simon Colton - RankMe

174 papers A* 5A 10B 7C 67Misc 2Journal 39Unranked 42

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Aria-MIDI: A Dataset of Piano MIDI Files for Symbolic Music Modeling. ICLR Louis Bradshaw, Simon Colton
2025	J	`jnl`	Aria-MIDI: A Dataset of Piano MIDI Files for Symbolic Music Modeling. CoRR Louis Bradshaw, Simon Colton
2025	—	`conf`	Composer as Constrainer in Model-Led Piano Sheet Music Generation. AIMC Simon Colton, Louis Bradshaw, Berker Banar, Keshav Bhandari, Aikaterini Primenta
2025	B	`conf`	ImprovNet - Generating Controllable Musical Improvisations with Iterative Corruption Refinement. IJCNN Keshav Bhandari, Sungkyun Chang, Tongyu Lu, Fareza R. Enus, Louis Bradshaw, Dorien Herremans, Simon Colton
2025	J	`jnl`	ImprovNet: Generating Controllable Musical Improvisations with Iterative Corruption Refinement. CoRR Keshav Bhandari, Sungkyun Chang, Tongyu Lu, Fareza R. Enus, Louis Bradshaw, Dorien Herremans, Simon Colton
2025	—	`conf`	Scaling Self-Supervised Representation Learning for Symbolic Piano Performance. ISMIR Louis Bradshaw, Alexander Spangher, Honglu Fan, Stella Biderman, Simon Colton
2025	J	`jnl`	Scaling Self-Supervised Representation Learning for Symbolic Piano Performance. CoRR Louis Bradshaw, Honglu Fan, Alexander Spangher, Stella Biderman, Simon Colton
2025	A*	`conf`	Text2midi: Generating Symbolic Music from Captions. AAAI Keshav Bhandari, Abhinaba Roy, Kyra Wang, Geeta Puri, Simon Colton, Dorien Herremans
2025	J	`jnl`	The Ghost in the Keys: A Disklavier Demo for Human-AI Musical Co-Creativity. CoRR Louis Bradshaw, Alexander Spangher, Stella Biderman, Simon Colton
2025	J	`jnl`	Yin-Yang: Developing Motifs With Long-Term Structure And Controllability. CoRR Keshav Bhandari, Geraint A. Wiggins, Simon Colton
2025	C	`conf`	Yin-Yang: Developing Motifs with Long-Term Structure and Controllability. EvoMUSART Keshav Bhandari, Geraint A. Wiggins, Simon Colton
2024	C	`conf`	Automatic Generation of Expressive Piano Miniatures. ICCC Simon Colton, Louis Bradshaw, Berker Banar, Keshav Bhandari
2024	C	`conf`	Motifs, Phrases, and Beyond: The Modelling of Structure in Symbolic Music Generation. EvoMUSART Keshav Bhandari, Simon Colton
2024	J	`jnl`	Motifs, Phrases, and Beyond: The Modelling of Structure in Symbolic Music Generation. CoRR Keshav Bhandari, Simon Colton
2024	J	`jnl`	Text2midi: Generating Symbolic Music from Captions. CoRR Keshav Bhandari, Abhinaba Roy, Kyra Wang, Geeta Puri, Simon Colton, Dorien Herremans
2023	A*	`conf`	A Tool for Generating Controllable Variations of Musical Themes Using Variational Autoencoders with Latent Space Regularisation. AAAI Berker Banar, Nick Bryan-Kinns, Simon Colton
2023	C	`conf`	Artist Discovery with Stable Evolusion. ICCC Simon Colton, Blanca Pérez Ferrer, Amy Smith, Sebastian Berns
2023	—	`conf`	Automatically Adding to Artistic Cultures. EvoMUSART@EvoStar Simon Colton, Berker Banar
2023	—	`conf`	Autoregressive Self-Evaluation: A Case Study of Music Generation Using Large Language Models. CAI Berker Banar, Simon Colton
2023	J	`jnl`	Exploring XAI for the Arts: Explaining Latent Space in Generative Music. CoRR Nick Bryan-Kinns, Berker Banar, Corey Ford, Courtney N. Reed, Yixiao Zhang, Simon Colton, Jack Armitage
2023	—	`conf`	Extending Generative Neo-Riemannian Theory for Event-Based Soundtrack Production. EvoMUSART@EvoStar Simon Colton, Sara Cardinale
2023	C	`conf`	Neuro-Symbolic Generation of Music with Talking Points. ICCC Simon Colton, Berker Banar, Sara Cardinale
2023	C	`conf`	On the Notion of Creative Personhood. ICCC Alison Pease, Simon Colton, Berker Banar
2023	C	`conf`	The Lena Singer Project: Simulating the Learning Experience of a Singer. ICCC Matthew Rice, Simon Colton
2023	C	`conf`	Towards Mode Balancing of Generative Models via Diversity Weights. ICCC Sebastian Berns, Simon Colton, Christian Guckelsberger
2023	J	`jnl`	Towards Mode Balancing of Generative Models via Diversity Weights. CoRR Sebastian Berns, Simon Colton, Christian Guckelsberger
2023	J	`jnl`	Trash to Treasure: Using text-to-image models to inform the design of physical artefacts. CoRR Amy Smith, Hope Schroeder, Ziv Epstein, Michael Cook, Simon Colton, Andrew Lippman
2022	C	`conf`	A Systematic Evaluation of GPT-2-Based Music Generation. EvoMUSART Berker Banar, Simon Colton
2022	C	`conf`	Connecting Audio and Graphic Score Using Self-supervised Representation Learning - A Case Study with György Ligeti's Artikulation. ICCC Berker Banar, Simon Colton
2022	J	`jnl`	Danesh: Interactive Tools for Understanding Procedural Content Generators. IEEE Trans. Games Michael Cook, Jeremy Gow, Gillian Smith, Simon Colton
2022	J	`jnl`	Explainable Computational Creativity. CoRR Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton
2022	C	`conf`	Identifying Critical Decision Points in Musical Compositions using Machine Learning. MMSP Berker Banar, Simon Colton
2022	C	`conf`	Neo-Riemannian Theory for Generative Film and Videogame Music. ICCC Sara Cardinale, Simon Colton
2022	C	`conf`	The @artbhot Text-To-Image Twitter Bot. ICCC Amy Smith, Simon Colton
2022	J	`jnl`	The Beyond the Fence Musical and Computer Says Show Documentary. CoRR 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. T. Sturm, Tillman Weyde, Daniel Wolff, James Robert Lloyd
2022	C	`conf`	Towards Educating Artificial Neural Systems. NeSy Simon Colton
2021	C	`conf`	Active Divergence with Generative Deep Learning - A Survey and Taxonomy. ICCC Terence Broad, Sebastian Berns, Simon Colton, Mick Grierson
2021	J	`jnl`	Active Divergence with Generative Deep Learning - A Survey and Taxonomy. CoRR Terence Broad, Sebastian Berns, Simon Colton, Mick Grierson
2021	C	`conf`	Automating Generative Deep Learning for Artistic Purposes: Challenges and Opportunities. ICCC Sebastian Berns, Terence Broad, Christian Guckelsberger, Simon Colton
2021	J	`jnl`	Automating Generative Deep Learning for Artistic Purposes: Challenges and Opportunities. CoRR Sebastian Berns, Terence Broad, Christian Guckelsberger, Simon Colton
2021	C	`conf`	Evolving Neural Style Transfer Blends. EvoMUSART Simon Colton
2021	J	`jnl`	Expressivity of Parameterized and Data-driven Representations in Quality Diversity Search. CoRR Alexander Hagg, Sebastian Berns, Alexander Asteroth, Simon Colton, Thomas Bäck
2021	A	`conf`	Expressivity of parameterized and data-driven representations in quality diversity search. GECCO Alexander Hagg, Sebastian Berns, Alexander Asteroth, Simon Colton, Thomas Bäck
2021	C	`conf`	GANlapse Generative Photography. ICCC Simon Colton, Blanca Pérez Ferrer
2021	C	`conf`	Generative Search Engines: First Experiments. ICCC Simon Colton, Amy Smith, Sebastian Berns, Ryan Murdock
2020	C	`conf`	Adapting and Enhancing Evolutionary Art for Casual Creation. EvoMUSART Simon Colton, Jon McCormack, Sebastian Berns, Elena Petrovskaya, Michael Cook
2020	C	`conf`	Bridging Generative Deep Learning and Computational Creativity. ICCC Sebastian Berns, Simon Colton
2020	C	`conf`	Casual Creators in the Wild: A Typology of Commercial Generative Creativity Support Tools. ICCC Elena Petrovskaya, Sebastian Deterding, Simon Colton
2020	C	`conf`	Controlling Self-organization in Generative Creative Systems. EvoMUSART Jonathan Young, Simon Colton
2020	C	`conf`	Creativity Theatre for Demonstrable Computational Creativity. ICCC Simon Colton, Jon McCormack, Michael Cook, Sebastian Berns
2020	C	`conf`	Explainable Computational Creativity. ICCC Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton
2020	C	`conf`	On the Machine Condition and its Creative Expression. ICCC Simon Colton, Alison Pease, Christian Guckelsberger, Jon McCormack, Maria Teresa Llano
2019	C	`conf`	Camera Obscurer: Generative Art for Design Inspiration. EvoMUSART Dilpreet Singh, Nina Rajcic, Simon Colton, Jon McCormack
2019	J	`jnl`	Camera Obscurer: Generative Art for Design Inspiration. CoRR Dilpreet Singh, Nina Rajcic, Simon Colton, Jon McCormack
2019	C	`conf`	Framing In Computational Creativity - A Survey And Taxonomy. ICCC Michael Cook, Simon Colton, Alison Pease, Maria Teresa Llano
2019	C	`conf`	General Analytical Techniques For Parameter-Based Procedural Content Generators. CoG Michael Cook, Simon Colton, Jeremy Gow, Gillian Smith
2019	J	`jnl`	Guest Editorial Special Issue on AI-Based and AI-Assisted Game Design. IEEE Trans. Games Antonios Liapis, Georgios N. Yannakakis, Michael Cook, Simon Colton
2019	C	`conf`	The HR3 System for Automatic Code Generation in Creative Settings. ICCC Simon Colton, Alison Pease, Michael Cook, Chunyang Chen
2019	C	`conf`	The Importance of Applying Computational Creativity to Scientific and Mathematical Domains. ICCC Alison Pease, Simon Colton, Chris Warburton, Athanasios Nathanail, Irina Preda, Daniel Arnold, Daniel Winterstein, Mike Cook
2019	C	`conf`	Towards Liveness in Game Development. CoG Andrew R. Martin, Simon Colton
2018	C	`conf`	A Parameter-Space Design Methodology for Casual Creators. ICCC Peter Ivey, Blanca Pérez Ferrer, Rob Saunders, Swen E. Gaudl, Edward J. Powley, Mark J. Nelson, Simon Colton, Michael Cook
2018	C	`conf`	Curious users of casual creators. FDG Mark J. Nelson, Swen E. Gaudl, Simon Colton, Sebastian Deterding
2018	J	`jnl`	Exploring Novel Game Spaces with Fluidic Games. CoRR Swen E. Gaudl, Mark J. Nelson, Simon Colton, Rob Saunders, Edward Jack Powley, Peter Ivey, Blanca Pérez Ferrer, Michael Cook
2018	—	`conf`	Inferring Design Constraints From Game Ruleset Analysis. CIG Michael Cook, Simon Colton, Azalea Raad
2018	C	`conf`	Investigating and Automating the Creative Act of Software Engineering: A Position Paper. ICCC Edward J. Powley, Simon Colton, Michael Cook
2018	C	`conf`	Issues of Authenticity in Autonomously Creative Systems. ICCC Alison Pease, Simon Colton, Rob Saunders
2018	C	`conf`	Neighbouring Communities: Interaction, Lessons and Opportunities. ICCC Michael Cook, Simon Colton
2018	J	`jnl`	Rapid game jams with fluidic games: A user study & design methodology. Entertain. Comput. Swen E. Gaudl, Mark J. Nelson, Simon Colton, Rob Saunders, Edward Jack Powley, Blanca Pérez Ferrer, Peter Ivey, Michael Cook
2018	C	`conf`	Redesigning Computationally Creative Systems For Continuous Creation. ICCC Michael Cook, Simon Colton
2018	—	`conf`	The Use of Automated Theory Formation in Support of Hazard Analysis. NFM Andrew Ireland, Maria Teresa Llano, Simon Colton
2017	C	`conf`	Addressing the "Why?" in Computational Creativity: A Non-Anthropocentric, Minimal Model of Intentional Creative Agency. ICCC Christian Guckelsberger, Christoph Salge, Simon Colton
2017	C	`conf`	Fluidic Games in Cultural Contexts. ICCC Mark J. Nelson, Swen E. Gaudl, Simon Colton, Edward Jack Powley, Blanca Pérez Ferrer, Rob Saunders, Peter Ivey, Michael Cook
2017	—	`conf`	Mixed-Initiative Approaches to On-Device Mobile Game Design. MICI@CHI Mark J. Nelson, Simon Colton, Edward Jack Powley, Swen E. Gaudl, Peter Ivey, Rob Saunders, Blanca Pérez Ferrer, Michael Cook
2017	J	`jnl`	Off The Beaten Lane: AI Challenges In MOBAs Beyond Player Control. CoRR Michael Cook, Adam Summerville, Simon Colton
2017	J	`jnl`	The ANGELINA Videogame Design System - Part I. IEEE Trans. Comput. Intell. AI Games Michael Cook, Simon Colton, Jeremy Gow
2017	J	`jnl`	The ANGELINA Videogame Design System - Part II. IEEE Trans. Comput. Intell. AI Games Michael Cook, Simon Colton, Jeremy Gow
2017	—	`conf`	Wevva: Democratising Game Design. AIIDE Edward Jack Powley, Mark J. Nelson, Swen E. Gaudl, Simon Colton, Blanca Pérez Ferrer, Rob Saunders, Peter Ivey, Michael Cook
2016	J	`jnl`	Automated Fictional Ideation via Knowledge Base Manipulation. Cogn. Comput. Maria Teresa Llano, Simon Colton, Rose Hepworth, Jeremy Gow
2016	—	`conf`	Intrinsically motivated general companion NPCs via Coupled Empowerment Maximisation. CIG Christian Guckelsberger, Christoph Salge, Simon Colton
2016	C	`conf`	Semi-Automated Design Space Exploration for Formal Modelling. ABZ Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
2016	J	`jnl`	Semi-Automated Design Space Exploration for Formal Modelling. CoRR Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow
2016	—	`conf`	Semi-automated level design via auto-playtesting for handheld casual game creation. CIG Edward Jack Powley, Simon Colton, Swen E. Gaudl, Rob Saunders, Mark J. Nelson
2016	C	`conf`	Supportive and Antagonistic Behaviour in Distributed Computational Creativity via Coupled Empowerment Maximisation. ICCC Christian Guckelsberger, Christoph Salge, Rob Saunders, Simon Colton
2016	C	`conf`	The "Beyond the Fence" Musical and "Computer Says Show" Documentary. ICCC 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. T. Sturm, Tillman Weyde, Daniel Wolff, James Robert Lloyd
2016	C	`conf`	The FloWr Online Plat-form: Automated Programming and Computational Creativity as a Service. ICCC John William Charnley, Simon Colton, Maria Teresa Llano, Joseph Corneli
2016	—	`conf`	Towards the automatic optimisation of procedural content generators. CIG Michael Cook, Jeremy Gow, Simon Colton
2016	C	`conf`	What If A Fish Got Drunk? Exploring the Plausibility of Machine-Generated Fictions. ICCC Maria Teresa Llano, Christian Guckelsberger, Rose Hepworth, Jeremy Gow, Joseph Corneli, Simon Colton
2015	C	`conf`	Computational Poetry Workshop: Making Sense of Work in Progress. ICCC Joseph Corneli, Anna Jordanous, Rosie Shepperd, Maria Teresa Llano, Joanna Misztal, Simon Colton, Christian Guckelsberger
2015	C	`conf`	Generating Code For Expressing Simple Preferences: Moving On From Hardcoding And Randomness. ICCC Michael Cook, Simon Colton
2015	C	`ed.`	Proceedings of the Sixth International Conference on Computational Creativity, ICCC 2015, Park City, Utah, USA, June 29 - July 2, 2015. ICCC Hannu Toivonen, Simon Colton, Michael Cook, Dan Ventura
2015	J	`jnl`	The Digital Synaptic Neural Substrate: A New Approach to Computational Creativity. CoRR Azlan Iqbal, Matej Guid, Simon Colton, Jana Krivec, Shazril Azman, Boshra Haghighi
2015	C	`conf`	The Painting Fool Sees! New Projects with the Automated Painter. ICCC Simon Colton, Jakob Halskov, Dan Ventura, Ian Gouldstone, Michael Cook, Blanca Pérez Ferrer
2014	C	`conf`	Assessing Progress in Building Autonomously Creative Systems. ICCC Simon Colton, Alison Pease, Joseph Corneli, Michael Cook
2014	C	`conf`	Baseline Methods for Automated Fictional Ideation. ICCC Maria Teresa Llano, Rose Hepworth, Simon Colton, Jeremy Gow, John William Charnley, Nada Lavrac, Martin Znidarsic, Matic Perovsek, Mark Granroth-Wilding, Stephen Clark
2014	C	`conf`	COINVENT: Towards a Computational Concept Invention Theory. ICCC Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease
2014	C	`conf`	Ludus Ex Machina: Building A 3D Game Designer That Competes Alongside Humans. ICCC Michael Cook, Simon Colton
2014	J	`jnl`	Modelling serendipity in a computational context. CoRR Joseph Corneli, Alison Pease, Simon Colton, Anna Jordanous, Christian Guckelsberger
2014	C	`ed.`	Proceedings of the Fifth International Conference on Computational Creativity, ICCC 2014, Ljubljana, Slovenia, June 10-13, 2014. ICCC Simon Colton, Dan Ventura, Nada Lavrac, Michael Cook
2014	C	`conf`	The FloWr Framework: Automated Flowchart Construction, Optimisation and Alteration for Creative Systems. ICCC John William Charnley, Simon Colton, Maria Teresa Llano
2014	C	`conf`	You Can't Know my Mind: A Festival of Computational Creativity. ICCC Simon Colton, Dan Ventura
2013	C	`conf`	A Discussion on Serendipity in Creative Systems. ICCC Alison Pease, Simon Colton, Ramin Ramezani, John William Charnley, Kate Reed
2013	B	`conf`	Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design. EvoApplications Michael Cook, Simon Colton, Azalea Raad, Jeremy Gow
2013	C	`conf`	Nobody's A Critic: On The Evaluation Of Creative Code Generators - A Case Study In Video Game Design. ICCC Michael Cook, Simon Colton, Jeremy Gow
2013	—	`conf`	On Shape Poems and the Shape of Poems: A Computational Creativity Perspective. SHAPES Simon Colton
2013	B	`conf`	Towards Narrative Ideation via Cross-Context Link Discovery Using Banded Matrices. IDA Matic Perovsek, Bojan Cestnik, Tanja Urbancic, Simon Colton, Nada Lavrac
2013	C	`conf`	Using Theory Formation Techniques for the Invention of Fictional Concepts. ICCC Flaminia Cavallo, Alison Pease, Jeremy Gow, Simon Colton
2012	J	`jnl`	A Survey of Monte Carlo Tree Search Methods. IEEE Trans. Comput. Intell. AI Games Cameron Browne, Edward Jack Powley, Daniel Whitehouse, Simon M. Lucas, Peter I. Cowling, Philipp Rohlfshagen, Stephen Tavener, Diego Perez Liebana, Spyridon Samothrakis, Simon Colton
2012	—	`conf`	Aesthetic Considerations for Automated Platformer Design. AIIDE Michael Cook, Simon Colton, Alison Pease
2012	A	`conf`	Computational Creativity: The Final Frontier? ECAI Simon Colton, Geraint A. Wiggins
2012	—	`conf`	Computational creativity in a closed game system. CIG Cameron Browne, Simon Colton
2012	C	`conf`	Evolving a Library of Artistic Scene Descriptors. EvoMUSART Simon Colton
2012	C	`conf`	Full-FACE Poetry Generation. ICCC Simon Colton, Jacob Goodwin, Tony Veale
2012	J	`jnl`	Guest Editorial: Special Issue on Computational Aesthetics in Games. IEEE Trans. Comput. Intell. AI Games Cameron Browne, Georgios N. Yannakakis, Simon Colton
2012	B	`conf`	Initial Results from Co-operative Co-evolution for Automated Platformer Design. EvoApplications Michael Cook, Simon Colton, Jeremy Gow
2012	—	`conf`	Mining Rules from Player Experience and Activity Data. AIIDE Jeremy Gow, Simon Colton, Paul A. Cairns, Paul Miller
2012	—	`conf`	No photos harmed/growing paths from seed: an exhibition. NPAR@Expressive Simon Colton, Blanca Pérez Ferrer
2012	C	`conf`	On the Notion of Framing in Computational Creativity. ICCC John William Charnley, Alison Pease, Simon Colton
2012	J	`jnl`	Unsupervised Modeling of Player Style With LDA. IEEE Trans. Comput. Intell. AI Games Jeremy Gow, Robin Baumgarten, Paul A. Cairns, Simon Colton, Paul Miller
2011	C	`conf`	Automated Collage Generation - With More Intent. ICCC Michael Cook, Simon Colton
2011	C	`conf`	Computational Creativity Theory: Inspirations behind the FACE and the IDEA models. ICCC Alison Pease, Simon Colton
2011	C	`conf`	Computational Creativity Theory: The FACE and IDEA Descriptive Models. ICCC Simon Colton, John William Charnley, Alison Pease
2011	—	`conf`	Ludic Considerations of Tablet-Based Evo-Art. EvoApplications (2) Simon Colton, Michael Cook, Azalea Raad
2011	—	`conf`	Multi-faceted evolution of simple arcade games. CIG Michael Cook, Simon Colton
2010	C	`conf`	Automated Collage Generation - With Intent. ICCC Anna Krzeczkowska, Jad El-Hage, Simon Colton, Stephen Clark
2010	—	`conf`	Evolving 3D Buildings for the Prototype Video Game Subversion. EvoApplications (1) Andrew R. Martin, Andrew Lim, Simon Colton, Cameron Browne
2010	—	`conf`	Evolving Behaviour Trees for the Commercial Game DEFCON. EvoApplications (1) Chong-U Lim, Robin Baumgarten, Simon Colton
2010	C	`conf`	Experiments in Objet Trouvé Browsing. ICCC Simon Colton, Jeremy Gow, Pedro Torres, Paul A. Cairns
2010	—	`conf`	Stroke Matching for Paint Dances. CAe Simon Colton
2010	—	`conf`	Towards Ontology Use, Re-use and Abuse in a Computational Creativity Collective - A Position Statement. WoMO Simon Colton
2009	J	`jnl`	Combining AI Methods for Learning Bots in a Real-Time Strategy Game. Int. J. Comput. Games Technol. Robin Baumgarten, Simon Colton, Mark Morris
2009	J	`jnl`	Computational Creativity: Coming of Age. AI Mag. Simon Colton, Ramón López de Mántaras, Oliviero Stock
2009	—	`conf`	Evolving Approximate Image Filters. EvoWorkshops Simon Colton, Pedro Torres
2009	—	`conf`	Evolving Simple Art-Based Games. EvoWorkshops Simon Colton, Cameron Browne
2009	—	`conf`	Seven Catchy Phrases for Computational Creativity Research. Computational Creativity: An Interdisciplinary Approach Simon Colton
2008	—	`conf`	A Global Workspace Framework for Combining Reasoning Systems. AISC/MKM/Calculemus John William Charnley, Simon Colton
2008	J	`jnl`	AAAI 2008 Spring Symposia Reports. AI Mag. 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
2008	J	`jnl`	Automatic Construction and Verification of Isotopy Invariants. J. Autom. Reason. Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
2008	—	`conf`	Automatic Invention of Fitness Functions with Application to Scene Generation. EvoWorkshops Simon Colton
2008	—	`conf`	Creativity Versus the Perception of Creativity in Computational Systems. AAAI Spring Symposium: Creative Intelligent Systems Simon Colton
2008	B	`conf`	Emotionally aware automated portrait painting demonstration. FG Michel François Valstar, Simon Colton, Maja Pantic
2008	—	`conf`	Emotionally aware automated portrait painting. DIMEA Simon Colton, Michel François Valstar, Maja Pantic
2008	—	`conf`	Experiments in Example-based Image Filter Retrieval. CIAEM Pedro Torres, Simon Colton, Stefan M. Rüger
2008	J	`jnl`	Guest editorial: special issue on Inductive Logic Programming. Mach. Learn. Stephen H. Muggleton, Ramón P. Otero, Simon Colton
2008	—	`conf`	Joined-Up Reasoning for Automated Scientific Discovery: A Position Statement and Research Agenda. AAAI Fall Symposium: Automated Scientific Discovery Simon Colton
2008	—	`conf`	Organizing Committee. AAAI Spring Symposium: Creative Intelligent Systems Dan Ventura, Mary Lou Maher, Simon Colton
2008	—	`conf`	Preface. AAAI Spring Symposium: Creative Intelligent Systems Dan Ventura, Mary Lou Maher, Simon Colton
2007	—	`ch.`	Computational Discovery in Pure Mathematics. Computational Discovery of Scientific Knowledge Simon Colton
2007	—	`conf`	Using Formal Concept Analysis in Mathematical Discovery. Calculemus/MKM Simon Colton, Daniel Wagner
2006	A	`conf`	Automatic Construction and Verification of Isotopy Invariants. IJCAR Volker Sorge, Andreas Meier, Roy L. McCasland, Simon Colton
2006	A	`conf`	Automatic Generation of Implied Constraints. ECAI John William Charnley, Simon Colton, Ian Miguel
2006	B	`conf`	Boosting Descriptive ILP for Predictive Learning in Bioinformatics. ILP Ning Jiang, Simon Colton
2006	—	`conf`	Managing Automatically Formed Mathematical Theories. MKM Simon Colton, Pedro Torres, Paul A. Cairns, Volker Sorge
2006	J	`jnl`	Mathematical applications of inductive logic programming. Mach. Learn. Simon Colton, Stephen H. Muggleton
2006	—	`conf`	Predictive and Descriptive Approaches to Learning Game Rules from Vision Data. IBERAMIA-SBIA Paulo E. Santos, Simon Colton, Derek R. Magee
2005	J	`jnl`	Automated conjecture making in number theory using HR, Otter and Maple. J. Symb. Comput. Simon Colton
2004	A	`conf`	Automatic Generation of Classification Theorems for Finite Algebras. IJCAR Simon Colton, Andreas Meier, Volker Sorge, Roy L. McCasland
2004	A	`conf`	Lakatos-Style Automated Theorem Modification. ECAI Simon Colton, Alison Pease
2004	—	`conf`	The TM System for Repairing Non-Theorems. D/PDPAR@IJCAR Simon Colton, Alison Pease
2003	B	`conf`	ILP for Mathematical Discovery. ILP Simon Colton, Stephen H. Muggleton
2003	A	`conf`	The Homer System. CADE Simon Colton, Sophie Huczynska
2002	—	`book`	Automated Theory Formation in Pure Mathematics. Simon Colton
2002	—	`conf`	Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems. AI&M Simon Colton, Geoff Sutcliffe
2002	Misc	`conf`	Employing Theory Formation to Guide Proof Planning. AISC Andreas Meier, Volker Sorge, Simon Colton
2002	Misc	`conf`	Making Conjectures about Maple Functions. AISC Simon Colton
2002	A	`conf`	The HR Program for Theorem Generation. CADE Simon Colton
2002	—	`conf`	The NumbersWithNames Program. AI&M Simon Colton, Louise A. Dennis
2001	A	`conf`	Constraint Generation via Automated Theory Formation. CP Simon Colton, Ian Miguel
2000	J	`jnl`	An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming. Electron. Trans. Artif. Intell. Simon Colton
2000	A*	`conf`	Automatic Identification of Mathematical Concepts. ICML Simon Colton, Alan Bundy, Toby Walsh
2000	—	`conf`	Automatic Invention of Integer Sequences. AAAI/IAAI Simon Colton, Alan Bundy, Toby Walsh
2000	J	`jnl`	On the notion of interestingness in automated mathematical discovery. Int. J. Hum. Comput. Stud. Simon Colton, Alan Bundy, Toby Walsh
2000	A	`conf`	Workshop: The Role of Automated Deduction in Mathematics. CADE Simon Colton, Volker Sorge, Ursula Martin
1999	A*	`conf`	Automatic Concept Formation in Pure Mathematics. IJCAI Simon Colton, Alan Bundy, Toby Walsh
1998	—	`conf`	HR - Automatic Concept Formation in Finite Algebras. AAAI/IAAI Simon Colton