Alison Pease

Journal articles (refereed)

Joseph Corneli, Ursula Martin, Dave Murray-Rust, Gabriela Rino Nesin and Alison Pease (Jan 2019)
Argumentation theory for mathematical argument.
Argumentation 1-42. Springer Netherlands. https://doi.org/10.1007/s10503-018-9474-x

Pease, Alison, Andrew Aberdein and Ursula Martin (2019)
Explanation in mathematical conversations: an empirical investigation.
Philosophical Transactions of the Royal Society A (to appear). DOI 10.1098/rsta.2018.0159

Pease, Alison, Katarzyna Budzynska, John Lawrence, Chris Reed, Joseph Corneli (2017)
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation.
Artificial Intelligence, 246, p. 181-219. Elsevier Science Publishers Ltd. Essex, UK

Reed, Chris, Katarzyna Budzynska, Rory Duthie, Mathilde Janier, Barbara Konat, John Lawrence, Alison Pease, and Mark Snaith. (Jun 2017)
The argument web: an online ecosystem of tools, systems and services for argumentation.
Philosophy and Technology. 30, 2, p. 137-160

Martinez, Maricarmen, Ahmed M. H. Abdel-Fattah, Ulf Krumnack, Danny Gómez-Ramírez, Alan Smaill, Tarek Besold, Alison Pease, Martin Schmidt, Markus Guhe and Kai-Uwe Kühnberger (2016)
Theory blending: extended algorithmic aspects and examples.
Annals of Mathematics and Artificial Intelligence. pp. 1-25 (DOI: 10.1007/s10472-016-9505-y)

Raggi, Daniel, Alan Bundy, Gudmund Grov, Alison Pease (2016)
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version).
Journal of Mathematics in Computer Science. DOI 10.1007/s11786-016-0275-z

Besold, Tarek, Maricarmen Martinez, Ulf Krumnack, Alan Smaill, Martin Schmidt, Ahmed M. H. Abdel-Fattah, Helmar Gust, Kai-Uwe Kühnberger, Alison Pease and Markus Guhe (2014)
Algorithmic Aspects of Theory Blending.
Annals of Mathematics and Artificial Intelligence (AMAI) Special Issue on 12th International Conference on Artificial Intelligence and Symbolic Computation (AISC), 2014. LNCS vol. 8884, p. 180-192. Springer (DOI: 10.1007/978-3-319-13770-4 16)

Llano, Teresa, Andrew Ireland and Alison Pease (2014)
Discovery of Invariants through Automated Theory Formation.
Journal of Formal Aspects of Computing, March 2014, Volume 26, Issue 2, pp 203 - 249, 2014. 10.1007/s00165-012-0264-1.

Pease, Alison, Simon Colton and John Charnley (2014)
Automated Theory Formation: The Next Generation.
The International Federation for Computational Logic (IFCoLog) Journal Proceedings in Computational Logic, Special Issue on Theory Exploration, 2014.

Pease, Alison, Markus Guhe and Alan Smaill (2013)
Developments in Research on Mathematical Practice and Cognition.
Topics in Cognitive Science Volume 5, Issue 2, pp. 224 -- 230, April 2013.

Pease, Alison and Andrew Aberdein (2011)
Five theories of reasoning: Inter-connections and applications to mathematics.
Logic and Logical Philosophy, 20:1-2, pp. 7-57. Nicolaus Copernicus University Press, Toruń, Poland.

Guhe, Markus, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger and Ulf Krumnack (2011)
A computational account of conceptual blending in basic mathematics.
Cognitive Systems Research, Volume 12, Issues 3-4, September-December 2011, pp. 249--265.

Pease, Alison, Alan Smaill, Simon Colton, John Lee (2009)
Bridging the gap between argumentation theory and the philosophy of mathematics.
Foundations of Science, March 2009, Volume 14, Issue 1-2, pp. 111--135. Springer Netherlands

Pease, Alison, Alan Smaill and Markus Guhe (2009)
Abstract or not Abstract? Well, it depends --- Comment on R Cohen Kadosh & V Walsh Numerical representation in the parietal lobes: Abstract or not abstract?
Behavioral and Brain Sciences 32:3/4, pp. 345--346.

