Alison Pease

+44 (0)1382 385596
Lecturer and Disability Lead

Publications

Pease, A & Jordanous, A 2018,

'Report on the eighth international conference on computational creativity' AI Magazine, vol. 39, no. 1, pp. 62-64.
https://doi.org/10.1609/aimag.v39i1.2784

Research output: Contribution To Journal



De Franco, D, Pease, A & Snaith, M 2018,

'Measuring persuasiveness in behaviour change support systems' CEUR Workshop Proceedings, vol. 2102, pp. 41-47.

Research output: Contribution To Journal



Akker, HOD, Akker, ROD, Beinema, T, Banos, O, Heylen, D, Bedsted, B, Pease, A, Pelachaud, C, Salcedo, VT, Kyriazakos, S & Hermens, H 2018,

Council of coaches a novel holistic behavior change coaching approach. in M Ziefle, L Maciaszek & PD Bamidis (eds), ICT4AWE 2018 - Proceedings of the 4th International Conference on Information and Communication Technologies for Ageing Well and e-Health. vol. 2018-March, Sci Te Press, pp. 219-226, 4th International Conference on Information and Communication Technologies for Ageing Well and e-Health, ICT4AWE 2018, Funchal, Madeira, Portugal, 22/03/18.

Research output: Contribution To Book Anthology



Snaith, M, De Franco, D, Beinema, T, Op Den Akker, H & Pease, A 2018,

A dialogue game for multi-party goal-setting in health coaching. in S Modgil, K Budzynska, J Lawrence & K Budzynska (eds), Computational Models of Argument - Proceedings of COMMA 2018. vol. 305, Frontiers in Artificial Intelligence and Applications, vol. 305, IOS Press, pp. 337-344, 7th International Conference on Computational Models of Argument, COMMA 2018, Warsaw, Poland, 12/09/18.
https://doi.org/10.3233/978-1-61499-906-5-337

Research output: Contribution To Book Anthology



Corneli, J, Martin, U, Murray-Rust, D, Pease, A, Puzio, R & Nesin, GR 2017,

Modelling the way mathematics is actually done. in FARM 2017: Proceedings of the 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design. Association for Computing Machinery (ACM), New York, pp. 10-19, 5th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design (FARM), Oxford, United Kingdom, 9/09/17.
https://doi.org/10.1145/3122938.3122942

Research output: Contribution To Book Anthology



Corneli, J, Martin, U, Murray-Rust, D & Pease, A 2017,

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, Proceedings. vol. 10383, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 10383 LNAI, Springer Verlag, Switzerland, pp. 132-146, 10th International Conference on Intelligent Computer Mathematics, CICM 2017, Edinburgh, United Kingdom, 17/07/17.
https://doi.org/10.1007/978-3-319-62075-6_10

Research output: Contribution To Book Anthology



Reed, C, Budzynska, K, Duthie, R, Janier, M, Konat, B, Lawrence, J, Pease, A & Snaith, M 2017,

'The argument web: an online ecosystem of tools, systems and services for argumentation' Philosophy and Technology, vol. 30, no. 2, pp. 137-160.
https://doi.org/10.1007/s13347-017-0260-8

Research output: Contribution To Journal



Martinez, M, Abdel-Fattah, AMH, Krumnack, U, Gómez-Ramírez, D, Smaill, A, Besold, TR, Pease, A, Schmidt, M, Guhe, M & Kühnberger, KU 2017,

'Theory blending: extended algorithmic aspects and examples' Annals of Mathematics and Artificial Intelligence, vol. 80, no. 1, pp. 65-89.
https://doi.org/10.1007/s10472-016-9505-y

Research output: Contribution To Journal



Pease, A, Lawrence, J, Budzynska, K, Corneli, J & Reed, C 2017,

'Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation' Artificial Intelligence, vol. 246, pp. 181-219.
https://doi.org/10.1016/j.artint.2017.02.006

Research output: Contribution To Journal



Raggi, D, Bundy, A, Grov, G & Pease, A 2016,

'Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)' Mathematics in Computer Science, vol. 10, no. 4, pp. 1-29.
https://doi.org/10.1007/s11786-016-0275-z

Research output: Contribution To Journal



Confalonieri, R, Corneli, J, Pease, A, Plaza, E & Schorlemmer, M 2015,

