Simon Colton

Proceedings of the 24th IEEE International Workshop on Multimedia Signal Processing, 2022

The @artbhot Text-To-Image Twitter Bot.

[BibT_eX]

[DOI]

Amy Smith

Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27, 2022

Neo-Riemannian Theory for Generative Film and Videogame Music.

[BibT_eX]

[DOI]

Sara Cardinale

Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27, 2022

Connecting Audio and Graphic Score Using Self-supervised Representation Learning - A Case Study with György Ligeti's Artikulation.

[BibT_eX]

[DOI]

Berker Banar

Proceedings of the 13th International Conference on Computational Creativity, Bozen-Bolzano, Italy, June 27, 2022

A Systematic Evaluation of GPT-2-Based Music Generation.

[BibT_eX]

[DOI]

Berker Banar

Proceedings of the Artificial Intelligence in Music, Sound, Art and Design, 2022

2021

Generative Search Engines: First Experiments.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Computational Creativity, 2021

GANlapse Generative Photography.

[BibT_eX]

[DOI]

Blanca Pérez Ferrer

Proceedings of the Twelfth International Conference on Computational Creativity, 2021

Active Divergence with Generative Deep Learning - A Survey and Taxonomy.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on Computational Creativity, 2021

Automating Generative Deep Learning for Artistic Purposes: Challenges and Opportunities.

[BibT_eX]

[DOI]

Sebastian Berns

Terence Broad

Proceedings of the Twelfth International Conference on Computational Creativity, 2021

Expressivity of parameterized and data-driven representations in quality diversity search.

[BibT_eX]

[DOI]

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Evolving Neural Style Transfer Blends.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Music, Sound, Art and Design, 2021

2020

Casual Creators in the Wild: A Typology of Commercial Generative Creativity Support Tools.

[BibT_eX]

[DOI]

Elena Petrovskaya

Sebastian Deterding

Proceedings of the Eleventh International Conference on Computational Creativity, 2020

Explainable Computational Creativity.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Computational Creativity, 2020

On the Machine Condition and its Creative Expression.

[BibT_eX]

[DOI]

Jon McCormack

Proceedings of the Eleventh International Conference on Computational Creativity, 2020

Creativity Theatre for Demonstrable Computational Creativity.

[BibT_eX]

[DOI]

Proceedings of the Eleventh International Conference on Computational Creativity, 2020

Bridging Generative Deep Learning and Computational Creativity.

[BibT_eX]

[DOI]

Sebastian Berns

Proceedings of the Eleventh International Conference on Computational Creativity, 2020

Controlling Self-organization in Generative Creative Systems.

[BibT_eX]

[DOI]

Jonathan Young

Proceedings of the Artificial Intelligence in Music, Sound, Art and Design, 2020

Adapting and Enhancing Evolutionary Art for Casual Creation.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Music, Sound, Art and Design, 2020

2019

Guest Editorial Special Issue on AI-Based and AI-Assisted Game Design.

[BibT_eX]

[DOI]

Antonios Liapis

Georgios N. Yannakakis

IEEE Trans. Games, 2019

The Importance of Applying Computational Creativity to Scientific and Mathematical Domains.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Computational Creativity, 2019

The HR3 System for Automatic Code Generation in Creative Settings.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Computational Creativity, 2019

Framing In Computational Creativity - A Survey And Taxonomy.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Computational Creativity, 2019

Camera Obscurer: Generative Art for Design Inspiration.

[BibT_eX]

[DOI]

Proceedings of the Computational Intelligence in Music, Sound, Art and Design, 2019

Towards Liveness in Game Development.

[BibT_eX]

[DOI]

Andrew R. Martin

Proceedings of the IEEE Conference on Games, 2019

General Analytical Techniques For Parameter-Based Procedural Content Generators.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Games, 2019

2018

Rapid game jams with fluidic games: A user study & design methodology.

[BibT_eX]

[DOI]

Entertain. Comput., 2018

Exploring Novel Game Spaces with Fluidic Games.

[BibT_eX]

[DOI]

CoRR, 2018

The Use of Automated Theory Formation in Support of Hazard Analysis.

[BibT_eX]

[DOI]

Andrew Ireland

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Investigating and Automating the Creative Act of Software Engineering: A Position Paper.

[BibT_eX]

[DOI]

Edward J. Powley

Proceedings of the Ninth International Conference on Computational Creativity, 2018

Issues of Authenticity in Autonomously Creative Systems.

[BibT_eX]

[DOI]

Rob Saunders

Proceedings of the Ninth International Conference on Computational Creativity, 2018

A Parameter-Space Design Methodology for Casual Creators.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Computational Creativity, 2018

