Lakatos-Style Automated Theorem Modification. - Simon Colton; Alison Pease (ECAI, 2004)

The TM System for Repairing Non-Theorems. - Simon Colton; Alison Pease (D/PDPAR@IJCAR, 2004)

A computational model of Lakatos-style reasoning. - Alison Pease (2007)

A Formal Cognitive Model of Mathematical Metaphors. - Markus Guhe; Alan Smaill; Alison Pease (KI, 2009)

Some Aspects of Analogical Reasoning in Mathematical Creativity. - Alison Pease; Markus Guhe; Alan Smaill (ICCC, 2010)

Computational Creativity Theory: The FACE and IDEA Descriptive Models. - Simon Colton; John William Charnley; Alison Pease (ICCC, 2011)

Computational Creativity Theory: Inspirations behind the FACE and the IDEA models. - Alison Pease; Simon Colton (ICCC, 2011)

A computational account of conceptual blending in basic mathematics. - Markus Guhe; Alison Pease; Alan Smaill; Maricarmen Martínez; Martin Schmidt 002; Helmar Gust; Kai-Uwe Kühnberger; Ulf Krumnack (Cogn. Syst. Res., 2011)

Aesthetic Considerations for Automated Platformer Design. - Michael Cook 001; Simon Colton; Alison Pease (AIIDE, 2012)

On the Notion of Framing in Computational Creativity. - John William Charnley; Alison Pease; Simon Colton (ICCC, 2012)

Analogy and Arithmetics: An HDTP-Based Model of the Calculation Circular Staircase. - Tarek Richard Besold; Alison Pease; Martin Schmidt 002 (CogSci, 2013)

Using Theory Formation Techniques for the Invention of Fictional Concepts. - Flaminia Cavallo; Alison Pease; Jeremy Gow; Simon Colton (ICCC, 2013)

A Discussion on Serendipity in Creative Systems. - Alison Pease; Simon Colton; Ramin Ramezani; John William Charnley; Kate Reed (ICCC, 2013)

Mathematical Practice, Crowdsourcing, and Social Machines. - Ursula Martin; Alison Pease (MKM/Calculemus/DML, 2013)

What does mathoverflow tell us about the production of mathematics? - Ursula Martin; Alison Pease (CoRR, 2013)

Developments in Research on Mathematical Practice and Cognition. - Alison Pease; Markus Guhe; Alan Smaill (Top. Cogn. Sci., 2013)

Algorithmic Aspects of Theory Blending. - Maricarmen Martínez; Ulf Krumnack; Alan Smaill; Tarek Richard Besold; Ahmed M. H. Abdel-Fattah; Martin Schmidt 002; Helmar Gust; Kai-Uwe Kühnberger; Markus Guhe; Alison Pease (AISC, 2014)

Lakatos Games for Mathematical Argument. - Alison Pease; Katarzyna Budzynska; John Lawrence; Chris Reed 001 (COMMA, 2014)

Assessing Progress in Building Autonomously Creative Systems. - Simon Colton; Alison Pease; Joseph Corneli; Michael Cook 001 (ICCC, 2014)

COINVENT: Towards a Computational Concept Invention Theory. - Marco Schorlemmer; Alan Smaill; Kai-Uwe Kühnberger; Oliver Kutz; Simon Colton; Emilios Cambouropoulos; Alison Pease (ICCC, 2014)

Modelling serendipity in a computational context. - Joseph Corneli; Alison Pease; Simon Colton; Anna Jordanous; Christian Guckelsberger (CoRR, 2014)

Discovery of invariants through automated theory formation. - Maria Teresa Llano; Andrew Ireland; Alison Pease (Formal Aspects Comput., 2014)

The role of blending in mathematical invention. - Félix Bou; Marco Schorlemmer; Joseph Corneli; Danny Gómez-Ramírez; Ewen Maclean; Alan Smaill; Alison Pease (ICCC, 2015)

Using Argumentation to Evaluate Concept Blends in Combinatorial Creativity. - Roberto Confalonieri 001; Joseph Corneli; Alison Pease; Enric Plaza; Marco Schorlemmer (ICCC, 2015)

Automating Change of Representation for Proofs in Discrete Mathematics. - Daniel Raggi; Alan Bundy; Gudmund Grov; Alison Pease (CICM, 2015)

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). - Daniel Raggi; Alan Bundy; Gudmund Grov; Alison Pease (Math. Comput. Sci., 2016)

Preface. - Ashok K. Goel 001; Anna Jordanous; Alison Pease (ICCC, 2017)

Modelling the way mathematics is actually done. - Joseph Corneli; Ursula Martin; Dave Murray-Rust; Alison Pease; Raymond Puzio; Gabriela Rino Nesin (FARM@ICFP, 2017)

Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues. - Joseph Corneli; Ursula Martin; Dave Murray-Rust; Alison Pease (CICM, 2017)

Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation. - Alison Pease; John Lawrence; Katarzyna Budzynska; Joseph Corneli; Chris Reed 001 (Artif. Intell., 2017)

Theory blending: extended algorithmic aspects and examples. - Maricarmen Martínez; Ahmed M. H. Abdel-Fattah; Ulf Krumnack; Danny Gómez-Ramírez; Alan Smaill; Tarek Richard Besold; Alison Pease; Martin Schmidt 002; Markus Guhe; Kai-Uwe Kühnberger (Ann. Math. Artif. Intell., 2017)

Social Aspects of Concept Invention. - Joseph Corneli; Alison Pease; Danae Stefanou (Concept Invention, 2018)