Using argumentation to evaluate concept blends in combinatorial creativity. in Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, pp. 174-181, Sixth International Conference on Computational Creativity, UTAH, United States, 29/06/15.

Research output: Contribution To Book Anthology



Bou, F, Schorlemmer, M, Corneli, J, Gomez Ramirez, D, Maclean, E, Smaill, A & Pease, A 2015,

The role of blending in mathematical invention. in Proceedings of the Sixth International Conference on Computational Creativity, 2015. Association for Computational Creativity, pp. 55-62, Sixth International Conference on Computational Creativity, UTAH, United States, 29/06/15.

Research output: Contribution To Book Anthology



Raggi, D, Bundy, A, Grov, G & Pease, A 2015,

Automating change of representation for proofs in discrete mathematics. in M Kerber, J Carette, C Kaliszyk, F Rabe & V Sorge (eds), Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 Proceedings. vol. LNAI 9150, Lecture Notes In Computer Science, vol. 9150, Springer , pp. 227-242, Conference on Intelligent Computer Mathematics, Washington, DC, United States, 13/07/15.
https://doi.org/10.1007/978-3-319-20615-8_15

Research output: Contribution To Book Anthology



Colton, S, Pease, A, Corneli, J, Cook, M, Hepworth, R & Ventura, D 2015,

Stakeholder groups in computational creativity research and practice. in TR Besold, M Schorlemmer & A Smaill (eds), Computational creativity research: towards creative machines. vol. 7, Atlantis Thinking Machines, vol. 7, Atlantis Press, Amsterdam, pp. 3-36.
https://doi.org/10.2991/978-94-6239-085-0

Research output: Contribution To Book Anthology



Martin, U & Pease, A 2015,

Hardy, Littlewood and polymath. in E Davis & PJ Davis (eds), Mathematics, Substance and Surmise: Views on the Meaning and Ontology of Mathematics. Switzerland, pp. 9-23.
https://doi.org/10.1007/978-3-319-21473-3_2

Research output: Contribution To Book Anthology



Colton, S, Cook, M, Hepworth, R & Pease, A 2014,

On acid drops and teardrops: observer issues in computational creativity . in R Kibble (ed.), Proceedings of the 50th Anniversary Convention of the AISB: AISB 2014. Society for the Study of Artificial Intelligence and Simulation of Behaviour, 50th Annual Convention of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour , AISB 2014, London, United Kingdom, 1/04/14.

Research output: Contribution To Book Anthology



Pease, A, Budzynska, K, Lawrence, J & Reed, C 2014,

Lakatos games for mathematical argument. in S Parsons, N Oren, C Reed & F Cerutti (eds), Computational Models of Argument : Proceedings of COMMA 2014. Frontiers in artificial intelligence and applications, vol. 266, IOS Press, Amsterdam, pp. 59-66, Fifth International Conference on Computational Models of Argument, Pitlochry, United Kingdom, 9/09/14.
https://doi.org/10.3233/978-1-61499-436-7-59

Research output: Contribution To Book Anthology



Cook, M, Colton, S, Pease, A & Raad, A 2014,

Towards Computational Subjectivity: Generating Aesthetics In Code Using Metrics. in S Colton, D Ventura, N Lavrac & M Cook (eds), Proceedings of the Fifth International Conference on Computational Creativity, 2014.

Research output: Contribution To Book Anthology



Colton, S, Pease, A, Corneli, J, Cook, M & Teresa Llano, M 2014,

Assessing progress in building autonomously creative systems. in S Colton, D Ventura, N Lavrač & M Cook (eds), Proceedings of the Fifth International Conference on Computational Creativity, ICCC-2014. Association for Computational Creativity, pp. 137-145, Fifth International Conference on Computational Creativity, Ljubljana, Slovenia, 10/06/14.

Research output: Contribution To Book Anthology



Schorlemmer, M, Smaill, A, Kuhnberger, K-U, Kutz, O, Colton, S, Cambouropoulos, E & Pease, A 2014,

COINVENT: towards a computational concept invention theory. in S Colton, D Ventura, N Lavrač & M Cook (eds), Proceedings of the Fifth International Conference on Computational Creativity, 2014. Association for Computational Creativity, pp. 288-296, Fifth International Conference on Computational Creativity, Ljubljana, Slovenia, 10/06/14.

Research output: Contribution To Book Anthology