Neighbouring Communities: Interaction, Lessons and Opportunities.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Computational Creativity, 2018

Redesigning Computationally Creative Systems For Continuous Creation.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Computational Creativity, 2018

Curious users of casual creators.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on the Foundations of Digital Games, 2018

Inferring Design Constraints From Game Ruleset Analysis.

[BibT_eX]

[DOI]

Azalea Raad

Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, 2018

2017

The ANGELINA Videogame Design System - Part II.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2017

The ANGELINA Videogame Design System - Part I.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2017

Off The Beaten Lane: AI Challenges In MOBAs Beyond Player Control.

[BibT_eX]

[DOI]

Adam Summerville

CoRR, 2017

Fluidic Games in Cultural Contexts.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Computational Creativity, 2017

Addressing the "Why?" in Computational Creativity: A Non-Anthropocentric, Minimal Model of Intentional Creative Agency.

[BibT_eX]

[DOI]

Christoph Salge

Proceedings of the Eighth International Conference on Computational Creativity, 2017

Mixed-Initiative Approaches to On-Device Mobile Game Design.

[BibT_eX]

[DOI]

Proceedings of the CHI'17 Workshop on Mixed-Initiative Creative Interfaces co-located with ACM CHI Conference on Human Factors in Computing Systems (CHI 2017), 2017

Wevva: Democratising Game Design.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE-17), 2017

2016

Automated Fictional Ideation via Knowledge Base Manipulation.

[BibT_eX]

[DOI]

Cogn. Comput., 2016

What If A Fish Got Drunk? Exploring the Plausibility of Machine-Generated Fictions.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Conference on Computational Creativity, 2016

Supportive and Antagonistic Behaviour in Distributed Computational Creativity via Coupled Empowerment Maximisation.

[BibT_eX]

[DOI]

Christoph Salge

Rob Saunders

Proceedings of the Seventh International Conference on Computational Creativity, 2016

The "Beyond the Fence" Musical and "Computer Says Show" Documentary.

[BibT_eX]

[DOI]

Rose Hepworth

Proceedings of the Seventh International Conference on Computational Creativity, 2016

The FloWr Online Plat-form: Automated Programming and Computational Creativity as a Service.

[BibT_eX]

[DOI]

Joseph Corneli

Proceedings of the Seventh International Conference on Computational Creativity, 2016

Semi-automated level design via auto-playtesting for handheld casual game creation.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computational Intelligence and Games, 2016

Intrinsically motivated general companion NPCs via Coupled Empowerment Maximisation.

[BibT_eX]

[DOI]

Christoph Salge

Proceedings of the IEEE Conference on Computational Intelligence and Games, 2016

Towards the automatic optimisation of procedural content generators.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Computational Intelligence and Games, 2016

Semi-Automated Design Space Exploration for Formal Modelling.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

The Digital Synaptic Neural Substrate: A New Approach to Computational Creativity.

[BibT_eX]

[DOI]

CoRR, 2015

Computational Poetry Workshop: Making Sense of Work in Progress.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computational Creativity, 2015

Generating Code For Expressing Simple Preferences: Moving On From Hardcoding And Randomness.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computational Creativity, 2015

The Painting Fool Sees! New Projects with the Automated Painter.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Conference on Computational Creativity, 2015

2014

Modelling serendipity in a computational context.

[BibT_eX]

[DOI]

CoRR, 2014

COINVENT: Towards a Computational Concept Invention Theory.

[BibT_eX]

[DOI]

Emilios Cambouropoulos

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Baseline Methods for Automated Fictional Ideation.

[BibT_eX]

[DOI]

Nada Lavrac

Martin Znidarsic

Matic Perovsek

Mark Granroth-Wilding

Stephen Clark

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Ludus Ex Machina: Building A 3D Game Designer That Competes Alongside Humans.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Computational Creativity, 2014

You Can't Know my Mind: A Festival of Computational Creativity.

[BibT_eX]

[DOI]

Dan Ventura

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Assessing Progress in Building Autonomously Creative Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Computational Creativity, 2014

The FloWr Framework: Automated Flowchart Construction, Optimisation and Alteration for Creative Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Computational Creativity, 2014

2013

On Shape Poems and the Shape of Poems: A Computational Creativity Perspective.

[BibT_eX]

[DOI]

Proceedings of the Second Interdisciplinary Workshop The Shape of Things, 2013

Towards Narrative Ideation via Cross-Context Link Discovery Using Banded Matrices.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Data Analysis XII, 2013

A Discussion on Serendipity in Creative Systems.

[BibT_eX]

[DOI]

Ramin Ramezani

Kate Reed

Proceedings of the Fourth International Conference on Computational Creativity, 2013