Evaluation of Creativity. - Alison Pease; Joseph Corneli (Concept Invention, 2018)

A Dialogue Game for Multi-Party Goal-Setting in Health Coaching. - Mark Snaith; Dominic De Franco; Tessa Beinema; Harm op den Akker; Alison Pease (COMMA, 2018)

Patterns of Design. - Joseph Corneli; Simon Holland; Alison Pease; Paul Mulholland; Dave Murray-Rust; Theodore Scaltsas; Alan Smaill (EuroPLoP, 2018)

Issues of Authenticity in Autonomously Creative Systems. - Alison Pease; Simon Colton; Rob Saunders (ICCC, 2018)

Council of Coaches - A Novel Holistic Behavior Change Coaching Approach. - Harm op den Akker; Rieks op den Akker; Tessa Beinema; Oresti Baños; Dirk Heylen; Björn Bedsted; Alison Pease; Catherine Pelachaud; Vicente Traver Salcedo 001; Sofoklis A. Kyriazakos; Hermie Hermens (ICT4AWE, 2018)

Automating "Human-Like" Example-Use in Mathematics. - Alison Pease; Ursula Martin (Bridging@IJCAI/ECAI, 2018)

Is Two Better than One?: Effects of Multiple Agents on User Persuasion. - Reshmashree B. Kantharaju; Dominic De Franco; Alison Pease; Catherine Pelachaud (IVA, 2018)

Measuring Persuasiveness in Behaviour Change Support Systems. - Dominic De Franco; Alison Pease; Mark Snaith (BCSS@PERSUASIVE, 2018)

Report on the Eighth International Conference on Computational Creativity. - Alison Pease; Anna Jordanous (AI Mag., 2018)

Argumentation theory for mathematical argument. - Joseph Corneli; Ursula Martin; Dave Murray-Rust; Gabriela Rino Nesin; Alison Pease (CoRR, 2018)

Framing In Computational Creativity - A Survey And Taxonomy. - Michael Cook 001; Simon Colton; Alison Pease; Maria Teresa Llano (ICCC, 2019)

Opportunities for Computational Creativity in a Therapeutic Context. - Lee Cheatley; Wendy Moncur; Alison Pease (ICCC, 2019)

The HR3 System for Automatic Code Generation in Creative Settings. - Simon Colton; Alison Pease; Michael Cook 001; Chunyang Chen 001 (ICCC, 2019)

The Importance of Applying Computational Creativity to Scientific and Mathematical Domains. - Alison Pease; Simon Colton; Chris Warburton; Athanasios Nathanail; Irina Preda; Daniel Arnold 004; Daniel Winterstein; Mike Cook (ICCC, 2019)

Integrating Argumentation with Social Conversation between Multiple Virtual Coaches. - Reshmashree B. Kantharaju; Alison Pease; Dennis Reidsma; Catherine Pelachaud; Mark Snaith; Merijn Bruijnes; Randy Klaassen; Tessa Beinema; Gerwin Huizing; Donatella Simonetti; Dirk Heylen; Harm op den Akker (IVA, 2019)

Designing Behaviour Change Support Systems for Behaviour Transformation. - Dominic De Franco; Alison Pease (BCSS@PERSUASIVE, 2019)

A Modular Platform for Argument and Dialogue. - Mark Snaith; John Lawrence; Alison Pease; Chris Reed 001 (COMMA, 2020)

Co-Creative Songwriting for Bereavement Support. - Lee Cheatley; Margareta Ackerman; Alison Pease; Wendy Moncur (ICCC, 2020)

On the Machine Condition and its Creative Expression. - Simon Colton; Alison Pease; Christian Guckelsberger; Jon McCormack; Maria Teresa Llano (ICCC, 2020)

Explainable Computational Creativity. - Maria Teresa Llano; Mark d'Inverno; Matthew Yee-King; Jon McCormack; Alon Ilsar; Alison Pease; Simon Colton (ICCC, 2020)

Agents United: An Open Platform for Multi-Agent Conversational Systems. - Tessa Beinema; Daniel P. Davison; Dennis Reidsma; Oresti Banos; Merijn Bruijnes; Brice Donval; Álvaro Fides-Valero; Dirk Heylen; Dennis Hofs; Gerwin Huizing; Reshmashree B. Kantharaju; Randy Klaassen; et al. (IVA, 2021)

Ethical challenges in argumentation and dialogue in a healthcare context. - Mark Snaith; Rasmus Øjvind Nielsen; Sita Ramchandra Kotnis; Alison Pease (Argument Comput., 2021)

A multimodal corpus of simulated consultations between a patient and multiple healthcare professionals. - Mark Snaith; Nicholas Conway; Tessa Beinema; Dominic De Franco; Alison Pease; Reshmashree B. Kantharaju; Mathilde Janier; Gerwin Huizing; Catherine Pelachaud; Harm op den Akker (Lang. Resour. Evaluation, 2021)

Enabling mathematical cultures: introduction. - Benedikt Löwe; Ursula Martin; Alison Pease (Synth., 2021)

A Roadmap for Therapeutic Computational Creativity. - Alison Pease; Margareta Ackerman; Nic Pease; Bernadette McFadden (ICCC, 2022)

Musical creativity support tools for bereavement support. - Lee Cheatley; Margareta Ackerman; Alison Pease; Wendy Moncur (Digit. Creativity, 2022)

On the Notion of Creative Personhood. - Alison Pease; Simon Colton; Berker Banar (ICCC, 2023)

Computational Creativity and the Climate Crisis. - Alison Pease; Arnold Pease (ICCC, 2023)