Martinez, M, Krumnack, U, Smaill, A, Besold, TR, Abdel-Fattah, AMH, Schmidt, M, Gust, H, Kühnberger, KU, Guhe, M & Pease, A 2014,

Algorithmic aspects of theory blending. in J Calmet, GA Aranda-Corral & FJ Martín-Mateos (eds), Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Proceedings. Lecture Notes in Computer Science, vol. 8884, Springer Verlag, Switzerland, pp. 180-192, 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, Seville, Spain, 11/12/14.
https://doi.org/10.1007/978-3-319-13770-4_16

Research output: Contribution To Book Anthology



Martin, U & Pease, A 2013,

Mathematical practice, crowdsourcing, and social machines. in J Carette, D Aspinall, C Lange, P Sojka & W Windsteiger (eds), Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013 - Held as Part of CICM 2013, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7961 LNAI, pp. 98-119, Conference on Intelligent Computer Mathematics, CICM 2013, Co-located with the MKM 2013, Calculemus 2013, DML 2013, and Systems and Projects 2013, Bath, United Kingdom, 8/07/13.
https://doi.org/10.1007/978-3-642-39320-4_7

Research output: Contribution To Book Anthology



Pease, A, Guhe, M & Smaill, A 2013,

'Developments in research on mathematical practice and cognition' Topics in Cognitive Science, vol. 5, no. 2, pp. 224-230.
https://doi.org/10.1111/tops.12021

Research output: Contribution To Journal



Pease, A 2013,

'A computational model of Lakatos-style reasoning' Philosophy of Mathematics Education Journal , no. 27.

Research output: Contribution To Journal



Pease, A, Smaill, A, Colton, S & Lee, J 2013,

Bridging the gap between argumentation theory and the philosophy of mathematics. in A Aberdein & IJ Dove (eds), The argument of mathematics. Logic, Epistemology, and the Unity of Science, vol. 30, Springer , Dordrecht, pp. 309-338.
https://doi.org/10.1007/978-94-007-6534-4_16

Research output: Contribution To Book Anthology



Pease, A, Colton, S, Ramezani, R, Charnley, J & Reed, K 2013,

A discussion on serendipity in creative systems. in ML Maher, T Veale, R Saunders & O Bown (eds), Proceedings of the 4th International Conference on Computational Creativity, ICCC 2013. University of Sydney, Faculty of Architecture, Design and Planning, Sydney, pp. 64-71, Fourth International Conference on Computational Creativity, Sydney, Australia, 12/06/13.

Research output: Contribution To Book Anthology



Cavello, F, Pease, A, Gow, J & Colton, S 2013,

Using theory formation techniques for the invention of fictional concepts. in ML Maher, T Veale, R Saunders & O Brown (eds), Proceedings of the fourth international conference on computational creativity, 2013: ICCC 2013 Sydney Australia. University of Sydney, Faculty of Architecture, Design and Planning, Sydney, pp. 176-183, Fourth International Conference on Computational Creativity, Sydney, Australia, 12/06/13.

Research output: Contribution To Book Anthology



Besold, T, Schmidt, M & Pease, A 2013,

Analogy and arithmetic: an HDTP-based model of the calculation circular staircase. in M Knauff, M Pauen, N Sebanz & I Wachsmuth (eds), Cooperative Minds: Social Interaction and Group Dynamics: Proceedings of the 35th Annual Conference of the Cognitive Science Society. Cognitive Science Society, Austin, pp. 1893-1898, 35th Annual Meeting of the Cognitive Science Society, Berlin, Germany, 31/07/13.

Research output: Contribution To Book Anthology



Llano, MT, Ireland, A & Pease, A 2012,

'Discovery of invariants through automated theory formation' Formal Aspects of Computing, vol. n/a, pp. 1-47.
https://doi.org/10.1007/s00165-012-0264-1

Research output: Contribution To Journal



Pease, A, Charnley, J & Colton, S 2012,

Using grounded theory to suggest types of framing information for Computational Creativity. in TR Besold, K-U Kühnberger, M Schorlemmer & A Smaill (eds), Proceedings of the workshop "Computational Creativity, Concept Invention, and General Intelligence" . PICS Publications of the Institute of Cognitive Science, vol. 1, University of Osnabrück, Institute of Cognitive Science, Osnabrück, pp. 7-13, 1st International workshop, C3GI at ECAI 2012, Montpellier, France, 27/08/12.

