Alison Pease

According to our database, Alison Pease authored at least 60 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Computational Creativity and the Climate Crisis.

Alison Pease, Arnold Pease

Proceedings of the 14th International Conference on Computational Creativity, 2023

On the Notion of Creative Personhood.

Alison Pease, Simon Colton, Berker Banar

Proceedings of the 14th International Conference on Computational Creativity, 2023

2022

Musical creativity support tools for bereavement support.

Lee Cheatley, Margareta Ackerman, Alison Pease, Wendy Moncur

Digit. Creativity, 2022

A Roadmap for Therapeutic Computational Creativity.

Alison Pease, Margareta Ackerman, Nic Pease, Bernadette McFadden

Proceedings of the 13th International Conference on Computational Creativity, 2022

2021

Enabling mathematical cultures: introduction.

Benedikt Löwe, Ursula Martin, Alison Pease

Synth., 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

Ethical challenges in argumentation and dialogue in a healthcare context.

Mark Snaith, Rasmus Øjvind Nielsen, Sita Ramchandra Kotnis, Alison Pease

Argument Comput., 2021

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, Jan Kolkmeier, Kostas Konsolakis, Alison Pease, Catherine Pelachaud, Donatella Simonetti, Mark Snaith, Vicente Traver, Jorien van Loon, Jacky Visser, Marcel Weusthof, Fajrian Yunus, Hermie Hermens, Harm op den Akker

Proceedings of the IVA '21: ACM International Conference on Intelligent Virtual Agents, 2021

2020

Explainable Computational Creativity.

Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton

Proceedings of the Eleventh International Conference on Computational Creativity, 2020

On the Machine Condition and its Creative Expression.

Simon Colton, Alison Pease, Christian Guckelsberger, Jon McCormack, Maria Teresa Llano

Proceedings of the Eleventh International Conference on Computational Creativity, 2020

Co-Creative Songwriting for Bereavement Support.

Lee Cheatley, Margareta Ackerman, Alison Pease, Wendy Moncur

Proceedings of the Eleventh International Conference on Computational Creativity, 2020

A Modular Platform for Argument and Dialogue.

Mark Snaith, John Lawrence, Alison Pease, Chris Reed

Proceedings of the Computational Models of Argument, 2020

2019

Designing Behaviour Change Support Systems for Behaviour Transformation.

Dominic De Franco, Alison Pease

Proceedings of the Seventh International Workshop on Behavior Change Support Systems co-located with the 14th International Conference on Persuasive Technology, 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

Proceedings of the 19th ACM International Conference on Intelligent Virtual Agents, 2019

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

Alison Pease, Simon Colton, Chris Warburton, Athanasios Nathanail, Irina Preda, Daniel Arnold, Daniel Winterstein, Mike Cook

Proceedings of the Tenth International Conference on Computational Creativity, 2019

The HR3 System for Automatic Code Generation in Creative Settings.

Simon Colton, Alison Pease, Michael Cook, Chunyang Chen

Proceedings of the Tenth International Conference on Computational Creativity, 2019

Opportunities for Computational Creativity in a Therapeutic Context.

Lee Cheatley, Wendy Moncur, Alison Pease

Proceedings of the Tenth International Conference on Computational Creativity, 2019

Framing In Computational Creativity - A Survey And Taxonomy.

Michael Cook, Simon Colton, Alison Pease, Maria Teresa Llano

Proceedings of the Tenth International Conference on Computational Creativity, 2019

2018

Argumentation theory for mathematical argument.

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin, Alison Pease

CoRR, 2018

Report on the Eighth International Conference on Computational Creativity.

Alison Pease, Anna Jordanous

AI Mag., 2018

Measuring Persuasiveness in Behaviour Change Support Systems.

Dominic De Franco, Alison Pease, Mark Snaith

Proceedings of the Sixth International Workshop on Behavior Change Support Systems co-located with the 13th International Conference on Persuasive Technology (PERSUASIVE 2018), 2018

Is Two Better than One?: Effects of Multiple Agents on User Persuasion.

Reshmashree B. Kantharaju, Dominic De Franco, Alison Pease, Catherine Pelachaud

Proceedings of the 18th International Conference on Intelligent Virtual Agents, 2018

Automating "Human-Like" Example-Use in Mathematics.

Alison Pease, Ursula Martin

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 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, Sofoklis A. Kyriazakos, Hermie Hermens

Proceedings of the 4th International Conference on Information and Communication Technologies for Ageing Well and e-Health, 2018

Issues of Authenticity in Autonomously Creative Systems.

Alison Pease, Simon Colton, Rob Saunders

Proceedings of the Ninth International Conference on Computational Creativity, 2018

Patterns of Design.