Edited book

(Editors) Confalonieri, Roberto, Alison Pease, Marco Schorlemmer, Tarek Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos (2018)
Concept Invention: Foundations, Implementation, Social Aspects and Applications Series
Cognitive Technologies, Springer.

Book Chapters (refereed)

Lane, Lorenzo, Ursula Martin, Dave Murray-Rust, Alison Pease and Fenner Tanswell.
Journeys in mathematical landscapes: genius or craft?
Proof Technology in Mathematics Research and Teaching'. Gila Hanna, David Reid and Michael de Villiers (eds.) Springer book series Mathematics Education in the Digital Era Series ISSN: 2211-8136 (to appear mid-2019).

Confalonieri, Roberto, Alison Pease, Marco Schorlemmer, Tarek Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos (2018)
Introduction to Concept Invention
Concept Invention: Foundations, Implementation, Social Aspects and Applications -- Preface. (Editors) Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos. Series: Cognitive Technologies, Springer.

Corneli, Joseph, Alison Pease (2018)
Social Aspects of Conceptual Blending
Concept Invention: Foundations, Implementation, Social Aspects and Applications. (Editors) Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos. (Chapter 6) Series: Cognitive Technologies, Springer.

Alison Pease, Joseph Corneli (2018)
Evaluating Creativity
Concept Invention: Foundations, Implementation, Social Aspects and Applications. (Editors) Roberto Confalonieri, Alison Pease, Marco Schorlemmer, Tarek Besold, Oliver Kutz, Ewen Maclean, Maximos Kaliakatsos. (Chapter 12) Series: Cognitive Technologies, Springer.

Martin, Ursula and Alison Pease (2015)
Hardy, Littlewood and polymath.
The Ontology of Mathematics, Ernest Davis (Ed.), Springer, 2015.

Colton, Simon, Alison Pease, Joseph Corneli, Michael Cook, Rose Hepworth and Dan Ventura (2015)
Stakeholder Groups in Computational Creativity Research and Practice
Computational Creativity Research: Towards Creative Machines, edited by Tarek Richard Besold, Marco Schorlemmer and Alan Smaill. Springer: Atlantis Thinking Machines, 7:3-36 (2015).

Pease, Alison, Alan Smaill, Simon Colton, John Lee (2013)
Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics.
The Argument of Mathematics, edited by Andrew Aberdein and Ian Dove. Springer, Logic, Epistemology, and the Unity of Science, Vol. 30, 2013.

Pease, Alison, Alan Smaill, Simon Colton, Andrew Ireland, Maria Teresa Llano, Ramin Ramezani, Gudmund Grov, Markus Guhe (2010).
Applying Lakatos-style reasoning to AI problems.
Thinking machines and the philosophy of computer science: Concepts and principles, pp. 149--174. Edited by J. Vallverdú. IGI Global, PA, USA.

Conference and workshop papers (refereed)

Snaith, Mark, Dominic De Franco, Tessa Beinema, Harm Op den Akker and Alison Pease (2018)
A dialogue game for multi-party goal-setting in health coaching
Proc. of the 7th International Conference on Computational Models of Argument. Vol 305. pp. 337-344. IOS Press

Mark Snaith, Bjørn Bedsted, Sita Ramchandra Kotnis, Rasmus Øjvind Nielsen, Tessa Beinema, Randy Klaassen and Alison Pease (2018)
Challenges in argumentation and dialogue for autonomous, multi-party health coaching
Workshop on Argumentation and Society (ArgSoc)

Kantharaju, Reshmashree Bangalore, Dominic De Franco, Alison Pease and Catherine Pelachaud (Nov 2018)
Is Two Better than One? Effects of Multiple Agents on User Persuasion
Proceedings of the 18th International Conference on Intelligent Virtual Agents, IVA 2018. Association for Computing Machinery, pp. 255-262.

Budzynska, Katarzyna Martín Pereira-Fariña, Dominic De Franco, Rory Duthie, Nuria Franco-Guillen, Annette Hautli-Janisz, Janier Mathilde, Marcin Koszowy, Luana Marinho, Elena Musi, Alison Pease, Brian Plüss, Chris Reed and Jacky Visser (2018) Time-constrained Multi-layer Corpus Creation
Proceedings of the 16th ArgDiaP Conference ``Argumentation and Corpus Linguistics'' (Warsaw) pp. 31-36.