Research output: Contribution To Book Anthology



Cook, M, Colton, S & Pease, A 2012,

Aesthetic considerations for automated platformer design. in M Riedl & G Sukthankar (eds), Proceedings, The Eighth AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment. AAAI Press, pp. 124-129, 8th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment , Stanford, United States, 8/10/12.

Research output: Contribution To Book Anthology



Pease, A & Martin, U 2012,

Seventy four minutes of mathematics: An analysis of the third mini-polymath project. in A Pease & B Larvos (eds), AISB/IACAP World Congress 2012: Symposium on Mathematical Practice and Cognition II. Society for the Study of Artificial Intelligence and Simulation of Behaviour, pp. 19-29, Symposium on Mathematical Practice and Cognition II, Birmingham, United Kingdom, 2/07/12.

Research output: Contribution To Book Anthology



Pease, A & Martin, U 2012,

Summary of an ethnographic study of the third mini-polymath project. in SB Copper, A Dawar & B Löwe (eds), How the world computes: Turing Centenary Conference and 8th Conference on Computability in Europe, Ci E 2012, Cambridge, UK, June 18-23, 2012, Proceedings. Lincs 7318 edn, Springer Verlag, Berlin, Computability in Europe 2012, Cambridge, United Kingdom, 18/05/12.
https://doi.org/10.1007/978-3-642-30870-3

Research output: Contribution To Book Anthology



Pease, A, Colton, S & Charnley, J 2012,

The Turing Test and computational creativity. in Turing Centenary Conference. Ci E 2012: How the World Computes. Abstracts of Informal Presentations. pp. 110, Turing Centenary Conference. Ci E 2012: How the World Computes, Cambridge, United Kingdom, 18/06/12.

Research output: Contribution To Book Anthology



Charnley, J, Pease, A & Colton, S 2012,

On the notion of framing in computational creativity. in ML Maher, K Hammond, A Pease, R Pérez y Pérez, D Ventura & G Wiggins (eds), Proceedings of the Third International Conference on Computational Creativity. Dublin, pp. 77-81, Third International Conference on Computational Creativity, Dublin, Ireland, 30/05/12.

Research output: Contribution To Book Anthology



Cavello, F, Colton, S & Pease, A 2012,

Uncertainty modelling in automated concept formation. in RA Schmidt & F Papacchini (eds), ARW 2012: Proceedings of the 19th Automated Reasoning Workshop. University of Manchester, School of Computer Science, Manchester, pp. 53-54, 19th Automated Reasoning Workshop, Manchester, United Kingdom, 2/04/12.

Research output: Contribution To Book Anthology



Colton, S, Charnley, J & Pease, A 2011,

'Computational creativity theory: The FACE and IDEA descriptive models' Paper presented at 2nd International Conference on Computational Creativity, ICCC 2011, Mexico City, Mexico, 27/04/11 - 29/04/11, .

Research output: Contribution To Conference



Llano, MT, Ireland, A & Pease, A 2011,

'Discovery of invariants through automated theory formation' Electronic Proceedings in Theoretical Computer Science, EPTCS, vol. 55, pp. 1-19.
https://doi.org/10.4204/EPTCS.55.1

Research output: Contribution To Journal



Pease, A & Aberdein, A 2011,

'Five theories of reasoning: Inter-connections and applications to mathematics' Logic and Logical Philosophy, vol. 20, no. 1-2, pp. 7-57.
https://doi.org/10.12775/LLP.2011.002

Research output: Contribution To Journal



Guhe, M, Pease, A, Smaill, A, Martinez, M, Schmidt, M, Gust, H, Kuhnberger, K-U & Krumnack, U 2011,

'A computational account of conceptual blending in basic mathematics' Cognitive Systems Research, vol. 12, no. 3-4, pp. 249-265.
https://doi.org/10.1016/j.cogsys.2011.01.004

Research output: Contribution To Journal



Colton, S, Charnley, J & Pease, A 2011,

Computational creativity theory: the FACE and IDEA descriptive models. in D Ventura, P Gervas, DF Harrell, ML Maher, A Pease & G Wiggins (eds), Proceedings of the Second International Conference on Computational Creativity. Universidad Autonoma Metropolitana / Unidad Cuajimalpa, Division de Ciencias de la Comunicacion y Diseno , Mexico City, pp. 90-95, 2nd International Conference on Computational Creativity, Mexico City, Mexico, 27/04/01.

