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.
Pease, Alison, Simon Colton, Alan Smaill and John Lee
(2001)
A Multi-agent Approach to Modelling Interaction in Human
Mathematical Reasoning.
In Proceedings of Intelligent Agent
Technology, Maebashi City, Japan.