Nobody's A Critic: On The Evaluation Of Creative Code Generators - A Case Study In Video Game Design.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Computational Creativity, 2013

Using Theory Formation Techniques for the Invention of Fictional Concepts.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Computational Creativity, 2013

Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation - 16th European Conference, 2013

2012

Unsupervised Modeling of Player Style With LDA.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2012

Guest Editorial: Special Issue on Computational Aesthetics in Games.

[BibT_eX]

[DOI]

Cameron Browne

Georgios N. Yannakakis

IEEE Trans. Comput. Intell. AI Games, 2012

A Survey of Monte Carlo Tree Search Methods.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Intell. AI Games, 2012

No photos harmed/growing paths from seed: an exhibition.

[BibT_eX]

[DOI]

Blanca Pérez Ferrer

Proceedings of the 10th International Symposium on Non-Photorealistic Animation and Rendering, 2012

Full-FACE Poetry Generation.

[BibT_eX]

[DOI]

Jacob Goodwin

Tony Veale

Proceedings of the Third International Conference on Computational Creativity, 2012

On the Notion of Framing in Computational Creativity.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Computational Creativity, 2012

Initial Results from Co-operative Co-evolution for Automated Platformer Design.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation, 2012

Evolving a Library of Artistic Scene Descriptors.

[BibT_eX]

[DOI]

Proceedings of the Evolutionary and Biologically Inspired Music, Sound, Art and Design, 2012

Computational Creativity: The Final Frontier?

[BibT_eX]

[DOI]

Geraint A. Wiggins

Proceedings of the ECAI 2012, 2012

Computational creativity in a closed game system.

[BibT_eX]

[DOI]

Cameron Browne

Proceedings of the 2012 IEEE Conference on Computational Intelligence and Games, 2012

Mining Rules from Player Experience and Activity Data.

[BibT_eX]

[DOI]

Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

Aesthetic Considerations for Automated Platformer Design.

[BibT_eX]

[DOI]

Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, 2012

2011

Computational Creativity Theory: Inspirations behind the FACE and the IDEA models.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Computational Creativity, 2011

Automated Collage Generation - With More Intent.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Computational Creativity, 2011

Computational Creativity Theory: The FACE and IDEA Descriptive Models.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Computational Creativity, 2011

Ludic Considerations of Tablet-Based Evo-Art.

[BibT_eX]

[DOI]

Azalea Raad

Proceedings of the Applications of Evolutionary Computation, 2011

Multi-faceted evolution of simple arcade games.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Conference on Computational Intelligence and Games, 2011

2010

Towards Ontology Use, Re-use and Abuse in a Computational Creativity Collective - A Position Statement.

[BibT_eX]

[DOI]

Proceedings of the Modular Ontologies - Proceedings of the Fourth International Workshop, 2010

Automated Collage Generation - With Intent.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Creativity, 2010

Experiments in Objet Trouvé Browsing.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computational Creativity, 2010

Evolving 3D Buildings for the Prototype Video Game Subversion.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computation, 2010

Evolving Behaviour Trees for the Commercial Game DEFCON.

[BibT_eX]

[DOI]

Chong-U Lim

Robin Baumgarten

Proceedings of the Applications of Evolutionary Computation, 2010

Stroke Matching for Paint Dances.

[BibT_eX]

[DOI]

Proceedings of the 6th International Symposium on Computational Aesthetics in Graphics, 2010

2009

Combining AI Methods for Learning Bots in a Real-Time Strategy Game.

[BibT_eX]

[DOI]

Robin Baumgarten

Mark Morris

Int. J. Comput. Games Technol., 2009

Computational Creativity: Coming of Age.

[BibT_eX]

[DOI]

Ramón López de Mántaras

Oliviero Stock

AI Mag., 2009

Evolving Approximate Image Filters.

[BibT_eX]

[DOI]

Pedro Torres

Proceedings of the Applications of Evolutionary Computing, 2009

Evolving Simple Art-Based Games.

[BibT_eX]

[DOI]

Cameron Browne

Proceedings of the Applications of Evolutionary Computing, 2009

Seven Catchy Phrases for Computational Creativity Research.

[BibT_eX]

[DOI]

Proceedings of the Computational Creativity: An Interdisciplinary Approach, 12.07., 2009

2008

Guest editorial: special issue on Inductive Logic Programming.

[BibT_eX]

[DOI]

Stephen H. Muggleton

Ramón P. Otero

Mach. Learn., 2008

Automatic Construction and Verification of Isotopy Invariants.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

AAAI 2008 Spring Symposia Reports.

[BibT_eX]

[DOI]

AI Mag., 2008

Emotionally aware automated portrait painting demonstration.

[BibT_eX]

[DOI]