Alison Pease and Ursula Martin (2018)
"Human-like" example-use in mathematical research
Fourth Workshop on Bridging the Gap between Human and Automated Reasoning, in the joint Federated AI Meeting (FAIM) workshop program.

Simon Colton, Alison Pease and Rob Saunders (2018)
Issues of Authenticity in Autonomously Creative Systems
In Proceedings of the Ninth International Conference on Computational Creativity

Cheatley, Lee, Wendy Moncur and Alison Pease (2018)
Opportunities for Computational Creativity in the design of Grief Support Systems
Workshop on Digital Humanities and Computational Creativity at ICCC

Dominic De Franco, Alison Pease, and Mark Snaith (2018)
Measuring Persuasiveness in Behaviour Change Support Systems
Proceedings of the Sixth International Workshop on Behavior Change Support Systems.

op den Akker, H., op den Akker, R., Beinema, T., Banos, O., Heylen, D., Bedsted, B., Pease, A., Pelachaud, C., Salcedo, V.T., Kyriazakos, S., Hermen, H. (2018)
Council of coaches: A novel holistic behavior change coaching approach
In: 4th International Conference on Information and Communication: Technologies for Aging Well and E-Health.

J. Corneli, U. Martin, D. Murray-Rust and A. Pease (2018)
Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues
In: Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK.

J. Corneli, U. Martin, D. Murray-Rust, A. Pease, R. Puzio, and G. Rino Nesin (2017)
Modelling the way mathematics is actually done
In: 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design (FARM 2017)

Confalonieri, Roberto, Joseph Corneli, Alison Pease, Enric Plaza and Marco Schorlemmer. (2015)
Using Argumentation to Evaluate Concept Blends in Combinatorial Creativity.
In Proceedings of the Sixth International Conference on Computational Creativity, 2015.

Bou, Felix, Marco Schorlemmer, Joseph Corneli, Danny Gomez Ramirez, Ewen Maclean, Alan Smaill and Alison Pease (2015)
The role of blending in mathematical invention.
In Proceedings of the Sixth International Conference on Computational Creativity, 2015.

Raggi, Daniel, Alan Bundy, Gudmund Grov and Alison Pease (2015)
Automating change of representation for proofs in discrete mathematics.
In Proceedings of Conference on Intelligent Computer Mathematics, 2015.

Pease, Alison, Katarzyna Budzynska, John Lawrence, Chris Reed (2014)
Lakatos Games for Mathematical Argument.
In Proceedings of the International Conference on Computational Models of Argument 2014.

Cook, Michael, Simon Colton, Alison Pease, Azalea Raad (2014)
Towards Computational Subjectivity: Generating Aesthetics In Code Using Metrics.
In Proceedings of the Fifth International Conference on Computational Creativity, 2014.

Colton, Simon, Michael Cook, Rose Hepworth and Alison Pease. (2014)
On Acid Drops and Teardrops: Observer Issues in Computational Creativity
In Proceedings of the AISB symposium on AI and Philosophy, 2014.

Colton, Simon, Alison Pease, Joseph Corneli, Michael Cook and Teresa Llano (2014)
Assessing Progress in Building Autonomously Creative Systems
In Proceedings of the Fifth International Conference on Computational Creativity, 2014.

Schorlemmer, Marco, Alan Smaill, Kai-Uwe Kühnberger, Oliver Kutz, Simon Colton, Emilios Cambouropoulos and Alison Pease (2014)
COINVENT: Towards a Computational Concept Invention Theory
In Proceedings of the Fifth International Conference on Computational Creativity, 2014.

Pease, Alison, Katarzyna Budzynska, John Lawrence, Chris Reed (2014)
Lakatos Games for Mathematical Argument
In Proceedings of the Fifth International Conference on Computational Models of Argument, 2014.

Pease, Alison, Simon Colton, Ramin Ramezani, John Charnley and Kate Reed (2013)
A Discussion on Serendipity in Creative Systems.
Proceedings of the 4th International Conference on Computational Creativity, 2013

Cavello, Flaminia, Alison Pease, Jeremy Gow and Simon Colton (2013)
Using Theory Formation Techniques for the Invention of Fictional Concepts.
Proceedings of the 4th International Conference on Computational Creativity, 2013

Martin, Ursula and Alison Pease (2013)
What does mathoverflow tell us about the production of mathematics?
SOHUMAN workshop at CHI 2013, Paris, 2013.

Martin, Ursula and Alison Pease (2013)
Mathematical practice, crowdsourcing, and social machines
International Conference on Intelligent Computer Mathematics, Springer LNCS 7961, pp. 98-119, 2013.

Besold, Tarek, Alison Pease, Martin Schmidt (2013)
Analogy and Arithmetic: An HDTP-Based Model of the Calculation Circular Staircase.
In Proceedings of the 35th Annual Conference of the Cognitive Science Society. Austin, TX: Cognitive Science Society, 2013.

Pease, Alison, John Charnley and Simon Colton (2012)
A grounded theory approach to framing information for Computational Creativity.
Proceedings of Computational Creativity, Concept Invention, and General Intelligence at ECAI 2012.

Cook, Michael, Simon Colton and Alison Pease (2012)
Aesthetic Considerations for Automated Platformer Design.
Proceedings of the Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment pp. 124--129, 2012.

Pease, Alison and Ursula Martin (2012)
Seventy four minutes of mathematics: An analysis of the third Mini-Polymath project.
Symposium on Mathematical Practice and Cognition II.

Pease, Alison and Ursula Martin (2012)
Summary of an ethnographic study of the third Mini-Polymath project.
Computability in Europe 2012.

Pease, Alison, Simon Colton and John Charnley (2012)
The Turing Test and Computational Creativity.
Computability in Europe, 2012.

Charnley, John, Alison Pease and Simon Colton (2012)
On the Notion of Framing in Computational Creativity.
In Proceedings of the Third International Conference on Computational Creativity, pp 77-81, 2012.

Cavallo, Flaminia, Simon Colton and Alison Pease (2012)
Uncertainty Modelling in Automated Concept Formation.
Automated Reasoning Workshop, 2012.

Colton, Simon, John Charnley and Alison Pease (2011)
Computational Creativity Theory: The FACE and IDEA models.
In Proceedings of the Second International Conference on Computational Creativity, 2011.

Pease, Alison and Simon Colton (2011)
Computational Creativity Theory: Inspirations behind the FACE and IDEA models.
In Proceedings of the Second International Conference on Computational Creativity, 2011.

Pease, Alison and Simon Colton (2011)
On Impact and Evaluation in Computational Creativity: A Discussion of the Turing Test and an Alternative Proposal.
In Proceedings of the AISB symposium on AI and Philosophy, 2011.

Pease, Alison, Simon Colton, Ramin Ramezani, Alan Smaill and Markus Guhe (2010)
Using analogical representations for mathematical concept formation.
Proceedings of Model-based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery; Studies in Computational Intelligence, Springer.

Guhe, Markus, Alan Smaill and Alison Pease (2010)
Towards a Cognitive Model of Conceptual Blending.
In D. D. Salvucci & G. Gunzelmann (Eds.), Proceedings of the 10th International Conference on Cognitive Modelling, pp. 293--294. Philadelphia, PA: Drexel University.

Guhe, Markus, Alison Pease, Alan Smaill, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger and Ulf Krumnack (2010)
Mathematical reasoning with higher-order anti-unification.
In: Proceedings of the 32nd Annual Conference of the Cognitive Science Society, pp. 1992--1997. Austin, TX: Cognitive Science Society.

Pease, Alison, Markus Guhe and Alan Smaill (2010)
Using analogies to find and evaluate mathematical conjectures.
Proceedings of the First International Conference on Computational Creativity, pp. 60--64. Lisbon, 7-9 January 2010.

Llano, Maria Teresa, Andrew Ireland, Alison Pease, Simon Colton and John Charnley (2010)
Using Automated Theory Formation to Discover Invariants of Event-B models.
In Proceedings of the Rodin User and Developer Workshop.

