default search action
Alison Pease
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c44]Alison Pease, Simon Colton, Berker Banar:
On the Notion of Creative Personhood. ICCC 2023: 117-121 - [c43]Alison Pease, Arnold Pease:
Computational Creativity and the Climate Crisis. ICCC 2023: 293-297 - [e6]Alison Pease, João Miguel Cunha, Maya Ackerman, Daniel G. Brown:
Proceedings of the 14th International Conference on Computational Creativity, Ontario, Canada, June 19-23, 2023. Association for Computational Creativity (ACC) 2023, ISBN 978-989-54160-5-9 [contents] - 2022
- [j11]Lee Cheatley
, Margareta Ackerman, Alison Pease
Musical creativity support tools for bereavement support. Digit. Creativity 33(1): 1-17 (2022) - [c42]Alison Pease, Margareta Ackerman, Nic Pease, Bernadette McFadden:
A Roadmap for Therapeutic Computational Creativity. ICCC 2022: 261-270 - [i7]Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton:
Explainable Computational Creativity. CoRR abs/2205.05682 (2022) - 2021
- [j10]Mark Snaith, Rasmus Øjvind Nielsen, Sita Ramchandra Kotnis
Ethical challenges in argumentation and dialogue in a healthcare context. Argument Comput. 12(2): 249-264 (2021) - [j9]Mark Snaith
A multimodal corpus of simulated consultations between a patient and multiple healthcare professionals. Lang. Resour. Evaluation 55(4): 1077-1092 (2021) - [j8]Benedikt Löwe, Ursula Martin
Enabling mathematical cultures: introduction. Synth. 198(26): 6225-6231 (2021) - [c41]Tessa Beinema, Daniel P. Davison, Dennis Reidsma
Agents United: An Open Platform for Multi-Agent Conversational Systems. IVA 2021: 17-24 - 2020
- [c40]Mark Snaith, John Lawrence
A Modular Platform for Argument and Dialogue. COMMA 2020: 473-474 - [c39]Lee Cheatley, Margareta Ackerman, Alison Pease, Wendy Moncur:
Co-Creative Songwriting for Bereavement Support. ICCC 2020: 33-40 - [c38]Maria Teresa Llano, Mark d'Inverno, Matthew Yee-King, Jon McCormack, Alon Ilsar, Alison Pease, Simon Colton:
Explainable Computational Creativity. ICCC 2020: 334-341 - [c37]Simon Colton, Alison Pease, Christian Guckelsberger, Jon McCormack, Maria Teresa Llano:
On the Machine Condition and its Creative Expression. ICCC 2020: 342-349
2010 – 2019
- 2019
- [c36]Simon Colton, Alison Pease, Michael Cook, Chunyang Chen:
The HR3 System for Automatic Code Generation in Creative Settings. ICCC 2019: 108-115 - [c35]Michael Cook, Simon Colton, Alison Pease, Maria Teresa Llano:
Framing In Computational Creativity - A Survey And Taxonomy. ICCC 2019: 156-163 - [c34]Alison Pease, Simon Colton, Chris Warburton, Athanasios Nathanail, Irina Preda, Daniel Arnold, Daniel Winterstein, Mike Cook:
The Importance of Applying Computational Creativity to Scientific and Mathematical Domains. ICCC 2019: 250-257 - [c33]Lee Cheatley, Wendy Moncur, Alison Pease:
Opportunities for Computational Creativity in a Therapeutic Context. ICCC 2019: 341-345 - [c32]Reshmashree B. Kantharaju, Alison Pease
Integrating Argumentation with Social Conversation between Multiple Virtual Coaches. IVA 2019: 203-205 - [c31]Dominic De Franco, Alison Pease:
Designing Behaviour Change Support Systems for Behaviour Transformation. BCSS@PERSUASIVE 2019 - [i6]Reshmashree B. Kantharaju, Dominic De Franco, Alison Pease, Catherine Pelachaud:
Is Two Better than One? Effects of Multiple Agents on User Persuasion. CoRR abs/1904.05248 (2019) - 2018
- [j7]Alison Pease
Report on the Eighth International Conference on Computational Creativity. AI Mag. 39(1): 62-64 (2018) - [c30]Mark Snaith, Dominic De Franco, Tessa Beinema
A Dialogue Game for Multi-Party Goal-Setting in Health Coaching. COMMA 2018: 337-344 - [c29]Joseph Corneli, Simon Holland
Patterns of Design. EuroPLoP 2018: 22:1-22:11 - [c28]Alison Pease, Simon Colton, Rob Saunders:
Issues of Authenticity in Autonomously Creative Systems. ICCC 2018: 272-279 - [c27]Harm op den Akker
Council of Coaches - A Novel Holistic Behavior Change Coaching Approach. ICT4AWE 2018: 219-226 - [c26]Alison Pease, Ursula Martin:
Automating "Human-Like" Example-Use in Mathematics. Bridging@IJCAI/ECAI 2018: 6-12 - [c25]Reshmashree B. Kantharaju, Dominic De Franco, Alison Pease
Is Two Better than One?: Effects of Multiple Agents on User Persuasion. IVA 2018: 255-262 - [c24]Dominic De Franco, Alison Pease, Mark Snaith:
Measuring Persuasiveness in Behaviour Change Support Systems. BCSS@PERSUASIVE 2018: 41-47 - [p2]Joseph Corneli, Alison Pease, Danae Stefanou
Social Aspects of Concept Invention. Concept Invention 2018: 153-186 - [p1]Alison Pease, Joseph Corneli:
Evaluation of Creativity. Concept Invention 2018: 277-294 - [e5]Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek R. Besold, Oliver Kutz, Ewen Maclean, Maximos A. Kaliakatsos-Papakostas:
Concept Invention - Foundations, Implementation, Social Aspects and Applications. Springer 2018, ISBN 978-3-319-65601-4 [contents] - [i5]Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin, Alison Pease:
Argumentation theory for mathematical argument. CoRR abs/1803.06500 (2018) - 2017
- [j6]Alison Pease
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation. Artif. Intell. 246: 181-219 (2017) - [j5]Maricarmen Martínez
Theory blending: extended algorithmic aspects and examples. Ann. Math. Artif. Intell. 80(1): 65-89 (2017) - [c23]Ashok K. Goel, Anna Jordanous, Alison Pease:
Preface. ICCC 2017: IV-V - [c22]Joseph Corneli, Ursula Martin
Modelling the way mathematics is actually done. FARM@ICFP 2017: 10-19 - [c21]Joseph Corneli, Ursula Martin
Towards Mathematical AI via a Model of the Content and Process of Mathematical Question and Answer Dialogues. CICM 2017: 132-146 - [e4]Ashok K. Goel, Anna Jordanous, Alison Pease:
Proceedings of the Eighth International Conference on Computational Creativity, ICCC 2017, Atlanta, Georgia, USA, June 19-23, 2017. Association for Computational Creativity (ACC) 2017, ISBN 978-0-692-89564-1 [contents] - 2016
- [j4]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version). Math. Comput. Sci. 10(4): 429-457 (2016) - 2015
- [c20]Félix Bou, Marco Schorlemmer, Joseph Corneli, Danny Gómez-Ramírez, Ewen Maclean, Alan Smaill, Alison Pease:
The role of blending in mathematical invention. ICCC 2015: 55-62 - [c19]Roberto Confalonieri, Joseph Corneli, Alison Pease, Enric Plaza, Marco Schorlemmer:
Using Argumentation to Evaluate Concept Blends in Combinatorial Creativity. ICCC 2015: 174-181 - [c18]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease
Automating Change of Representation for Proofs in Discrete Mathematics. CICM 2015: 227-242 - [i4]Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease:
Automating change of representation for proofs in discrete mathematics. CoRR abs/1505.02449 (2015) - 2014
- [j3]Maria Teresa Llano, Andrew Ireland, Alison Pease
Discovery of invariants through automated theory formation. Formal Aspects Comput. 26(2): 203-249 (2014) - [c17]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
Algorithmic Aspects of Theory Blending. AISC 2014: 180-192 - [c16]Alison Pease
Lakatos Games for Mathematical Argument. COMMA 2014: 59-66 - [c15]Simon Colton, Alison Pease, Joseph Corneli, Michael Cook:
Assessing Progress in Building Autonomously Creative Systems. ICCC 2014: 137-145 - [c14]Marco Schorlemmer, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos, Alison Pease:
COINVENT: Towards a Computational Concept Invention Theory. ICCC 2014: 288-296 - [i3]Joseph Corneli, Alison Pease, Simon Colton, Anna Jordanous, Christian Guckelsberger:
Modelling serendipity in a computational context. CoRR abs/1411.0440 (2014) - 2013
- [j2]Alison Pease
Developments in Research on Mathematical Practice and Cognition. Top. Cogn. Sci. 5(2): 224-230 (2013) - [c13]Tarek Richard Besold, Alison Pease, Martin Schmidt:
Analogy and Arithmetics: An HDTP-Based Model of the Calculation Circular Staircase. CogSci 2013 - [c12]Alison Pease, Simon Colton, Ramin Ramezani, John William Charnley, Kate Reed:
A Discussion on Serendipity in Creative Systems. ICCC 2013: 64-71 - [c11]Flaminia Cavallo, Alison Pease, Jeremy Gow, Simon Colton:
Using Theory Formation Techniques for the Invention of Fictional Concepts. ICCC 2013: 176-183 - [c10]Ursula Martin
Mathematical Practice, Crowdsourcing, and Social Machines. MKM/Calculemus/DML 2013: 98-119 - [i2]Ursula Martin, Alison Pease:
Mathematical practice, crowdsourcing, and social machines. CoRR abs/1305.0900 (2013) - [i1]Ursula Martin, Alison Pease:
What does mathoverflow tell us about the production of mathematics? CoRR abs/1305.0904 (2013) - 2012
- [c9]Michael Cook, Simon Colton, Alison Pease:
Aesthetic Considerations for Automated Platformer Design. AIIDE 2012 - [c8]John William Charnley, Alison Pease, Simon Colton:
On the Notion of Framing in Computational Creativity. ICCC 2012: 77-81 - [e3]Mary Lou Maher, Kristian J. Hammond, Alison Pease, Rafael Pérez y Pérez, Dan Ventura, Geraint A. Wiggins:
Proceedings of the Third International Conference on Computational Creativity, ICCC 2012, Dublin, Ireland, May 30 - June 1, 2012. computationalcreativity.net 2012, ISBN 978-1-905254668 [contents] - 2011
- [j1]Markus Guhe, Alison Pease
A computational account of conceptual blending in basic mathematics. Cogn. Syst. Res. 12(3-4): 249-265 (2011) - [c7]Alison Pease, Simon Colton:
Computational Creativity Theory: Inspirations behind the FACE and the IDEA models. ICCC 2011: 72-77 - [c6]Simon Colton, John William Charnley, Alison Pease:
Computational Creativity Theory: The FACE and IDEA Descriptive Models. ICCC 2011: 90-95 - [c5]Maria Teresa Llano, Andrew Ireland, Alison Pease
Discovery of Invariants through Automated Theory Formation. Refine@FM 2011: 1-19 - [e2]Dan Ventura, Pablo Gervás, D. Fox Harrell, Mary Lou Maher, Alison Pease, Geraint A. Wiggins:
Proceedings of the Second International Conference on Computational Creativity, ICCC 2011, Mexico City, Mexico, April 27-29, 2011. computationalcreativity.net 2011, ISBN 978-607-477-487-0 [contents] - 2010
- [c4]Alison Pease, Markus Guhe, Alan Smaill:
Some Aspects of Analogical Reasoning in Mathematical Creativity. ICCC 2010: 60-64 - [e1]Dan Ventura, Alison Pease, Rafael Pérez y Pérez, Graeme Ritchie, Tony Veale:
Proceedings of the International Conference on Computational Creativity, ICCC 2010, Lisbon, Portugal, January 7-9, 2010. computationalcreativity.net 2010, ISBN 978-989-96001-2-6 [contents]
2000 – 2009
- 2009
- [c3]Markus Guhe, Alan Smaill, Alison Pease
A Formal Cognitive Model of Mathematical Metaphors. KI 2009: 323-330 - 2007
- [b1]Alison Pease:
A computational model of Lakatos-style reasoning. University of Edinburgh, UK, 2007 - 2004
- [c2]Simon Colton, Alison Pease:
Lakatos-Style Automated Theorem Modification. ECAI 2004: 977-978 - [c1]Simon Colton, Alison Pease
The TM System for Repairing Non-Theorems. D/PDPAR@IJCAR 2004: 87-101
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-24 20:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: