alison pease

Dr Alison Pease

Lecturer and Disability Lead (School of Science & Engineering)

Visit Website
Email a.pease@dundee.ac.uk
Office 1.09 QMB
Tel +44 (0)1382 388348
Address Dr Alison Pease
Computing - Queen Mother Building
University of Dundee
Dundee
DD1 4HN
Scotland, UK
  1. Modelling the way mathematics is actually done

    Corneli, J., Martin, U., Murray-Rust, D., Pease, A., Puzio, R. & Nesin, G. R. 9 Sep 2017 FARM 2017 - Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design, co-located with ICFP 2017. New York: Association for Computing Machinery (ACM), p. 10-19 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Towards mathematical AI via a model of the content and process of mathematical question and answer dialogues

    Corneli, J., Martin, U., Murray-Rust, D. & Pease, A. 28 Jun 2017 Intelligent Computer Mathematics - 10th International Conference, CICM 2017, Proceedings. Switzerland: Springer Verlag, Vol. 10383, p. 132-146 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10383 LNAI)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. The argument web: an online ecosystem of tools, systems and services for argumentation

    Reed, C., Budzynska, K., Duthie, R., Janier, M., Konat, B., Lawrence, J., Pease, A. & Snaith, M. Jun 2017 In : Philosophy and Technology. 30, 2, p. 137-160 24 p.

    Research output: Contribution to journalArticle

  4. Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation

    Pease, A., Lawrence, J., Budzynska, K., Corneli, J. & Reed, C. May 2017 In : Artificial Intelligence. 246, p. 181-219 39 p.

    Research output: Contribution to journalArticle

  5. Theory blending: extended algorithmic aspects and examples

    Martinez, M., Abdel-Fattah, A. M. H., Krumnack, U., Gómez-Ramírez, D., Smaill, A., Besold, T. R., Pease, A., Schmidt, M., Guhe, M. & Kühnberger, K. U. May 2017 In : Annals of Mathematics and Artificial Intelligence. 80, 1, p. 65-89 25 p.

    Research output: Contribution to journalArticle

  6. Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)

    Raggi, D., Bundy, A., Grov, G. & Pease, A. Dec 2016 In : Mathematics in Computer Science. 10, 4, p. 1-29 29 p.

    Research output: Contribution to journalArticle

  7. The role of blending in mathematical invention.

    Bou, F., Schorlemmer, M., Corneli, J., Gomez Ramirez, D., Maclean, E., Smaill, A. & Pease, A. Jul 2015 Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, p. 55-62 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Using argumentation to evaluate concept blends in combinatorial creativity

    Confalonieri, R., Corneli, J., Pease, A., Plaza, E. & Schorlemmer, M. Jul 2015 Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, p. 174-181 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Automating change of representation for proofs in discrete mathematics

    Raggi, D., Bundy, A., Grov, G. & Pease, A. 23 Jun 2015 Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. Kerber, M., Carette, J., Kaliszyk, C., Rabe, F. & Sorge, V. (eds.). Springer , Vol. LNAI 9150, p. 227-242 16 p. (Lecture Notes In Computer Science; vol. 9150)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Hardy, Littlewood and polymath

    Martin, U. & Pease, A. 2015 Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Davis, E. & Davis, P. J. (eds.). Switzerland, p. 9-23 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  11. Stakeholder groups in computational creativity research and practice

    Colton, S., Pease, A., Corneli, J., Cook, M., Hepworth, R. & Ventura, D. 2015 Computational creativity research: towards creative machines. Besold, T. R., Schorlemmer, M. & Smaill, A. (eds.). Amsterdam: Atlantis Press, Vol. 7, p. 3-36 34 p. (Atlantis Thinking Machines; vol. 7)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  12. Assessing progress in building autonomously creative systems

    Colton, S., Pease, A., Corneli, J., Cook, M. & Teresa Llano, M. 2014 Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014. Colton, S., Ventura, D., Lavrač, N. & Cook, M. (eds.). Association for Computational Creativity, p. 137-145 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. COINVENT: towards a computational concept invention theory

    Schorlemmer, M., Smaill, A., Kuhnberger, K-U., Kutz, O., Colton, S., Cambouropoulos, E. & Pease, A. 2014 Proceedings of the Fifth International Conference on Computational Creativity, 2014. Colton, S., Ventura, D., Lavrač, N. & Cook, M. (eds.). Association for Computational Creativity, p. 288-296 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Lakatos games for mathematical argument

    Pease, A., Budzynska, K., Lawrence, J. & Reed, C. 2014 Computational Models of Argument : Proceedings of COMMA 2014. Parsons, S., Oren, N., Reed, C. & Cerutti, F. (eds.). Amsterdam: IOS Press, p. 59-66 8 p. (Frontiers in artificial intelligence and applications; vol. 266)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. On acid drops and teardrops: observer issues in computational creativity

    Colton, S., Cook, M., Hepworth, R. & Pease, A. 2014 Proceedings of the 50th Anniversary Convention of the AISB: AISB 2014. Kibble, R. (ed.). Society for the Study of Artificial Intelligence and Simulation of Behaviour, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  16. Towards Computational Subjectivity: Generating Aesthetics In Code Using Metrics

    Cook, M., Colton, S., Pease, A. & Raad, A. 2014 Proceedings of the Fifth International Conference on Computational Creativity, 2014. Colton, S., Ventura, D., Lavrac, N. & Cook, M. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. A computational model of Lakatos-style reasoning

    Pease, A. Apr 2013 In : Philosophy of Mathematics Education Journal . 27, 286 p.

    Research output: Contribution to journalArticle

  18. Developments in research on mathematical practice and cognition

    Pease, A., Guhe, M. & Smaill, A. Apr 2013 In : Topics in Cognitive Science. 5, 2, p. 224-230 7 p.

    Research output: Contribution to journalEditorial

  19. A discussion on serendipity in creative systems

    Pease, A., Colton, S., Ramezani, R., Charnley, J. & Reed, K. 2013 Proceedings of the 4th International Conference on Computational Creativity, ICCC 2013. Maher, M. L., Veale, T., Saunders, R. & Bown, O. (eds.). Sydney: University of Sydney, Faculty of Architecture, Design and Planning, p. 64-71 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Analogy and arithmetic: an HDTP-based model of the calculation circular staircase

    Besold, T., Schmidt, M. & Pease, A. 2013 Cooperative Minds: Social Interaction and Group Dynamics: Proceedings of the 35th Annual Conference of the Cognitive Science Society. Knauff, M., Pauen, M., Sebanz, N. & Wachsmuth, I. (eds.). Austin: Cognitive Science Society, p. 1893-1898 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. Bridging the gap between argumentation theory and the philosophy of mathematics

    Pease, A., Smaill, A., Colton, S. & Lee, J. 2013 The argument of mathematics. Aberdein, A. & Dove, I. J. (eds.). Dordrecht: Springer , p. 309-338 29 p. (Logic, Epistemology, and the Unity of Science; vol. 30)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  22. Using theory formation techniques for the invention of fictional concepts

    Cavello, F., Pease, A., Gow, J. & Colton, S. 2013 Proceedings of the fourth international conference on computational creativity, 2013: ICCC 2013 Sydney Australia. Maher, M. L., Veale, T., Saunders, R. & Brown, O. (eds.). Sydney: University of Sydney, Faculty of Architecture, Design and Planning, p. 176-183 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Discovery of invariants through automated theory formation

    Llano, M. T., Ireland, A. & Pease, A. Oct 2012 In : Formal Aspects of Computing. n/a, p. 1-47 47 p.

    Research output: Contribution to journalArticle

  24. Using grounded theory to suggest types of framing information for Computational Creativity

    Pease, A., Charnley, J. & Colton, S. Aug 2012 Proceedings of the workshop "Computational Creativity, Concept Invention, and General Intelligence" . Besold, T. R., Kühnberger, K-U., Schorlemmer, M. & Smaill, A. (eds.). Osnabrück: University of Osnabrück, Institute of Cognitive Science, p. 7-13 7 p. (PICS Publications of the Institute of Cognitive Science; vol. 1)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. Aesthetic considerations for automated platformer design

    Cook, M., Colton, S. & Pease, A. 2012 Proceedings, The Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. Riedl, M. & Sukthankar, G. (eds.). AAAI Press, p. 124-129 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. On the notion of framing in computational creativity

    Charnley, J., Pease, A. & Colton, S. 2012 Proceedings of the Third International Conference on Computational Creativity. Maher, M. L., Hammond, . K., Pease, A., Pérez y Pérez, . R., Ventura, D. & Wiggins, G. (eds.). Dublin, p. 77-81 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Seventy four minutes of mathematics: An analysis of the third mini-polymath project

    Pease, A. & Martin, U. 2012 AISB/IACAP World Congress 2012: Symposium on Mathematical Practice and Cognition II. Pease, A. & Larvos, B. (eds.). Society for the Study of Artificial Intelligence and Simulation of Behaviour, p. 19-29 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  28. Summary of an ethnographic study of the third mini-polymath project

    Pease, A. & Martin, U. 2012 How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012, Proceedings. Copper, S. B., Dawar, A. & Löwe, B. (eds.). Lincs 7318 ed. Berlin: Springer Verlag, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  29. The Turing Test and computational creativity

    Pease, A., Colton, S. & Charnley, J. 2012 Turing Centenary Conference. CiE 2012: How the World Computes. Abstracts of Informal Presentations. p. 110 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Uncertainty modelling in automated concept formation

    Cavello, F., Colton, S. & Pease, A. 2012 ARW 2012: Proceedings of the 19th Automated Reasoning Workshop. Schmidt, R. A. & Papacchini, F. (eds.). Manchester: University of Manchester, School of Computer Science, p. 53-54 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. A computational account of conceptual blending in basic mathematics

    Guhe, M., Pease, A., Smaill, A., Martinez, M., Schmidt, M., Gust, H., Kuhnberger, K-U. & Krumnack, U. 2011 In : Cognitive Systems Research. 12, 3-4, p. 249-265 17 p.

    Research output: Contribution to journalArticle

  32. Computational creativity theory: the FACE and IDEA descriptive models

    Colton, S., Charnley, J. & Pease, A. 2011 Proceedings of the Second International Conference on Computational Creativity. Ventura, D., Gervas, P., Harrell, D. F., Maher, M. L., Pease, A. & Wiggins, G. (eds.). Mexico City: Universidad Autonoma Metropolitana / Unidad Cuajimalpa, Division de Ciencias de la Comunicacion y Diseno , p. 90-95 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Computational creativity theory: inspirations behind the FACE and the IDEA models

    Pease, A. & Colton, S. 2011 Proceedings of the Second International Conference on Computational Creativity. Ventura, D., Gervas, P., Harrell, D. F., Maher, M. L., Pease, A. & Wiggins, G. (eds.). Mexico City: Universidad Autonoma Metropolitana / Unidad Cuajimalpa, Division de Ciencias de la Comunicacion y Diseno , p. 72-77 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Five theories of reasoning: Inter-connections and applications to mathematics

    Pease, A. & Aberdein, A. 2011 In : Logic and Logical Philosophy. 20, 1-2, p. 7-57 50 p.

    Research output: Contribution to journalArticle

  35. On impact and evaluation in computational creativity: a discussion of the Turing Test and an alternative proposal

    Pease, A. & Colton, S. 2011 Proceedings of AISB '11: computing and philosophy. Kazakov, D. & Tsoulas, G. (eds.). York: Society for the Study of Artificial Intelligence and Simulation of Behaviour, p. 15-22 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. Applying Lakatos-style reasoning to AI problems

    Pease, A., Ireland, A., Colton, S., Ramezani, R., Smaill, A., Llano, M. T., Grov, G. & Guhe, M. 2010 Thinking machines and the philosophy of computer science: concepts and principles. Vallverdu, J. (ed.). Hershey: Information Science Reference, p. 149-173 25 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. Conceptual blending of fractions and real numbers in mathematical discovery

    Guhe, M., Pease, A., Smaill, A., Martinez, M., Schmidt, M., Gust, H., Kuhnberger, K-U. & Krumnack, U. 2010 Proceedings of KogWis 2010: 10th Biannual Meeting of the German Society for Cognitive Science. Haack, J., Wiese, H., Abraham, A. & Chiarcos, C. (eds.). Potsdam: Universitätsverlag Potsdam, p. 109-110 2 p. (Potsdam Cognitive Science Series; vol. 2)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Mathematical reasoning with higher-order anti-unification

    Guhe, M., Pease, A., Smaill, A., Schmidt, M., Gust, H., Kuhnberger, K-U. & Krumnack, U. 2010 Cognition in Flux: Proceedings of the 32nd Annual Conference of the Cognitive Science Society. Ohlsson, S. & Catrambone, R. (eds.). Austin: Cognitive Science Society, p. 1992-1997 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Some aspects of analogical reasoning in mathematical creativity

    Pease, A., Guhe, M. & Smaill, A. 2010 Proceedings of the First International Conference on Computational Creativity. Ventura, D., Pease, A., Perez y Perez, R., Ritchie, G. & Veale, T. (eds.). Portugal, p. 60-64 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Towards a cognitive model of conceptual blending

    Guhe, M., Smaill, A. & Pease, A. 2010 Proceedings of the 10th International Conference on Cognitive Modelling: Philadelphia, PA: Drexel University.. Salvucci, D. D. & Gunzelmann, G. (eds.). p. 293-294 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  41. Using analogical representations for mathematical concept formation

    Pease, A., Colton, S., Ramezani, R., Smaill, A. & Guhe, M. 2010 Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery. Magnani, L., Carnielli, W. & Pizzi , C. (eds.). Berlin: Springer , p. 301-314 14 p. (Studies in Computational Intelligence; vol. 314)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Using automated theory formation to discover invariants of event-B models

    Teresa Llano, M., Ireland, A., Pease, A., Colton, S. & Charnley, J. 2010 Proceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010. Bendisposto, J., Leuschel, M., Roggenbach, M. & Halle, S. (eds.). Düsseldorf: University of Düsseldorf, 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. Abstract or not abstract? Well, it depends ...

    Pease, A., Smaill, A. & Guhe, M. Aug 2009 In : Behavioral and Brain Sciences. 32, 3/4, p. 345-346 2 p.

    Research output: Contribution to journalComment/debate

  44. Bridging the gap between argumentation theory and the philosophy of mathematics

    Pease, A., Smaill, A., Colton, S. & Lee, J. Mar 2009 In : Foundations of Science. 14, 1-2, p. 111-135 25 p.

    Research output: Contribution to journalArticle

  45. A cognitive model of discovering commutativity

    Guhe, M., Pease, A. & Smaill, A. 2009 CogSci 2009 Proceedings. Taatgen, N. & van Rijn, H. (eds.). Cognitive Science Society, p. 727-732 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. A formal cognitive model of mathematical metaphors

    Guhe, M., Smaill, A. & Pease, A. 2009 KI 2009: Advances in Artificial Intelligence: 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings. Mertsching, B., Hund, M. & Aziz, Z. (eds.). Berlin: Springer , p. 323-330 8 p. (Lecture notes in computer science; vol. 5803)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Analogy formulation and modification in geometry

    Pease, A., Guhe, M. & Smaill, A. 2009 New Frontiers in Analogy Research. Kokinov, B., Holyoak, K. & Gentner , D. (eds.). NBU Press, p. 358-364 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Applying Lakatos-style reasoning to AI domains

    Pease, A., Guhe, M., Colton, S. & Smaill, A. 2009 Proceedings of E-CAP'09. 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Relating small ontologies

    Smaill, A., Guhe, M. & Pease, A. 2009 Proceedings of the Symposium on Matching and Meaning: A symposium at the AISB 2009 Convention. McNeill, F. (ed.). Society for the Study of Artificial Intelligence and Simulation of Behaviour, p. 8 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Towards a computational model of embodied mathematical language

    Pease, A., Crook, P., Smaill, A., Colton, S. & Guhe, M. 2009 Proceedings of the Second Symposium on Computing and Philosophy. Society for the Study of Artificial Intelligence and Simulation of Behaviour, p. 35-37 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Using information flow for modelling mathematical metaphors

    Guhe, M., Smaill, A. & Pease, A. 2009 Proceedings of the 9th International Conference on Cognitive Modeling. Howes, A., Peebles, D. & Cooper, R. P. (eds.). p. 258-263 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. The TM system for repairing non-theorems

    Colton, S. & Pease, A. 18 Jul 2005 In : Electronic Notes in Theoretical Computer Science. 125, 3, p. 87-101 15 p.

    Research output: Contribution to journalSpecial issue

  53. Machine learning case splits for theorem proving

    Colton, S., Hoermann, F., Sutcliffe, G. & Pease, A. 2005 Proceedings of the Automated Reasoning Workshop. 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  54. A model of Lakatos's philosophy of mathematics

    Pease, A., Colton, S., Smaill, A. & Lee, J. 2004 Computing, Philosophy and Cognition: Proceedings of the European Conference on Computing and Philosophy, ECAP 2004. Magnani, L. & Dossena, R. (eds.). London: College Publications, 16 p. (Texts in philosophy; vol. 4)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. Automatic conjecture modification

    Pease, A. & Colton, S. 2004 Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice . 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  56. Lakatos-style automated theorem modification

    Colton, S. & Pease, A. 2004 ECAI 2004 : 16th European Conference on Artificial Intelligence including Prestigious Applications of Intelligent Systems (PAIS 2004). Proceedings . López de Mántaras, R. & Saitta, L. (eds.). Amsterdam: IOS Press, p. 977-978 2 p. (Frontiers in artificial intelligence and applications; vol. 110)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. Lakatos-style methods in automated reasoning

    Colton, S. & Pease, A. 2003 Proceedings of the IJCAI-03 Workshop on Agents and Automated Reasoning. London: Morgan Kaufmann, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Lakatos and machine creativity

    Pease, A., Colton, S., Smaill, A. & Lee, J. 2002 Proceedings of the ECAI'02 Workshop on Creative Systems. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  59. Lakatos-style reasoning

    Pease, A., Colton, S., Smaill, A. & Lee, J. 2002 Proceedings of the Automated Reasoning Workshop, Imperial College, London. London: Society for the Study of Artificial Intelligence and Simulation of Behaviour

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  60. Semantic negotiation: modelling ambiguity in dialogue

    Pease, A., Colton, S., Smaill, A. & Lee, J. 2002 EDILOG 2002: Proceedings of the 6th Workshop on the Semantics and Pragmatics of Dialogue. Matheson, C., Foster, M. E. & Jos, J. (eds.). Edinburgh: University of Edinburgh, p. 125-132 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. A multi-agent approach to modelling interaction in human mathematical reasoning

    Pease, A., Colton, S., Smaill, A. & Lee, J. 2001 Intelligent Agent Technology : Research and Development - Proceedings of the 2nd Asia-Pacific Conference on IAT. Zhong, N., Liu , J., Ohsuga, S. & Bradshaw, J. (eds.). Singapore: World Scientific Publishing , p. 395-399 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Evaluating machine creativity

    Pease, A., Winterstein, D. & Colton, S. 2001 Proceedings of the ICCBR'01 Workshop on Creative Systems. 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. The effect of input knowledge on creativity

    Colton, S., Pease, A. & Ritchie, G. 2001 Proceedings of the ICCBR'01 Workshop on Creative Systems. 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution


Can't find what you're looking for? Contact Us