Guhe, Markus, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger and Ulf Krumnack (2010)
Conceptual Blending of Fractions and Real Numbers in Mathematical Discovery.
In J. Haack and H. Wiese (eds), Proceedings of KogWis 2010, the 10th Biannual Meeting of the German Society for Cognitive Science, pp. 109--110. Universitätsverlag Potsdam.

Guhe, Markus, Alan Smaill and Alison Pease (2009)
A Formal Cognitive Model of Mathematical Metaphors.
B. Mertsching, M. Hund & Z. Aziz (eds), KI 2009: Advances in Artificial Intelligence. 32nd Annual German Conference on AI, Paderborn, Germany, September 15--18, 2009. Proceedings, pp. 323--330. LNAI 5803, Berlin: Springer.

Guhe, Markus, Alan Smaill and Alison Pease (2009)
Using Information Flow for Modelling Mathematical Metaphors.
Proceedings of the 9th International Conference on Cognitive Modelling.

Pease, Alison, Markus Guhe and Alan Smaill (2009)
Analogy formulation and modification in geometry.
Proceedings of the Second International Conference on Analogy, pp. 358--364.

Smaill, Alan, Markus Guhe and Alison Pease (2009)
Relating Small Ontologies.
Proceedings of AISB 2009, Symposium on Matching and Meaning.

Pease, Alison, Markus Guhe, Simon Colton and Alan Smaill (2009)
Applying Lakatos-style reasoning to AI domains.
Proceedings of E-CAP'09.

Guhe, Markus, Alison Pease and Alan Smaill (2009)
A cognitive model of discovering commutativity.
Proceedings of the 31st Annual Conference of the Cognitive Science Society. pp. 727--732.

Pease, Alison, Paul Crook, Alan Smaill, Simon Colton and Markus Guhe (2009)
Towards a computational model of embodied mathematical language.
Proceedings of AISB '09 Second Symposium on Computing and Philosophy.

Colton, Simon, Ferdinand Hoermann, Alison Pease and Geoff Sutcliffe (2005).
Machine Learning Case Splits for Theorem Proving.
In Proceedings of the Automated Reasoning Workshop.

Colton, Simon and Alison Pease (2005)
The TM System for Repairing Non-Theorems.
Selected papers from the IJCAR'04 disproving workshop, Electronic Notes in Theoretical Computer Science 125(3), Elsevier.

Pease, Alison, Simon Colton, Alan Smaill and John Lee (2004)
A Model of Lakatos's Philosophy of Mathematics.
European Conference on Computing and Philosophy, 2004.

Pease, Alison and Simon Colton (2004).
Automatic Conjecture Modification.
Proceedings of the Automated Reasoning Workshop, Leeds.

Colton, Simon and Alison Pease (2004)
The TM System for Repairing Non-Theorems.
Proceedings of the IJCAR'04 Disproving Workshop.

Colton, Simon and Alison Pease (2004)
Lakatos-style Automated Theorem Modification.
In the Poster Proceedings of ECAI.

Colton, Simon and Alison Pease (2003)
Lakatos-style Methods in Automated Reasoning.
Proceedings of the IJCAI'03 Workshop on Agents and Reasoning, Acapulco.

Pease, Alison, Simon Colton, Alan Smaill and John Lee (2002)
Lakatos-style Reasoning.
Proceedings of the Automated Reasoning Workshop, Imperial College, London.

Pease, Alison, Simon Colton, Alan Smaill and John Lee (2002)
Semantic Negotiation: Modelling Ambiguity in Dialogue.
Proceedings of Edilog 2002, the 6th Workshop on the Semantics and Pragmatics of Dialogue, Edinburgh, UK.

Pease, Alison, Simon Colton, Alan Smaill and John Lee (2002).
Lakatos and Machine Creativity.
Proceedings of the ECAI'02 workshop on creative systems, Lyon, France.

Pease, Alison, Daniel Winterstein and Simon Colton (2001)
Evaluating Machine Creativity.
In Proceedings of the ICCBR'01 Workshop on Creative Systems, Vancouver, Canada.

Colton, Simon, Alison Pease and Graeme Ritchie (2001)
The Effect of Input Knowledge on Creativity.
In Proceedings of the ICCBR'01 Workshop on Creative Systems, Vancouver, Canada.