Journal articles
Pease, Alison and Andrew Aberdein (2011). Five theories of reasoning: Inter-connections 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, 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 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. 111--135. 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. 345--346.[pdf]
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. [pdf, bibtex]
Book Chapters
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 [pdf, bibtex]
Conference and workshop papers
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 Model-based 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. 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
1st International Conference on Computational Creativity. Lisbon, 7-9
January 2010, pp. 60--64. [pdf]
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. [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 15--18,
2009. Proceedings. pp. 323--330. LNAI 5803, Berlin: Springer. [bibtex]
Guhe, Markus, Alison Pease, Alan Smaill, Maricarmen Martinez,
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 & 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) 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. 358--364. [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 Lakatos-style reasoning to AI domains. Proceedings
of E-CAP'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. 727--732.[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 Non-Theorems. Proceedings of the IJCAR'04 Disproving
Workshop [pdf]
Colton, Simon and Alison Pease (2004) Lakatos-style Automated Theorem Modification. In the Poster Proceedings of ECAI, 2004
Colton, Simon and Alison Pease (2003). Lakatos-style 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) Lakatos-style 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 Multi-agent Approach to Modelling Interaction in Human Mathematical Reasoning.
Proceedings of Intelligent Agent Technology, Maebashi City, Japan,
2001. [bibtex]
Unreviewed workshop papers
Smaill, 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 29--30, Castle of Hagenberg, Austria. pp. 11--15.
Reviews
Svanevik, Alexander Karl, Alison Pease (2010) Mathematical Practice
and Cognition, pp. 29--30 March. The Reasoner, Vol. 4, Num 5,
May 2010