![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Alison Pease
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j11]Lee Cheatley
, Margareta Ackerman, Alison Pease
, Wendy Moncur
:
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
, Alison Pease
:
Ethical challenges in argumentation and dialogue in a healthcare context. Argument Comput. 12(2): 249-264 (2021) - [j9]Mark Snaith
, Nicholas Conway
, Tessa Beinema
, Dominic De Franco, Alison Pease
, Reshmashree B. Kantharaju, Mathilde Janier, Gerwin Huizing
, Catherine Pelachaud
, Harm op den Akker
:
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
, Alison Pease
:
Enabling mathematical cultures: introduction. Synth. 198(26): 6225-6231 (2021) - [c41]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:
Agents United: An Open Platform for Multi-Agent Conversational Systems. IVA 2021: 17-24 - 2020
- [c40]Mark Snaith, John Lawrence
, Alison Pease
, Chris Reed
:
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
, Dennis Reidsma
, Catherine Pelachaud
, Mark Snaith, Merijn Bruijnes, Randy Klaassen, Tessa Beinema
, Gerwin Huizing
, Donatella Simonetti, Dirk Heylen, Harm op den Akker
:
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
, Anna Jordanous:
Report on the Eighth International Conference on Computational Creativity. AI Mag. 39(1): 62-64 (2018) - [c30]Mark Snaith, Dominic De Franco, Tessa Beinema
, Harm op den Akker
, Alison Pease
:
A Dialogue Game for Multi-Party Goal-Setting in Health Coaching. COMMA 2018: 337-344 - [c29]Joseph Corneli, Simon Holland
, Alison Pease
, Paul Mulholland, Dave Murray-Rust
, Theodore Scaltsas, Alan Smaill:
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
, 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:
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
, Catherine Pelachaud
:
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
, John Lawrence
, Katarzyna Budzynska
, Joseph Corneli, Chris Reed
:
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation. Artif. Intell. 246: 181-219 (2017) - [j5]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:
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
, Dave Murray-Rust, Alison Pease
, Raymond Puzio, Gabriela Rino Nesin:
Modelling the way mathematics is actually done. FARM@ICFP 2017: 10-19 - [c21]Joseph Corneli, Ursula Martin
, Dave Murray-Rust, Alison Pease
:
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
, Katarzyna Budzynska, John Lawrence
, Chris Reed
:
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
, Markus Guhe, Alan Smaill:
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
, Alison Pease
:
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
, Alan Smaill, Maricarmen Martínez
, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack:
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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint