Photo of Alison Pease

View Scopus Profile

Pease, Alison

Dr

  • Senior Lecturer (Teaching and Research), Computing
 https://orcid.org/0000-0003-1856-9599
  • 258 Citations
  • 9 h-Index
20012020
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Alison Pease is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Reasoning Mathematics
Automated Reasoning Mathematics
Discrete mathematics Mathematics
Failure analysis Engineering & Materials Science
Health Engineering & Materials Science
Event-B Mathematics
Formal Modeling Mathematics
Cognitive Models Mathematics

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2013 2020

Council of Coaches: COUCH (joint with University of Twente, Roessingh Research and Development BV, Danish Board of Technology Foundation, University of Pierre and Marie Curie, Polytechnic University of Valencia, Innovation Sprint)

Conway, N., Pease, A. & Wake, D.

1/09/17 → 31/08/20

Project: Research

Example-Driven Machine-Human Collaboration in Mathematics

Pease, A.

Engineering and Physical Sciences Research Council

1/06/17 → 31/05/19

Project: Research

COINVENT: Concept Invention Theory (Joint with Spanish National Research Council, University of Edinburgh, University of Osnoabruck, Bremen University, Goldsmiths' College and Aristotle University of Thessaloniki)

Pease, A.

1/10/13 → 30/09/16

Project: Research

Research Output 2001 2019

1 Citation (Scopus)
53 Downloads (Pure)

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 journal › Article

Open Access
File
argumentation
discourse
dialogue
Argumentation Theory
Discourse

Designing behaviour change support systems for behaviour transformation

De Franco, D. & Pease, A., 28 Mar 2019, In : CEUR Workshop Proceedings. 2340, p. 1-4 4 p.

Research output: Contribution to journal › Conference article

Open Access
File
1 Citation (Scopus)
75 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 journal › Article

Open Access
File
conversation
mathematics
Simplicity
occurrences
Term
3 Downloads (Pure)

Integrating argumentation with social conversation between multiple virtual coaches

Kantharaju, R. B., Pease, A., Reidsma, D., Pelachaud, C., Snaith, M., Bruijnes, M., Klaassen, R., Beinema, T., Huizing, G., Simonetti, D., Heylen, D. & Den Akker, H. O., 1 Jul 2019, IVA 2019 - Proceedings of the 19th ACM International Conference on Intelligent Virtual Agents. Association for Computing Machinery, p. 203-205 3 p. (IVA 2019 - Proceedings of the 19th ACM International Conference on Intelligent Virtual Agents).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Opportunities for Computational Creativity in a Therapeutic Context

Cheatley, L., Moncur, W. & Pease, A., 2019, Proceedings of the 10th International Conference on Computational Creativity. Grace, K., Cook, M., Ventura, D. & Maher, M. L. (eds.). Association for Computational Creativity, p. 341-345 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File