Research output: Contribution To Book Anthology



Pease, A & Colton, S 2011,

Computational creativity theory: inspirations behind the FACE and the IDEA models. in D Ventura, P Gervas, DF Harrell, ML Maher, A Pease & G Wiggins (eds), Proceedings of the Second International Conference on Computational Creativity. Universidad Autonoma Metropolitana / Unidad Cuajimalpa, Division de Ciencias de la Comunicacion y Diseno , Mexico City, pp. 72-77, 2nd International Conference on Computational Creativity, Mexico City, Mexico, 27/04/01.

Research output: Contribution To Book Anthology



Pease, A & Colton, S 2011,

On impact and evaluation in computational creativity: a discussion of the Turing Test and an alternative proposal. in D Kazakov & G Tsoulas (eds), Proceedings of AISB '11: computing and philosophy. Society for the Study of Artificial Intelligence and Simulation of Behaviour, York, pp. 15-22, AISB'11 Convention, York, United Kingdom, 4/04/11.

Research output: Contribution To Book Anthology



Pease, A, Guhe, M & Smaill, A 2010,

'Mathematical practice and cognition'.

Research output: Contribution To Journal



Pease, A, Guhe, M & Smaill, A 2010,

'Symposium on mathematical practice and cognition'.

Research output: Contribution To Journal



Pease, A, Ireland, A, Colton, S, Ramezani, R, Smaill, A, Llano, MT, Grov, G & Guhe, M 2010,

Applying Lakatos-style reasoning to AI problems. in J Vallverdu (ed.), Thinking machines and the philosophy of computer science: concepts and principles. Information Science Reference, Hershey, pp. 149-173.

Research output: Contribution To Book Anthology



Pease, A, Colton, S, Ramezani, R, Smaill, A & Guhe, M 2010,

Using analogical representations for mathematical concept formation. in L Magnani, W Carnielli & C Pizzi (eds), Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery. Studies in Computational Intelligence, vol. 314, Springer , Berlin, pp. 301-314, Model-Based Reasoning in Science and Technology: Abduction, Logic, and Computational Discovery, Campinas, Brazil, 17/12/09.
https://doi.org/10.1007/978-3-642-15223-8_17

Research output: Contribution To Book Anthology



Guhe, M, Smaill, A & Pease, A 2010,

Towards a cognitive model of conceptual blending. in DD Salvucci & G Gunzelmann (eds), Proceedings of the 10th International Conference on Cognitive Modelling: Philadelphia, PA: Drexel University.. pp. 293-294, 10th International Conference on Cognitive Modelling, Philadelphia, United States, 5/08/10.

Research output: Contribution To Book Anthology



Guhe, M, Pease, A, Smaill, A, Schmidt, M, Gust, H, Kuhnberger, K-U & Krumnack, U 2010,

Mathematical reasoning with higher-order anti-unification. in S Ohlsson & R Catrambone (eds), Cognition in Flux: Proceedings of the 32nd Annual Conference of the Cognitive Science Society. Cognitive Science Society, Austin, pp. 1992-1997, 32nd Annual Meeting of the Cognitive Science Society, Portland, United States, 11/08/10.

Research output: Contribution To Book Anthology



Pease, A, Guhe, M & Smaill, A 2010,

Some aspects of analogical reasoning in mathematical creativity. in D Ventura, A Pease, R Perez y Perez, G Ritchie & T Veale (eds), Proceedings of the First International Conference on Computational Creativity. Portugal, pp. 60-64, First International Conference on Computational Creativity, Lisbon, Portugal, Portugal, 7/01/10.

Research output: Contribution To Book Anthology



Teresa Llano, M, Ireland, A, Pease, A, Colton, S & Charnley, J 2010,

Using automated theory formation to discover invariants of event-B models. in J Bendisposto, M Leuschel, M Roggenbach & S Halle (eds), Proceedings of AVOCS 2010 and the Rodin User and Developer Workshop 2010. University of Düsseldorf, Düsseldorf, Rodin User and Developer Workshop 2010, Düsseldorf, Germany, 20/09/10.

Research output: Contribution To Book Anthology



Guhe, M, Pease, A, Smaill, A, Martinez, M, Schmidt, M, Gust, H, Kuhnberger, K-U & Krumnack, U 2010,