Michel François Valstar

Maja Pantic

Proceedings of the 8th IEEE International Conference on Automatic Face and Gesture Recognition (FG 2008), 2008

Automatic Invention of Fitness Functions with Application to Scene Generation.

[BibT_eX]

[DOI]

Proceedings of the Applications of Evolutionary Computing, 2008

Emotionally aware automated portrait painting.

[BibT_eX]

[DOI]

Michel François Valstar

Maja Pantic

Proceedings of the Third International Conference on Digital Interactive Media in Entertainment and Arts, 2008

A Global Workspace Framework for Combining Reasoning Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Preface.

[BibT_eX]

[DOI]

Dan Ventura

Mary Lou Maher

Proceedings of the Creative Intelligent Systems, 2008

Organizing Committee.

[BibT_eX]

[DOI]

Dan Ventura

Mary Lou Maher

Proceedings of the Creative Intelligent Systems, 2008

Creativity Versus the Perception of Creativity in Computational Systems.

[BibT_eX]

[DOI]

Proceedings of the Creative Intelligent Systems, 2008

Joined-Up Reasoning for Automated Scientific Discovery: A Position Statement and Research Agenda.

[BibT_eX]

[DOI]

Proceedings of the Automated Scientific Discovery, 2008

2007

Using Formal Concept Analysis in Mathematical Discovery.

[BibT_eX]

[DOI]

Daniel Wagner

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

Computational Discovery in Pure Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Computational Discovery of Scientific Knowledge, 2007

2006

Mathematical applications of inductive logic programming.

[BibT_eX]

[DOI]

Stephen H. Muggleton

Mach. Learn., 2006

Managing Automatically Formed Mathematical Theories.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Knowledge Management, 5th International Conference, 2006

Boosting Descriptive ILP for Predictive Learning in Bioinformatics.

[BibT_eX]

[DOI]

Ning Jiang

Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Predictive and Descriptive Approaches to Learning Game Rules from Vision Data.

[BibT_eX]

[DOI]

Paulo E. Santos

Derek R. Magee

Proceedings of the Advances in Artificial Intelligence, 2006

Automatic Generation of Implied Constraints.

[BibT_eX]

[DOI]

Ian Miguel

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Automated conjecture making in number theory using HR, Otter and Maple.

[BibT_eX]

[DOI]

J. Symb. Comput., 2005

2004

The TM System for Repairing Non-Theorems.

[BibT_eX]

[DOI]

Proceedings of the Selected Papers from the Workshops on Disproving, 2004

Lakatos-Style Automated Theorem Modification.

[BibT_eX]

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Automatic Generation of Classification Theorems for Finite Algebras.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - Second International Joint Conference, 2004

2003

ILP for Mathematical Discovery.

[BibT_eX]

[DOI]

Stephen H. Muggleton

Proceedings of the Inductive Logic Programming: 13th International Conference, 2003

The Homer System.

[BibT_eX]

[DOI]

Sophie Huczynska

Proceedings of the Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28, 2003

2002

Automatic Generation of Benchmark Problems for Automated Theorem Proving Systems.

[BibT_eX]

[DOI]

Geoff Sutcliffe

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

The NumbersWithNames Program.

[BibT_eX]

[DOI]

Louise A. Dennis

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2002

The HR Program for Theorem Generation.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2002

Employing Theory Formation to Guide Proof Planning.

[BibT_eX]

[DOI]

Andreas Meier

Volker Sorge

Proceedings of the Artificial Intelligence, 2002

Making Conjectures about Maple Functions.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence, 2002

Automated Theory Formation in Pure Mathematics.

[BibT_eX]

Distinguished dissertations, Springer, ISBN: 978-1-85233-609-7, 2002

2001

Constraint Generation via Automated Theory Formation.

[BibT_eX]

[DOI]

Ian Miguel

Proceedings of the Principles and Practice of Constraint Programming, 2001

2000

On the notion of interestingness in automated mathematical discovery.

[BibT_eX]

[DOI]

Int. J. Hum. Comput. Stud., 2000

An Application-based Comparison of Automated Theory Formation and Inductive Logic Programming.

[BibT_eX]

[DOI]

Electron. Trans. Artif. Intell., 2000

Automatic Identification of Mathematical Concepts.

[BibT_eX]

Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000

Workshop: The Role of Automated Deduction in Mathematics.

[BibT_eX]

[DOI]

Volker Sorge

Ursula Martin

Proceedings of the Automated Deduction, 2000

Automatic Invention of Integer Sequences.

[BibT_eX]

[DOI]

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999

Automatic Concept Formation in Pure Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

HR - Automatic Concept Formation in Finite Algebras.

[BibT_eX]

[DOI]