Pease, Alison

Dr

  • Senior Lecturer (Teaching and Research), Computing
  • 280 Citations
  • 9 h-Index
20012020

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2019

Argumentation Theory for Mathematical Argument

Corneli, J., Martin, U., Murray-Rust, D., Rino Nesin, G. & Pease, A., Jun 2019, In : Argumentation. 33, 2, p. 173-214 42 p.

Research output: Contribution to journalArticle

Open Access
File
1 Citation (Scopus)
191 Downloads (Pure)

Explanation in mathematical conversations: An empirical investigation

Pease, A., Aberdein, A. & Martin, U., 11 Mar 2019, In : Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences. 377, 2140, 20180159.

Research output: Contribution to journalArticle

Open Access
File
2 Citations (Scopus)
171 Downloads (Pure)
2018

Report on the eighth international conference on computational creativity

Pease, A. & Jordanous, A., 1 Mar 2018, In : AI Magazine. 39, 1, p. 62-64 3 p.

Research output: Contribution to journalArticle

Open Access
File
122 Downloads (Pure)
2017

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

Open Access
File
11 Citations (Scopus)
261 Downloads (Pure)

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

Open Access
File
8 Citations (Scopus)
212 Downloads (Pure)

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

Open Access
File
3 Citations (Scopus)
165 Downloads (Pure)
2016

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

Open Access
File
3 Citations (Scopus)
203 Downloads (Pure)
2013

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

2012

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

5 Citations (Scopus)
2011

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

16 Citations (Scopus)

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

11 Citations (Scopus)
2009

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

9 Citations (Scopus)
2006

Understanding creativity: A computational perspective

Veale, T., Gervás, P. & Pease, A., 27 Dec 2006, New Generation Computing, 24, 3, p. 203-207 5 p.

Research output: Contribution to specialist publicationArticle

4 Citations (Scopus)