Conceptual blending of fractions and real numbers in mathematical discovery. in J Haack, H Wiese, A Abraham & C Chiarcos (eds), Proceedings of Kog Wis 2010: 10th Biannual Meeting of the German Society for Cognitive Science. Potsdam Cognitive Science Series, vol. 2, Universitätsverlag Potsdam, Potsdam, pp. 109-110, 10th Biannual Meeting of the German Society for Cognitive Science, Potsdam, Germany, 3/10/10.

Research output: Contribution To Book Anthology



Pease, A, Smaill, A & Guhe, M 2009,

'Abstract or not abstract? Well, it depends ...' Behavioral and Brain Sciences, vol. 32, no. 3/4, pp. 345-346.
https://doi.org/10.1017/S0140525X09991063

Research output: Contribution To Journal



Pease, A, Smaill, A, Colton, S & Lee, J 2009,

'Bridging the gap between argumentation theory and the philosophy of mathematics' Foundations of Science, vol. 14, no. 1-2, pp. 111-135.
https://doi.org/10.1007/s10699-008-9150-y

Research output: Contribution To Journal



Guhe, M, Smaill, A & Pease, A 2009,

A formal cognitive model of mathematical metaphors. in 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. Lecture notes in computer science, vol. 5803, Springer , Berlin, pp. 323-330, 32nd Annual Conference on Artificial Intelligence, Paderborn, Germany, 15/09/09.
https://doi.org/10.1007/978-3-642-04617-9_41

Research output: Contribution To Book Anthology



Guhe, M, Smaill, A & Pease, A 2009,

Using information flow for modelling mathematical metaphors. in A Howes, D Peebles & RP Cooper (eds), Proceedings of the 9th International Conference on Cognitive Modeling. pp. 258-263, 9th International Conference on Cognitive Modeling, Manchester, United Kingdom, 24/07/09.

Research output: Contribution To Book Anthology



Pease, A, Guhe, M & Smaill, A 2009,

Analogy formulation and modification in geometry. in B Kokinov, K Holyoak & D Gentner (eds), New Frontiers in Analogy Research. NBU Press, pp. 358-364, 2nd International Analogy Conference, Sofia, Bulgaria, 24/07/09.

Research output: Contribution To Book Anthology



Smaill, A, Guhe, M & Pease, A 2009,

Relating small ontologies. in F Mc Neill (ed.), Proceedings of the Symposium on Matching and Meaning: A symposium at the AISB 2009 Convention. Society for the Study of Artificial Intelligence and Simulation of Behaviour, pp. 8, Workshop on Matching and Meaning 2009: Automated development, evolution and interpretation of ontologies, Edinburgh, United Kingdom, 9/04/09.

Research output: Contribution To Book Anthology



Pease, A, Guhe, M, Colton, S & Smaill, A 2009,

Applying Lakatos-style reasoning to AI domains. in Proceedings of E-CAP'09. 7th European Conference on Computing and Philosophy, Barcelona, Spain, 2/07/09.

Research output: Contribution To Book Anthology



Guhe, M, Pease, A & Smaill, A 2009,

A cognitive model of discovering commutativity. in N Taatgen & H van Rijn (eds), Cog Sci 2009 Proceedings. Cognitive Science Society, pp. 727-732, 31st Annual Conference of the Cognitive Science Society, Amsterdam, Netherlands, 29/07/08.

Research output: Contribution To Book Anthology



Pease, A, Crook, P, Smaill, A, Colton, S & Guhe, M 2009,

Towards a computational model of embodied mathematical language. in Proceedings of the Second Symposium on Computing and Philosophy. Society for the Study of Artificial Intelligence and Simulation of Behaviour, pp. 35-37, AISB 2009 Convention, Edinburgh, United Kingdom, 6/04/09.

Research output: Contribution To Book Anthology



Veale, T, Gervás, P & Pease, A 2006,

'Understanding creativity: A computational perspective' vol. 24, no. 3, pp. 203-207.
https://doi.org/10.1007/BF03037331

Research output: Contribution To Periodical



Colton, S & Pease, A 2005,

'The TM system for repairing non-theorems' Electronic Notes in Theoretical Computer Science, vol. 125, no. 3, pp. 87-101.
https://doi.org/10.1016/j.entcs.2004.07.021

Research output: Contribution To Journal