Joseph Corneli, Simon Holland, Alison Pease, Paul Mulholland, Dave Murray-Rust, Theodore Scaltsas, Alan Smaill

Proceedings of the 23rd European Conference on Pattern Languages of Programs, 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

Proceedings of the Computational Models of Argument, 2018

Evaluation of Creativity.

Alison Pease, Joseph Corneli

Proceedings of the Concept Invention, 2018

Social Aspects of Concept Invention.

Joseph Corneli, Alison Pease, Danae Stefanou

Proceedings of the Concept Invention, 2018

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, Markus Guhe, Kai-Uwe Kühnberger

Ann. Math. Artif. Intell., 2017

Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation.

Alison Pease, John Lawrence, Katarzyna Budzynska, Joseph Corneli, Chris Reed

Artif. Intell., 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

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017

Modelling the way mathematics is actually done.

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin

Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, 2017

Preface.

Ashok K. Goel, Anna Jordanous, Alison Pease

Proceedings of the Eighth International Conference on Computational Creativity, 2017

2016

Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).

Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Math. Comput. Sci., 2016

2015

Automating Change of Representation for Proofs in Discrete Mathematics.

Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Using Argumentation to Evaluate Concept Blends in Combinatorial Creativity.

Roberto Confalonieri, Joseph Corneli, Alison Pease, Enric Plaza, Marco Schorlemmer

Proceedings of the Sixth International Conference on Computational Creativity, 2015

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

Proceedings of the Sixth International Conference on Computational Creativity, 2015

2014

Discovery of invariants through automated theory formation.

Maria Teresa Llano, Andrew Ireland, Alison Pease

Formal Aspects Comput., 2014

Modelling serendipity in a computational context.

Joseph Corneli, Alison Pease, Simon Colton, Anna Jordanous, Christian Guckelsberger

CoRR, 2014

COINVENT: Towards a Computational Concept Invention Theory.

Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Assessing Progress in Building Autonomously Creative Systems.

Simon Colton, Alison Pease, Joseph Corneli, Michael Cook

Proceedings of the Fifth International Conference on Computational Creativity, 2014

Lakatos Games for Mathematical Argument.

Alison Pease, Katarzyna Budzynska, John Lawrence, Chris Reed

Proceedings of the Computational Models of Argument, 2014

Algorithmic Aspects of Theory Blending.

Maricarmen Martínez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Markus Guhe, Alison Pease

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2013

Developments in Research on Mathematical Practice and Cognition.

Alison Pease, Markus Guhe, Alan Smaill

Top. Cogn. Sci., 2013

What does mathoverflow tell us about the production of mathematics?

Ursula Martin, Alison Pease

CoRR, 2013

Mathematical Practice, Crowdsourcing, and Social Machines.

Ursula Martin, Alison Pease

Proceedings of the Intelligent Computer Mathematics, 2013

A Discussion on Serendipity in Creative Systems.

Alison Pease, Simon Colton, Ramin Ramezani, John William Charnley, Kate Reed

Proceedings of the Fourth International Conference on Computational Creativity, 2013

Using Theory Formation Techniques for the Invention of Fictional Concepts.

Flaminia Cavallo, Alison Pease, Jeremy Gow, Simon Colton

Proceedings of the Fourth International Conference on Computational Creativity, 2013

Analogy and Arithmetics: An HDTP-Based Model of the Calculation Circular Staircase.

Tarek Richard Besold, Alison Pease, Martin Schmidt

Proceedings of the 35th Annual Meeting of the Cognitive Science Society, 2013

2012

On the Notion of Framing in Computational Creativity.

John William Charnley, Alison Pease, Simon Colton

Proceedings of the Third International Conference on Computational Creativity, 2012

Aesthetic Considerations for Automated Platformer Design.

Michael Cook, Simon Colton, Alison Pease

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

2011

A computational account of conceptual blending in basic mathematics.

Markus Guhe, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack

Cogn. Syst. Res., 2011

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

Alison Pease, Simon Colton

Proceedings of the Second International Conference on Computational Creativity, 2011

Computational Creativity Theory: The FACE and IDEA Descriptive Models.

Simon Colton, John William Charnley, Alison Pease

Proceedings of the Second International Conference on Computational Creativity, 2011

2010

Some Aspects of Analogical Reasoning in Mathematical Creativity.

Alison Pease, Markus Guhe, Alan Smaill

Proceedings of the International Conference on Computational Creativity, 2010

2009

A Formal Cognitive Model of Mathematical Metaphors.

Markus Guhe, Alan Smaill, Alison Pease

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

2007

A computational model of Lakatos-style reasoning.

Alison Pease

PhD thesis, 2007

2004

The TM System for Repairing Non-Theorems.

Simon Colton, Alison Pease

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

Lakatos-Style Automated Theorem Modification.

Simon Colton, Alison Pease

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