Journal articlesPease, Alison and Andrew Aberdein (2011). Five theories of reasoning: Interconnections and applications to mathematics. Special issue of Logic and Logical Philosophy. Guest editors Malinowski, J. and Palczewski, R. Nicolaus Copernicus University Press, Torun, Poland. Forthcoming. [pdf, bibtex] Guhe, Markus, Alison Pease, Alan Smaill, Maricarmen Martinez, Martin Schmidtb, Helmar Gust, KaiUwe Kühnberger and Ulf Krumnack (2011). A computational account of conceptual blending in basic mathematics. Cognitive Systems Research Volume 12, Issues 34, SeptemberDecember 2011, pp. 249265 Special Issue on Complex Cognition.[pdf, bibtex] Pease, Alison, Alan Smaill, Simon Colton, John Lee (2009). Bridging the gap between argumentation theory and the philosophy of mathematics. Foundations of Science, Special Issue: Mathematics and Argumentation, pp. 111135. Edited by A. Aberdein and I. J. Dove. [pdf, bibtex] 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. 345346.[pdf] Colton, Simon and Alison Pease (2005) The TM System for Repairing
NonTheorems. Selected papers from the IJCAR'04 disproving
workshop, Electronic Notes in Theoretical Computer Science
125(3), Elsevier. [pdf, bibtex] Book ChaptersPease, Alison, Alan Smaill, Simon Colton, Andrew Ireland, Maria Teresa Llano, Ramin Ramezani, Gudmund Grov, Markus Guhe (2010). Applying Lakatosstyle reasoning to AI problems. Thinking Machines and the philosophy of computer science: Concepts and principles, pp. 149174. Edited by J. Vallverdú. IGI Global, PA, USA [pdf, bibtex] 

Conference and workshop papersPease, Alison and Ursula Martin (2012) Seventy four minutes of mathematics: An analysis of the third MiniPolymath project. In Proceedings of AISB/IACAP 2012, Symposium on Mathematical Practice and Cognition II. [pdf]Colton, Simon, John Charnley and Alison Pease (2011) Computational Creativity Theory: The FACE and IDEA models. In Proceedings of the International Conference on Computational Creativity, 2011. [pdf] Pease, Alison and Simon Colton (2011) Computational Creativity Theory: Inspirations behind the FACE and IDEA models. In Proceedings of the International Conference on Computational Creativity, 2011. [pdf] 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. [pdf] Pease, Alison, Simon Colton, Ramin Ramezani, Alan Smaill and Markus
Guhe (2010) Using analogical representations for mathematical
concept formation. Proceedings of Modelbased Reasoning in Science
and Technology: Abduction, Logic, and Computational Discovery;
Studies in Computational Intelligence, Springer. pp. 301  314.[pdf, bibtex] 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
Modeling (pp. 293294). Philadelphia, PA: Drexel University. Guhe, Markus, Alison Pease, Alan Smaill, Martin Schmidt, Helmar
Gust, KaiUwe Kühnberger and Ulf Krumnack (2010) Mathematical reasoning
with higherorder antiunification. In: Proceedings of the 32nd Annual
Conference of the Cognitive Science Society (pp. 19921997). Austin, TX: Cognitive
Science Society. Pease, Alison, Markus Guhe and Alan Smaill (2010) Using analogies
to find and evaluate mathematical conjectures. Proceedings of the
1st International Conference on Computational Creativity. Lisbon, 79
January 2010, pp. 6064. [pdf] Llano, Maria Teresa, Andrew Ireland, Alison Pease, Simon Colton and John Charnley (2010) Using Automated Theory Formation to Discover Invariants of EventB models In Proceedings of the Rodin User and Developer Workshop. [pdf] 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 1518,
2009. Proceedings. pp. 323330. LNAI 5803, Berlin: Springer. [bibtex] Guhe, Markus, Alison Pease, Alan Smaill, Maricarmen Martinez,
Martin Schmidt, Helmar Gust, KaiUwe Kühnberger and Ulf Krumnack
(2010) Conceptual Blending of Fractions and Real Numbers in
Mathematical Discovery . In J. Haack & H. Wiese (eds), Proceedings of
KogWis 2010, the 10th Biannual Meeting of the German Society for
Cognitive Science, pp. 109110. Universitätsverlag Potsdam. Guhe, Markus, Alan Smaill and Alison Pease (2009) Using
Information Flow for Modelling Mathematical Metaphors. Proceedings
of the 9th International Conference on Cognitive Modeling.[bibtex] Pease, Alison, Markus Guhe and Alan Smaill (2009). Analogy
formulation and modification in geometry. Proceedings of the
Second International Conference on Analogy, pp. 358364. [pdf,
bibtex] 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 Lakatosstyle reasoning to AI domains. Proceedings
of ECAP'09 [pdf] 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. 727732.[bibtex] 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. [pdf] Colton, Simon, Ferdinand Hoermann, Alison Pease and Geoff Sutcliffe (2005)
Machine Learning Case Splits for Theorem Proving
In proceedings of the Automated Reasoning Workshop, 2005 [bibtex] Pease, Alison, Simon Colton, Alan Smaill and John Lee (2004) A
Model of Lakatos's Philosophy of Mathematics Computing and
Philosophy (ECAP), 2004. [ps.gz,
bibtex] Pease, Alison and Simon Colton (2004) Automatic Conjecture
Modification. Proceedings of the Automated Reasoning Workshop,
Leeds, 2004. [ps.gz,
bibtex] Colton, Simon and Alison Pease (2004) The TM System for
Repairing NonTheorems. Proceedings of the IJCAR'04 Disproving
Workshop [pdf] Colton, Simon and Alison Pease (2004) Lakatosstyle Automated Theorem Modification. In the Poster Proceedings of ECAI, 2004 Colton, Simon and Alison Pease (2003). Lakatosstyle Methods in Automated Reasoning. Proceedings of the IJCAI'03 Workshop on Agents and Reasoning, Acapulco, 2003. Pease, Alison, Simon Colton, Alan Smaill and John Lee (2002) Lakatosstyle Reasoning. Proceedings of the Automated Reasoning Workshop, Imperial College, London, 2002. 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, 2002. [ps.gz,
bibtex] 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, 2002.
[bibtex] Pease, Alison, Daniel Winterstein and Simon Colton (2001)
Evaluating Machine Creativity Proceedings of the ICCBR'01
Workshop on Creative Systems, Vancouver, Canada, 2001. [ps.gz,
bibtex] Colton, Simon, Alison Pease and Graham Ritchie (2001)
The Effect of Input Knowledge on Creativity
Proceedings of the ICCBR'01 Workshop on Creative Systems, Vancouver, Canada, 2001.
[bibtex] Pease, Alison, Simon Colton, Alan Smaill and John Lee (2001)
A Multiagent Approach to Modelling Interaction in Human Mathematical Reasoning.
Proceedings of Intelligent Agent Technology, Maebashi City, Japan,
2001. [bibtex] Unreviewed workshop papersSmaill, Alan, Markus Guhe & Alison Pease (2009) Exploring mathematical theories: Cognitive and metaphorical aspects. In: Proceedings of Automatheo 2009: Workshop on Automated Mathematical Theory Exploration, June 2930, Castle of Hagenberg, Austria. pp. 1115. ReviewsSvanevik, Alexander Karl, Alison Pease (2010) Mathematical Practice
and Cognition, pp. 2930 March. The Reasoner, Vol. 4, Num 5,
May 2010 ThesisPease, Alison (2007) A Computational Model of Lakatosstyle Reasoning, PhD thesis, School of Informatics, University of Edinburgh, 2007. [pdf, bibtex] 