Colton, S, Hoermann, F, Sutcliffe, G & Pease, A 2005,

Machine learning case splits for theorem proving. in Proceedings of the Automated Reasoning Workshop. 12th Workshop on Automated Reasoning: Bridging the Gap between Theory and Practice, Edinburgh, United Kingdom, 29/07/05.

Research output: Contribution To Book Anthology



Pease, A, Colton, S, Smaill, A & Lee, J 2004,

A model of Lakatos's philosophy of mathematics. in L Magnani & R Dossena (eds), Computing, Philosophy and Cognition: Proceedings of the European Conference on Computing and Philosophy, ECAP 2004. Texts in philosophy, vol. 4, College Publications, London, European Computing and Philosophy Conference 2004, Pavia, Italy, 3/06/04.

Research output: Contribution To Book Anthology



Pease, A & Colton, S 2004,

Automatic conjecture modification. in Proceedings of the 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice . 11th Workshop On Automated Reasoning: Bridging The Gap Between Theory And Practice , Leeds, United Kingdom, 31/03/04.

Research output: Contribution To Book Anthology



Colton, S & Pease, A 2004,

Lakatos-style automated theorem modification. in R López de Mántaras & L Saitta (eds), ECAI 2004 : 16th European Conference on Artificial Intelligence including Prestigious Applications of Intelligent Systems (PAIS 2004). Proceedings . Frontiers in artificial intelligence and applications, vol. 110, IOS Press, Amsterdam, pp. 977-978, 16th European Conference on Artificial Intelligence, Valencia, Spain, 22/08/04.

Research output: Contribution To Book Anthology



Colton, S & Pease, A 2003,

Lakatos-style methods in automated reasoning. in Proceedings of the IJCAI-03 Workshop on Agents and Automated Reasoning. Morgan Kaufmann, London, 18th International Conference on Artificial Intelligence, Acapulco, Mexico, 9/08/03.

Research output: Contribution To Book Anthology



Pease, A, Colton, S, Smaill, A & Lee, J 2002,

Lakatos-style reasoning. in Proceedings of the Automated Reasoning Workshop, Imperial College, London. Society for the Study of Artificial Intelligence and Simulation of Behaviour, London, 9th workshop on Automated Reasoning, London, United Kingdom, 3/04/02.

Research output: Contribution To Book Anthology



Pease, A, Colton, S, Smaill, A & Lee, J 2002,

Semantic negotiation: modelling ambiguity in dialogue. in C Matheson, ME Foster & J Jos (eds), EDILOG 2002: Proceedings of the 6th Workshop on the Semantics and Pragmatics of Dialogue. University of Edinburgh, Edinburgh, pp. 125-132, 6th Workshop on the Semantics and Pragmatics of Dialogue, Edinburgh, United Kingdom, 4/09/02.

Research output: Contribution To Book Anthology



Pease, A, Colton, S, Smaill, A & Lee, J 2002,

Lakatos and machine creativity. in Proceedings of the ECAI'02 Workshop on Creative Systems. ECAI'02 Workshop on Creative Systems, Lyon, France, 21/07/02.

Research output: Contribution To Book Anthology



Pease, A, Winterstein, D & Colton, S 2001,

Evaluating machine creativity. in Proceedings of the ICCBR'01 Workshop on Creative Systems. ICCBR'01 Workshop on Creative Systems, Vancouver, Canada, 30/07/01.

Research output: Contribution To Book Anthology



Colton, S, Pease, A & Ritchie, G 2001,

The effect of input knowledge on creativity. in Proceedings of the ICCBR'01 Workshop on Creative Systems. ICCBR'01 Workshop on Creative Systems, Vancouver, Canada, 30/07/01.

Research output: Contribution To Book Anthology



Pease, A, Colton, S, Smaill, A & Lee, J 2001,

A multi-agent approach to modelling interaction in human mathematical reasoning. in N Zhong, J Liu , S Ohsuga & J Bradshaw (eds), Intelligent Agent Technology : Research and Development - Proceedings of the 2nd Asia-Pacific Conference on IAT. World Scientific Publishing , Singapore, pp. 395-399, 2nd Asia-Pacific Conference on Intelligent Agent Technology, Maebashi City, Japan, 23/10/01.
https://doi.org/10.1142/9789812811042_0053

Research output: Contribution To Book Anthology



View full profile on research portal