Alison Pease

home research  papers  phd hrl

Publications

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

Pease, Alison and Ursula Martin (2012) Seventy four minutes of mathematics: An analysis of the third Mini-Polymath 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 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

Thesis

Pease, Alison (2007) A Computational Model of Lakatos-style Reasoning, PhD thesis, School of Informatics, University of Edinburgh, 2007. [pdf, bibtex]