Alison Pease

71 papers A 1B 4C 33Misc 3Journal 18Unranked 8
YearRankTypeTitle / Venue / Authors
2023 C conf
Computational Creativity and the Climate Crisis.
ICCC
Alison Pease, Arnold Pease
2023 C conf
On the Notion of Creative Personhood.
ICCC
Alison Pease, Simon Colton, Berker Banar
2023 C ed.
Proceedings of the 14th International Conference on Computational Creativity, ICCC 2023, Ontario, Canada, June 19-23, 2023.
ICCC
Alison Pease, João Miguel Cunha, Maya Ackerman, Daniel G. Brown
2022 C conf
A Roadmap for Therapeutic Computational Creativity.
ICCC
Alison Pease, Margareta Ackerman, Nic Pease, Bernadette McFadden
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 J jnl
Musical creativity support tools for bereavement support.
Digit. Creativity
Lee Cheatley, Margareta Ackerman, Alison Pease, Wendy Moncur
2021 J jnl
A multimodal corpus of simulated consultations between a patient and multiple healthcare professionals.
Lang. Resour. Evaluation
Mark Snaith, Nicholas Conway, Tessa Beinema, Dominic De Franco, Alison Pease, Reshmashree B. Kantharaju, Mathilde Janier, Gerwin Huizing, Catherine Pelachaud, Harm op den Akker
2021 B conf
Agents United: An Open Platform for Multi-Agent Conversational Systems.
IVA
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
2021 J jnl
Enabling mathematical cultures: introduction.
Synth.
Benedikt Löwe, Ursula Martin, Alison Pease
2021 J jnl
Ethical challenges in argumentation and dialogue in a healthcare context.
Argument Comput.
Mark Snaith, Rasmus Øjvind Nielsen, Sita Ramchandra Kotnis, Alison Pease
2020 C conf
A Modular Platform for Argument and Dialogue.
COMMA
Mark Snaith, John Lawrence, Alison Pease, Chris Reed
2020 C conf
Co-Creative Songwriting for Bereavement Support.
ICCC
Lee Cheatley, Margareta Ackerman, Alison Pease, Wendy Moncur
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 — conf
Designing Behaviour Change Support Systems for Behaviour Transformation.
BCSS@PERSUASIVE
Dominic De Franco, Alison Pease
2019 C conf
Framing In Computational Creativity - A Survey And Taxonomy.
ICCC
Michael Cook, Simon Colton, Alison Pease, Maria Teresa Llano
2019 B conf
Integrating Argumentation with Social Conversation between Multiple Virtual Coaches.
IVA
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
2019 J jnl
Is Two Better than One? Effects of Multiple Agents on User Persuasion.
CoRR
Reshmashree B. Kantharaju, Dominic De Franco, Alison Pease, Catherine Pelachaud
2019 C conf
Opportunities for Computational Creativity in a Therapeutic Context.
ICCC
Lee Cheatley, Wendy Moncur, Alison Pease
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
2018 C conf
A Dialogue Game for Multi-Party Goal-Setting in Health Coaching.
COMMA
Mark Snaith, Dominic De Franco, Tessa Beinema, Harm op den Akker, Alison Pease
2018 J jnl
Argumentation theory for mathematical argument.
CoRR
Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin, Alison Pease
2018 — conf
Automating "Human-Like" Example-Use in Mathematics.
Bridging@IJCAI/ECAI
Alison Pease, Ursula Martin
2018 — book
Concept Invention - Foundations, Implementation, Social Aspects and Applications
Concept Invention
Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek R. Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos-Papakostas
2018 C conf
Council of Coaches - A Novel Holistic Behavior Change Coaching Approach.
ICT4AWE
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
2018 — ch.
Evaluation of Creativity.
Concept Invention
Alison Pease, Joseph Corneli
2018 B conf
Is Two Better than One?: Effects of Multiple Agents on User Persuasion.
IVA
Reshmashree B. Kantharaju, Dominic De Franco, Alison Pease, Catherine Pelachaud
2018 C conf
Issues of Authenticity in Autonomously Creative Systems.
ICCC
Alison Pease, Simon Colton, Rob Saunders
2018 — conf
Measuring Persuasiveness in Behaviour Change Support Systems.
BCSS@PERSUASIVE
Dominic De Franco, Alison Pease, Mark Snaith
2018 Misc conf
Patterns of Design.
EuroPLoP
Joseph Corneli, Simon Holland, Alison Pease, Paul Mulholland, Dave Murray-Rust, Theodore Scaltsas, Alan Smaill
2018 J jnl
Report on the Eighth International Conference on Computational Creativity.
AI Mag.
Alison Pease, Anna Jordanous
2018 — ch.
Social Aspects of Concept Invention.
Concept Invention
Joseph Corneli, Alison Pease, Danae Stefanou
2017 J jnl
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation.
Artif. Intell.
Alison Pease, John Lawrence, Katarzyna Budzynska, Joseph Corneli, Chris Reed
2017 — conf
Modelling the way mathematics is actually done.
FARM@ICFP
Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease, Raymond Puzio, Gabriela Rino Nesin
2017 C conf
Preface.
ICCC
Ashok K. Goel, Anna Jordanous, Alison Pease
2017 C ed.
Proceedings of the Eighth International Conference on Computational Creativity, ICCC 2017, Atlanta, Georgia, USA, June 19-23, 2017.
ICCC
Ashok K. Goel, Anna Jordanous, Alison Pease
2017 J jnl
Theory blending: extended algorithmic aspects and examples.
Ann. Math. Artif. Intell.
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
2017 C conf
Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues.
CICM
Joseph Corneli, Ursula Martin, Dave Murray-Rust, Alison Pease
2016 J jnl
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Math. Comput. Sci.
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015 C conf
Automating Change of Representation for Proofs in Discrete Mathematics.
CICM
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015 J jnl
Automating change of representation for proofs in discrete mathematics.
CoRR
Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
2015 C conf
The role of blending in mathematical invention.
ICCC
Félix Bou, Marco Schorlemmer, Joseph Corneli, Danny Gómez-Ramírez, Ewen Maclean, Alan Smaill, Alison Pease
2015 C conf
Using Argumentation to Evaluate Concept Blends in Combinatorial Creativity.
ICCC
Roberto Confalonieri, Joseph Corneli, Alison Pease, Enric Plaza, Marco Schorlemmer
2014 Misc conf
Algorithmic Aspects of Theory Blending.
AISC
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
2014 C conf
Assessing Progress in Building Autonomously Creative Systems.
ICCC
Simon Colton, Alison Pease, Joseph Corneli, Michael Cook
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 J jnl
Discovery of invariants through automated theory formation.
Formal Aspects Comput.
Maria Teresa Llano, Andrew Ireland, Alison Pease
2014 C conf
Lakatos Games for Mathematical Argument.
COMMA
Alison Pease, Katarzyna Budzynska, John Lawrence, Chris Reed
2014 J jnl
Modelling serendipity in a computational context.
CoRR
Joseph Corneli, Alison Pease, Simon Colton, Anna Jordanous, Christian Guckelsberger
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
Analogy and Arithmetics: An HDTP-Based Model of the Calculation Circular Staircase.
CogSci
Tarek Richard Besold, Alison Pease, Martin Schmidt
2013 J jnl
Developments in Research on Mathematical Practice and Cognition.
Top. Cogn. Sci.
Alison Pease, Markus Guhe, Alan Smaill
2013 — conf
Mathematical Practice, Crowdsourcing, and Social Machines.
MKM/Calculemus/DML
Ursula Martin, Alison Pease
2013 J jnl
Mathematical practice, crowdsourcing, and social machines
CoRR
Ursula Martin, Alison Pease
2013 C conf
Using Theory Formation Techniques for the Invention of Fictional Concepts.
ICCC
Flaminia Cavallo, Alison Pease, Jeremy Gow, Simon Colton
2013 J jnl
What does mathoverflow tell us about the production of mathematics?
CoRR
Ursula Martin, Alison Pease
2012 — conf
Aesthetic Considerations for Automated Platformer Design.
AIIDE
Michael Cook, Simon Colton, Alison Pease
2012 C conf
On the Notion of Framing in Computational Creativity.
ICCC
John William Charnley, Alison Pease, Simon Colton
2012 C ed.
Proceedings of the Third International Conference on Computational Creativity, ICCC 2012, Dublin, Ireland, May 30 - June 1, 2012.
ICCC
Mary Lou Maher, Kristian J. Hammond, Alison Pease, Rafael Pérez y Pérez, Dan Ventura, Geraint A. Wiggins
2011 J jnl
A computational account of conceptual blending in basic mathematics.
Cogn. Syst. Res.
Markus Guhe, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack
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
Discovery of Invariants through Automated Theory Formation
Refine@FM
Maria Teresa Llano, Andrew Ireland, Alison Pease
2011 C ed.
Proceedings of the Second International Conference on Computational Creativity, ICCC 2011, Mexico City, Mexico, April 27-29, 2011.
ICCC
Dan Ventura, Pablo Gervás, D. Fox Harrell, Mary Lou Maher, Alison Pease, Geraint A. Wiggins
2010 C ed.
Proceedings of the International Conference on Computational Creativity, ICCC 2010, Lisbon, Portugal, January 7-9, 2010.
ICCC
Dan Ventura, Alison Pease, Rafael Pérez y Pérez, Graeme Ritchie, Tony Veale
2010 C conf
Some Aspects of Analogical Reasoning in Mathematical Creativity.
ICCC
Alison Pease, Markus Guhe, Alan Smaill
2009 Misc conf
A Formal Cognitive Model of Mathematical Metaphors.
KI
Markus Guhe, Alan Smaill, Alison Pease
2007 — —
A computational model of Lakatos-style reasoning.
Alison Pease
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